|
1 |
Название дисциплины |
Математическая логика |
|
2 |
Курс обучения |
Курс 2, специальность: Математика. Научно-конструкторская деятельность. |
|
3 |
Семестр обучения |
3 |
|
4 |
Количество кредитов |
3 |
|
5 |
Ф.И.О. лектора |
Кандидат технических наук, доцент Супрун Валерий Павлович |
|
6 |
Цели изучения дисциплины |
Ознакомление с задачами и методами математической логики – одного из разделов дискретной математики. Формирование навыков дискретного математического мышления и умения применять его при решении конкретных (типовых) задач. В результате изучения студент должен уметь: — формулировать основные утверждения математической логики; — применять понятия и утверждения математической логики для решения типовых задач проектирования устройств вычислительной техники; — активно использовать основные положения и методы математической логики при изучении последующих разделов дискретной математики. |
|
7 |
Пререквизиты |
Начальные сведения из комбинаторики и теории множеств, теория булевых функций. |
|
8 |
Содержание дисциплины |
Предмет математической логики. Алгебра высказываний. Исчисление высказываний. Логика предикатов. Исчисление предикатов. Машины Тьюринга. |
|
9 |
Рекомендуемая литература |
1. Новиков П.С. Элементы математической логики. М.: Наука, 1973. 2. Мендельсон Э. Введение в математическую логику. М.: Наука, 1971. 3. Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986. 4. Супрун В.П. Основы математической логики. М.: Ленанд, 2017. |
|
10 |
Методы преподавания |
Диалоговый, наглядный, эвристический, проблемный, исследовательский |
|
11 |
Язык обучения |
Русский |
|
12 |
Условия (требования), текущий контроль |
Теоретические коллоквиумы, письменные контрольные работы |
|
13 |
Форма текущей аттестации |
Экзамен (текущая оценка, коэффициент – 0,3; экзаменационная оценка, коэффициент – 0,7) |