/| Семестр | Наименование дисциплины | Форма проверки | Аудиторные занятия (часов в неделю) | |||
| Лекций | Практики | Лабораторных | ||||
| Информационные технологии. Специализация. | ||||||
| 6 | Основы теории моделей | зачет | 3 | 0 | 3 | |
| Тема | Лекций | Практик | Лабораторных | Самостоятоятельных | Всего |
8 Семестр | |||||
1 Модуль | |||||
| Основы теории множеств | 14 | 10 | 0 | 30 | 54 |
2 Модуль | |||||
| Исчисление предикатов | 10 | 8 | 0 | 30 | 48 |
3 Модуль | |||||
| Теории и модели | 24 | 14 | 0 | 60 | 98 |
| Типы | 18 | 12 | 0 | 40 | 70 |
