Лекции по дискретной математике. Математическая логика. Зарипова Э.Р - 73 стр.

UptoLike

Составители:

Рубрика:

несамодвойственными функциями. Класс монотонных функций.

Решение задач с немонотонными функциями. Класс линейных

функций. Решение задач с нелинейными функциями.

Тема 4. Исчисление высказываний и предикатов

Решение задач с использованием метода резолюций для

исчисления высказываний. Применение кванторов. Поиск

предваренной нормальной формы (ПНФ). Поиск скулемовской

стандартной формы. Подстановка и унификация для ПНФ.

Применение алгоритма

унификации. Применение метода

резолюций в исчислении предикатов.

4. Учебно-методические материалы, используемые для

реализации курса на обеспечивающей кафедре: учебники,

учебные пособия, конспекты лекций, методические

указания (в т.ч. в электронном виде)

Список обязательной литературы.

1. Гаврилов Г.П., Сапоженко А.А. «Задачи и упражнения по

курсу дискретной математики».// М.: "Наука", 2007.

Зарипова Э.Р., Кокотчикова М.Г., Севастьянов Л.А.

«Лекции по дискретной математике. Часть I.

Математическая логика». Учебное пособие. // М.: Изд-во

РУДН, 2011.

Новиков Ф.А. «Дискретная математика для

программистов». Учебник. // Cпб.: Изд. дом «Питер», 2000.

Лавров И.А., Максимова Л.Л. «Задачи по теории множеств,

математической логике и теории алгоритмов». Учебное

пособие. 5-ое изд., // М:, Изд-во Физматлит, 2006

Список дополнительной литературы.

1. Игошин В.И. «Математическая логика и теория

алгоритмов». 3-е изд. Учебное пособие для ВУЗов, // М:,

Изд-во Физматлит, 2006