Содержание
1. Информация о дисциплине……………………………………………. |
3 |
1.1. Предисловие………………………………………………………… |
3 |
1.2. Содержание дисциплины и виды учебной работы……………….. |
4 |
2. Рабочие учебные материалы…………………………………………... |
5 |
2.1. Рабочая программа…………………………………………………. |
5 |
2.2. Тематический план дисциплины…………………………………... |
8 |
2.3. Структурно-логическая схема дисциплины……………………… |
11 |
2.4. Временной график изучения дисциплины………………………... |
11 |
2.5.Практический блок…………………………………………………. 12
2.6.Рейтинговая система……………………………………………….. 12
3. Информационные ресурсы дисциплины…………………………….. |
13 |
3.1. Библиографический список………………………………………... |
13 |
3.2. Опорный конспект лекций по дисциплине……………………….. |
15 |
1. Логика высказываний…………………………………………… |
16 |
2.Логика предикатов………………………………………………. 23
3.Формальные теории……………………………………………... 31
4.Логическое программирование, модальная, нечеткая и
темпоральная логики…………………………………………….. 39
5. |
Элементы теории алгоритмов…………………………………... |
50 |
6. |
Верификация алгоритмов и программ…………………………. |
64 |
7.Эффективность алгоритмов…………………………………….. 72
3.3.Учебное пособие……………………………………………………. 82
3.4. Глоссарий…………………………………………………………… |
83 |
4. Блок контроля освоения дисциплины……………………………….. |
91 |
4.1.Задания на контрольные работы и методические указания к их
выполнению……………………………………………………….... 91
4.2.Тестирование……………………………………………………….. 99
4.3. Итоговый контроль. Вопросы для подготовки к экзамену……… |
109 |
111
Георгий Иванович Анкудинов Игорь Альбертович Бригаднов
Математическая логика и теория алгоритмов
Учебно-методический комплекс
Редактор Т.В. Шабанова
Сводный темплан 2008 г.
Лицензия ЛР №020308 от 14.02.97 Санитарно-эпидемиологическое заключение №78.01.07.953.П.005641.11.03
от 21.11.2003 г.
Подписано в печать |
Формат 60x84 1/16 |
|
|
Б. кн.-журн. |
П.л. 7,0 |
Б.л. 4,5 |
Изд-во СЗТУ |
Тираж 120 |
|
Заказ |
|
Северо-Западный государственный заочный технический университет Издательство СЗТУ, член Издательско-полиграфической ассоциации вузов России
191186, Санкт-Петербург, ул.Миллионная, д. 5
112