Результаты обучения по дисциплине
ОБЪЕМ ДИСЦИПЛИНЫ (МОДУЛЯ) И РАСПРЕДЕЛЕНИЕ ЧАСОВ ПО ВИДАМ УЧЕБНОЙ РАБОТЫ
Таблица 3
Организационно-методические данные дисциплины
| Виды контактной и внеаудиторной работы | Всего часов | |
| очная форма обучения | заочная (очно-заочная) форма обучения | |
| Общий объем дисциплины | ||
| Аудиторная работа | ||
| в том числе: | ||
| Лекции | ||
| Лабораторные | ||
| Практические (семинарские) | ||
| Самостоятельная работа обучающихся | ||
| Контрольная работа | 3 семестр | |
| Иные виды работы | ||
| Виды промежуточной аттестации: | ||
| Зачет | ||
| Курсовое проектирование | ||
| Курсовая работа | ||
| Экзамен | 3 семестр |
СОДЕРЖАНИЕ ДИСЦИПЛИНЫ (МОДУЛЯ)
Таблица 4
Разделы дисциплины
| Наименование разделов дисциплины | Всего часов | В том числе | |||||
| Аудиторные занятия | Из них | Самостоятельная работа | |||||
| Лекции | Практические (семинарские) занятия | Лабораторные занятия | |||||
| Алгебра логики | |||||||
| Логика высказываний | |||||||
| Логика предикатов | |||||||
| Интуитивное определение алгоритма | |||||||
| Уточнение понятия алгоритма. Формализации Черча, Тьюринга, Маркова | |||||||
| Алгоритмические проблемы | |||||||
| Всего |
Таблица 5
Темы разделов дисциплины