Воротников С.М. Введение в математическую логику. Части 1 - 2

Учебно-практическое пособие. – Комсомольск-на-Амуре: Комсомольский-на-Амуре государственный технический университет, 2003. — 61 с.По содержанию данное пособие, является методической основой для изучения следующих вводных разделов математической логики и ее приложений:
формулы логики высказываний и операции над ними;
упрощение записи формул;
доказательство равносильности,
тождественной истинности и тождественной ложности формул;
приведение формул логики высказываний к нормальным формам;
использование формул логики высказываний в теории конечных автоматов;
формулы логики предикатов и операции над ними;
исследование выполнимости, истинности, ложности и равносильности формул логики предикатов, приведение формул логики предикатов к предваренной, пренексной нормальной форме;
основы исчисления высказываний и исчисления предикатов.
Рассмотрены примеры решения задач по указанным темам,
приведены задачи и упражнения для самостоятельного решения, контрольные вопросы по теории и варианты индивидуальных заданий.Для студентов электротехнических специальностей, обучающихся по дистанционной технологии.