 |
| |||
| 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 |