- •М.А.Евдокимов, в.Г.Саркисов, г.А.Саркисов
- •Оглавление
- •1. Введение
- •2. Понятие высказывания. Понятие операции
- •Вопросы и задания
- •3.2. Конъюнкция (логическое умножение)
- •3.3. Дизъюнкция (логическое сложение)
- •3.4. Импликация (логическое следование)
- •Вопросы и задания
- •3.5. Эквиваленция (двойная импликация)
- •3.6. Принципы доказательства тождеств. Таблица операций с двумя логическими переменными
- •Вопросы и задания
- •4. Примеры практического приложения булевой алгебры. Переключательные схемы
- •Вопросы и задания
- •5. Тождественные преобразования
- •Вопросы и задания
- •6. Дизъюнктивная и конъюнктивная нормальные формы булевой функции (дизъюнкция конъюнкций и конъюнкция дизъюнкций)
- •Вопросы и задания
- •7. Построение аналитического выражения булевой функции по таблице ее значений
- •Вопросы и задания
- •8. Минимизация логических функций, оптимизация технической реализации функций алгебры логики
- •Вопросы и задания
- •9. Автоматизация процедуры считывания и минимизации логических функций с помощью метода карт Карно
- •Вопросы и задания
- •Библиографический список
- •443100. Г.Самара, Молодогвардейская, 244. Главный корпус
Библиографический список
Самарин Ю.П., Сахабиева Г.А. Математика для студентов вузов. Элементы теории множеств. Элементы математической логики: Учеб. пособ. Самара: СамГТУ, 2000. 26с.
Сигорский В.П. Математический аппарат инженера. Киев: Технiка, 1975. 768с.
Овчинникова Е.В., Судоплатов С.В. Математическая логика и теория алгоритмов: Учеб. пособ. М.: Инфра-М, 2004. 112с.
Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики: Учеб. пособ. М.: ФИЗМАТЛИТ, 2004. 84с.
Фрейденталь Х. Язык логики. М.: Наука, 1969. 136с.
Евдокимов Михаил Александрович
Саркисов Виген Геннадьевич
Саркисов Геннадий Арсенович
Элементы математической логики
Редактор Н. В. В е р ш и н и н а
Технический редактор В. Ф. Е л и с е е в а
Подписано в печать 17.12.04
Формат 60х84 1/16. Бумага офсетная.
Печать офсетная. Усл. п. л. 1,86.
Усл. кр-отт. 1,86. Уч.-изд. л. 1,79.
Тираж 200 экз. С.-378
Государственное образовательное учреждение
высшего профессионального образования
"Самарский государственный технический университет"
443100. Г.Самара, Молодогвардейская, 244. Главный корпус