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