Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Лекции - Введение в математическую логику №2.doc
X
- •2. Элементы логики предикатов
- •2.1. Формулы логики предикатов и их преобразование Сводка теории
- •Определение
- •Определение
- •Определение
- •Определение
- •Определение
- •Замечания
- •Утверждение 2.1
- •Утверждение 2.2
- •Примеры
- •Пример 2.3
- •Замечания
- •Примеры
- •Контрольные вопросы
- •3. Исчисление высказываний и исчисление предикатов
- •3.1. Общее представление об исчислении высказываний Сводка теории
- •Примеры
- •3.2. Общее представление об исчислении предикатов Сводка теории
- •Примеры
- •Решение
- •Решение
- •Решение
- •Решение
- •Решение
- •Индивидуальное задание (контрольная работа) правила выполнения и оформления индивидуального задания
- •Варианты индивидуального задания
- •Варианты формул для заданий 2 - 7:
- •Литература
- •2. Элементы логики предикатов 34
- •2. Элементы логики предикатов 34
- •Сергей Михайлович Воротников
- •Введение в математическую логику
- •Учебное пособие
- •681013, Комсомольск-на-Амуре, пр. Ленина, 27
Введение в математическую логику
Учебное пособие
Редактор Г.Н. Горькавая
ЛР № 020825 от 21.09.93
Подписано в печать 24.06.02.
Формат 60 х 84 1/8. Бумага 80 г/м2. Отпечатано на ризографе.
Усл. печ. л. 7,49. Уч.-изд. л. 3,79. Тираж 200.
Институт новых информационных технологий
Государственного образовательного учреждения
высшего профессионального образования
«Комсомольский-на-Амуре государственный технический университет»
681013, Комсомольск-на-Амуре, пр. Ленина, 27
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]