| РАЗДЕЛ ДИСЦИПЛИНЫ,
вид контрольного
мероприятия
| АУДИТОРНЫЕ ЗАНЯТИЯ
|
| СОДЕРЖАНИЕ
| время (час)
|
| ауд.
| СРС
|
| 1. Раздел I, тема 1.Логика высказываний.
| Высказывания, основные операции над высказываниями, пропозициональные связки. Формулы алгебры высказываний. Применение метода таблиц истинности к доказательству тождественной истинности (ложности), выполнимости, опровержимости формул алгебры высказываний.
|
|
|
| 2. Раздел I, тема 2.Функции алгебры логики. Метод таблиц истинности. Основные эквивалентные формулы алгебры логики.
| Функции алгебры логики. Элементарные булевы функции, их таблицы истинности. Применение метода таблиц истинности к доказательству тождественной истинности (ложности), выполнимости, опровержимости, эквивалентности функций алгебры логики. Решение тех же задач методом эквивалентных преобразований.
|
|
|
| 3. Раздел I, тема 2.Нормальные формы булевых функций.
| Приведение булевых функций к дизъюнктивной и конъюнктивной нормальным формам, совершенным нормальным формам по таблице истинности и с помощью эквивалентных преобразований.
|
|
|
| 4. Раздел I, тема 2.Полиномы Жегалкина. Двойственность.
| Приведение булевых функций к полиному Жегалкина методом неопределённых коэффициентов и с помощью эквивалентных преобразований. Построение двойственных функций по определению и с помощью принципа двойственности.
|
|
|
| 5. Раздел I, тема 3.Релейно-контактные схемы.
| Реализация булевой функции релейно-контактной схемой. Нахождение по релейно-контактной схеме булевой функции, которую она реализует.
|
|
|
| 6. Мероприятия системы межсессионного контроля: раздел I, темы 1 – 3.
| Контрольная работа № 1
|
|
|
| 7. Раздел I, тема 4.Логика предикатов. Выполнимость и общезначимость формул логики предикатов.
| Построение интерпретаций формул логики предикатов. Доказательство и опровержение общезначимости формул в частных случаях.
|
|
|
| 8. Раздел I, тема 4.Эквивалентные формулы логики предикатов.
| Эквивалентные преобразования формул логики предикатов.
|
|
|
| 9. Раздел II, тема 5.Правила вывода теории исчисления высказываний.
| Формальная система теории исчисления высказываний. Доказательство производных правил вывода и простейших теорем.
|
|
|
| 10. Раздел II, тема 5.Доказательство теорем.
| Доказательство теорем теории исчисления высказываний.
|
|
|
| 11. Раздел II, тема 5.Другие теории исчислении высказываний.
| Доказательство теорем других теорий исчисления высказываний (Россера, Гильберта-Аккермана, исчисления секвенций, интуиционистской).
|
|
|
| 12. Раздел II, тема 6. Правила вывода теории исчисления предикатов. Доказательство теорем. Метод резолюций.
| Доказательство производных правил вывода и теорем теории исчислений предикатов. Метод резолюций.
|
|
|
| 13. Мероприятия системы межсессионного контроля: раздел I, тема 4, раздел II, темы 5 - 6.
| Контрольная работа № 2
|
|
|
| 14. Раздел III, тема 8.Рекурсивные функции.
| Доказательство примитивной рекурсивности, частичной рекурсивности и общерекурсивности некоторых арифметических функций. Восстановление явного вида функции по схеме примитивной рекурсии. Выдача индивидуального домашнего задания.
|
|
|
| 15. Раздел III, тема 9.Понятие машины Тьюринга.
| Нахождение конечных конфигураций машин Тьюринга при заданных начальных конфигурациях. Распознавание применимости машины Тьюринга к начальному слову. Определение вычисляемой функции по программе машины Тьюринга.
|
|
|
| 16. Раздел III, тема 9.Построение машин Тьюринга.
| Построение машин Тьюринга, вычисляющих заданные функции и осуществляющих определённые преобразования начальных слов. Действия над машинами Тьюринга.
|
|
|
| 17.Заключительное занятие.
| Переписывание контрольных работ, проверка домашних заданий, приём индивидуального домашнего задания.
|
|
|
| Всего
|
|
|
