Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:45u.DOC
X
- •Пособие по дисциплине
- •Пособие по дисциплине
- •Оглавление
- •Глава I. Алгебра высказываний.
- •Предисловие
- •Введение
- •Глава I. Алгебра высказываний.
- •§ 1. Высказывания и логические операции над ними.
- •§ 2. Формулы алгебры высказываний и их истинностное значение.
- •§ 3. Основные виды формул алгебры высказываний. Законы формул алгебры высказываний.
- •§ 4. Равносильность формул алгебры высказываний и ее свойства.
- •§ 5. Основные равносильности формул алгебры высказываний.
- •§ 6. Конъюнктивные и дизъюнктивные нормальные формы формул алгебры высказываний.
- •§ 7. Проблема установления вида формул алгебры высказываний.
- •§ 8. Совершенные конъюнктивные и дизъюнктивные нормальные формы формул алгебры высказываний.
- •§ 9. Применение алгебры высказываний к анализу и синтезу электрических схем.
- •Алгоритм упрощения электрических схем
- •§ 10. Приложение алгебры высказываний к вопросам школьной математики.
- •Глава II. Алгебра предикатов
- •§ 1. Определение n-местного предиката и его основных видов.
- •§ 2. Логические операции над предикатами и их свойства.
- •§ 3. Связанные и свободные переменные. Свойства операций навешивания кванторов.
- •§ 4. Формулы алгебры предикатов и их основные виды.
- •§ 5. Равносильность формул алгебры предикатов. Основные равносильности алгебры предикатов.
- •§ 6. Приведенные и предваренные формы предикатных формул.
- •Рекомендуемая литература
Рекомендуемая литература
1. Игошин В.И. Математическая логика и теория алгоритмов. Саратов, 1991.
2. Игошин В.И. Задачник-практикум по математической логике. М., 1986.
3. Калужнин Л.А. Что такое математическая логика? М., 1964.
4. Новиков П.С. Элементы математической логики. М., 1973.
5. Столяр А.А. Элементарное введение в математическую логику. М., 1965.
Институт открытого образования
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]