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