 |
формальная модель
| дедуктивных рассуждений
| формальная модель | |
| IT | algoristic-type model; formal model |
| math. | descriptive model |
| progr. | semantics |
| stat. | soft model |
| дедуктивное рассуждение | |
| math. | deductive argument; deductive reasoning |
| дедуктивные рассуждения | |
| IT | deductive reasoning |
| |||
| algoristic-type model; formal model | |||
| descriptive model | |||
| semantics (formal model; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) | |||
| soft model (хемометрика) | |||
| |||
| formal models (ssn) | |||
| формальная модель: 17 phrases in 6 subjects |
| Artificial intelligence | 1 |
| Databases | 1 |
| Information security and data protection | 1 |
| Information technology | 8 |
| Programming | 4 |
| Software | 2 |