- •Вопросы к экзамену
- •Тема1. Введение в алгебру логики
- •Множеств. Соответствия и функции. Алгебры.
- •1847 Г. Буль написал важную статью на тему «Математический
- •Прямое произведение множеств
- •Алгебры.
- •2. Функции алгебры логики. Примеры логических
- •Функций
- •3, Содержащая одну подформулу глубины 2 и две подформулы
- •Булева алгебра.
- •5. Построение сднф для функции, заданной таблицей.
- •10. Метод резолюций для исчисления высказываний
- •12. Предваренная нормальная форма. Алгоритм
- •13. Скулемовская стандартная форма. Подстановка и
- •14. Метод резолюций в исчислении предикатов
- •Список обязательной литературы.
Список обязательной литературы.
1. Гаврилов Г.П., Сапоженко А.А. «Задачи и упражнения по
курсу дискретной математики».// М.: "Наука", 2007.
2. Зарипова Э.Р., Кокотчикова М.Г., Севастьянов Л.А.
«Лекции по дискретной математике. Часть I.
Математическая логика». Учебное пособие. // М.: Изд-во
РУДН, 2011.
3. Новиков Ф.А. «Дискретная математика для
программистов». Учебник. // Cпб.: Изд. дом «Питер», 2000.
4. Лавров И.А., Максимова Л.Л. «Задачи по теории множеств,
математической логике и теории алгоритмов». Учебное
пособие. 5-ое изд., // М:, Изд-во Физматлит, 2006
Список дополнительной литературы.
1. Игошин В.И. «Математическая логика и теория
алгоритмов». 3-е изд. Учебное пособие для ВУЗов, // М:,
Изд-во Физматлит, 2006
73
2. Просветов Г.И. «Дискретная математика: задачи и
решения». Учебное пособие. //М. Изд-во «Бином.
Лаборатория знаний», 2008.