По содержанию данное пособие тесно связано с конспектом лекций одного из авторов и является методической основой для проведения практических занятии по темам: формулы логики высказываний и операции над ними; упрощение записи формул, доказательство равносильности, тождественной истинности и тождественной ложности формул; приведение формул логики высказываний к нормальным формам; использование формул логики высказываний в теории конечных автоматов; формулы логики предикатов и операции над ними; исследование выполнимости, истинности, ложности и равносильности формул логики предикатов, приведение формул логики предикатов к предваренной (пренексной) нормальной форме; основы исчисления высказываний и исчисления предикатов.
Рассмотрены примеры решения задач по указанным темам, приведены задачи и упражнения для самостоятельного решения и варианты индивидуальных заданий.
Для студентов-электриков, электронщиков, электромехаников и прикладных математиков.
Высказывания и операции над ними, формулы.
Сводка теории.
Имена предметов называются индивидными (предметными) константами. В "грамматике" формального языка индивидные константы играют роль существительных.
Выражения, содержащие знаки "переменных" и превращающиеся в имена предметов, если вместо переменных подставить некоторые имена предметов, называются именными Формами. Именные формы мы будем называть индивидными (предметными) переменными. Областью изменения индивидных переменных являются не только числа, но и совокупность любых индивидов (в частности, для нематематического языка -любые предметы или даже любые утверждения). В "грамматике" формального языка индивидные переменные играют роль местоимений.
Соединяя два имени чисел знаками равенства или неравенства, получаем записи некоторых утверждений - это высказывания, называемые еще пропозициональными переменными, если они содержат индивидные переменные.
СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ЗАНЯТИЕ 1. Высказывания и операции над ними, формулы
ЗАНЯТИЕ 2.Упрощение формул. Тождественные преобразования. Доказательство равносильности, тождественной истинности и тождественной ложности формул и булевых функций
ЗАНЯТИЕ 3. Нормальные формы (ДНФ, КИФ, СДНФ, СКНФ) формул логики высказываний
ЗАНЯТИЕ 4. Применение формул логики высказываний в теории однотактных дискретных автоматов
ЗАНЯТИЕ 5. Формулы логики предикатов и их преобразование; приведение к предваренной нормальной форме (ПНФ)
ЗАНЯТИЕ 6. Общее представление об исчислении высказываний и исчислении предикатов
ВАРИАНТЫ ИНДИВИДУАЛЬНОГО ЗАДАНИЯ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Практикум по введению в математическую логику, Воротников С.М., Егоров В.А., Матюшенко Л.Н., 1998 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу
Скачать - djvu - Яндекс.Диск.
Дата публикации:
Теги: учебник по математике :: математика :: Воротников :: Егоров :: Матюшенко
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
- Линейная алгебра с приложениями, Руководство к решению задач, Зенков А.В., 2010
- Линейная алгебра и тензорное исчисление, Зенков А.В., 2010
- Руководство к решению задач и упражнений по теории вероятностей и математической статистке, Булдык Г.М., 2009
- Формулы по статистике с описанием
Предыдущие статьи:
- Как разрезать квадрат, Яглом И.М., 1968
- Алгебра, 7 класс, методические рекомендации, Суворова С.Б., Бунимович Е.А., Кузнецова Л.В., 2015
- Геометрия, 6 класс, Бевз Г.П., Бевз В.Г., 2006
- Геометрия, 7 класс, Бевз Г.П., Бевз В.Г., Владимирова Н.Г., 2007