Литература

1. Воротников С.М. Введение в математическую логику: Учеб. пособие. – Комсомольск-на-Амуре: Комсомольский-на-Амуре гос. техн. ун-т, 1996. – 128 с.

2. Воротников С.М., Егоров В.А., Матюшенко Л.Н. Практикум по введению в математическую логику: Учеб. пособие. – Комсомольск-на-Амуре: Комсомольский-на-Амуре гос. техн. ун-т, 1998. – 74 с.

3. Гиндикин С.Г. Алгебра логики в задачах. – М.: Наука,1972. – 288 с.

4. Гладкий А.В. Язык математической логики. – Калинин: Изд-во Калининского гос. ун-та, 1977. – 84 с.

5. Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1987. – 336 с.

6. Кемени Дж., Снелл Дж., Томпсон Дж. Введение в конечную математику: Пер. с англ. – М.: ИЛ, 1963. – 487 с.

7. Клини С.К. Математическая логика: Пер. с англ. – М.: Мир, 1973. – 368 с.

8. Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. – М.: Изд-во МГУ, 1982. – 120 с.

9. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженеров. – М.: Энергоатомиздат, 1988. – 480 с.

10. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Наука, 1984. – 224 с.

11. Мендельсон Э. Введение в математическую логику: Пер. с англ. – М.: Наука, 1984. – 320 с.

12. Фрейденталь Х. Язык логики. – М.: Наука, 1969. – 214 с.

13. Черч А. Введение в математическую логику. Т.1: Пер. с англ. – М.: ИЛ, 1960. – 484 с.

14. Шенфилд Дж. Математическая логика: Пер. с англ. – М.: Наука, 1975. – 528 с.

С

2. Элементы логики предикатов 34

2.1. Формулы логики предикатов и их преобразование 34

Пример 2.1 38

Пример 2.2 38

Значит, исходная формула тождественно истинна. 39

Пример 2.4 39

Значит, исходная формула тождественно ложна. 40

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

Пример 2.5 41

2.8. Привести к ПНФ: 42

Контрольные вопросы 42

3. ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ И ИСЧИСЛЕНИЕ ПРЕДИКАТОВ 43

3.1. Общее представление об исчислении высказываний 43

3.2. Общее представление об исчислении предикатов 44

ИНДИВИДУАЛЬНОЕ ЗАДАНИЕ (КОНТРОЛЬНАЯ РАБОТА) 51

ПРАВИЛА ВЫПОЛНЕНИЯ И ОФОРМЛЕНИЯ ИНДИВИДУАЛЬНОГО ЗАДАНИЯ 51

ВАРИАНТЫ ИНДИВИДУАЛЬНОГО ЗАДАНИЯ 51

ЛИТЕРАТУРА 54

2. Элементы логики предикатов 34

2.1. Формулы логики предикатов и их преобразование 34

Пример 2.1 38

Пример 2.2 38

Значит, исходная формула тождественно истинна. 39

Пример 2.4 39

Значит, исходная формула тождественно ложна. 40

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

Пример 2.5 41

2.8. Привести к ПНФ: 42

Контрольные вопросы 42

3. ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ И ИСЧИСЛЕНИЕ ПРЕДИКАТОВ 43

3.1. Общее представление об исчислении высказываний 43

3.2. Общее представление об исчислении предикатов 44

ИНДИВИДУАЛЬНОЕ ЗАДАНИЕ (КОНТРОЛЬНАЯ РАБОТА) 51

ПРАВИЛА ВЫПОЛНЕНИЯ И ОФОРМЛЕНИЯ ИНДИВИДУАЛЬНОГО ЗАДАНИЯ 51

ВАРИАНТЫ ИНДИВИДУАЛЬНОГО ЗАДАНИЯ 51

ЛИТЕРАТУРА 54

ОДЕРЖАНИЕ

Сергей Михайлович Воротников