Календарный план учебных занятий по обязательной дисциплине «Математическая логика», привязанной ко 2 семестру первого курса. Лектор ст преп. Зарипова Э. Р. Виды и содержание учебных занятий

Вид материала

Решение

Содержание Промежуточный контроль знаний (Контрольная работа № 1) Промежуточный контроль знаний (Контрольная работа № 2)

Подобный материал:

• Календарный план учебных занятий по обязательной дисциплине «Теория конечных графов»,, 36.19kb.
• Календарный план учебных занятий по обязательной дисциплине «Архитектура вычислительных, 33.03kb.
• Календарный план учебных занятий по обязательной дисциплине «Алгебра и геометрия»,, 105.72kb.
• Календарный план учебных занятий по обязательной дисциплине «Уравнения математической, 92.11kb.
• Календарный план учебных занятий по обязательной дисциплине «Обыкновенные дифференциальные, 87.8kb.
• Календарный план учебных занятий по дисциплине Компьютерный дизайн оптических наноструктур,, 39.38kb.
• Календарный план учебных занятий по дисциплине «Аналитическая геометрия» (НМ), II семестр., 51.03kb.
• Календарный план учебных занятий по обязательной дисциплине «Дискретная математика, 109.62kb.
• Календарный план учебных занятий по дисциплине «Тяжелые металлы в экосистемах» Лектор:, 712.52kb.
• Календарный план курса учебных занятий по спецкурсу «Основы формальных методов описания, 48.19kb.

КАЛЕНДАРНЫЙ ПЛАН

учебных занятий по обязательной дисциплине «Математическая логика», привязанной ко 2 семестру первого курса.
Лектор – ст. преп. Зарипова Э.Р.

Виды и содержание учебных занятий
Неделя	Лекции	Число часов	Лабораторные занятия	Число часов
1	Введение в алгебру логики.	2	Решение задач на соответствие. Примеры с подалгеброй.	2
2	Функции алгебры логики	2	Решение задач с основными логическими функциями.	2
3	Существенные и фиктивные переменные.	2	Решение задач на ассоциативность, дистрибутивность и коммутативность.	2
4	Принцип двойственности и правило двойственности.	2	Решение задач на двойственность функций.	2
5	СДНФ.	2	Нахождение СДНФ функции.	2
6	Промежуточный контроль знаний (Контрольная работа № 1)			2
7	Представление логических функций булевыми формулами. СКНФ.	2	Нахождение СКНФ функции. Правило поглощения, склеивания и расщепления.	2
8	Алгоритм Куайна и Мак-Клоски.	2	Преобразование функции с помощью алгоритма Куайна и Мак-Клоски и представления в виде ДНФ.	2
9	Минимизация ДНФ. Порождение простых импликантов.	2	Минимизация булевых функций.	2
10	Полнота и замкнутость систем логических функций.	2	Решение задач с основными замкнутыми классами.	2
11	Исчисление высказываний. Общезначимость. Противоречивость. Логическое следствие.	2	Решение логических задач.	2
12	Метод резолюций для исчисления высказываний.	2	Решение логических задач.	2
13	Исчисление предикатов.	2	Понятие квантора. Интерпретация формул. Алфавит.	2
14	Предваренная нормальная форма и скулемовская стандартная форма.	2	Решение задач на ПНФ и ССФ.	2
15	Промежуточный контроль знаний (Контрольная работа № 2)			2
16	Подстановка и унификация. Алгоритм унификации.	2	Нахождение унификатора.	2
17	Метод резолюции в исчислении предикатов.	2	Решение задач на метод резолюции в исчислении предикатов	2
18	Заключительный обзор курса. Консультации по подготовке к итоговому контролю знаний.	2	Заключительный обзор курса.	2
19	Коллоквиум №1.	2	Консультации по курсу.	2
20	Итоговый контроль знаний - экзамен (Контрольная работа № 3)

Зав. кафедрой систем телекоммуникаций, д.т.н., проф. К.Е. Самуйлов