Аннотация 

Калининградский государственный технический

университет

В.Ф. Пономарев

математическая логика

 часть 1

Логика высказываний. Логика предикатов

Утверждено Ученым советом университета в качестве учебного пособия для студентов направления 552800 – Информатика и вычислительная техника и специальности 654600 – Информатика и вычислительная техника

Калининград

2001г.

ББК. 22

          Л 55

В.Ф. Пономарев Математическая логика.

часть 1. Логика высказываний. Логика предикатов. Учебное пособие – Калининград: КГТУ, 2001, с.140

          Учебное пособие предназначено для студентов университета, изучающих “Математическую логику”. В нем изложены основные принципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графическую работу. В расчетно-графической работе по логике высказываний доказывается истинность заключения методами дедуктивного вывода и по принципу резолюции. В расчетно-графической работе по логике предикатов выполняется преобразование формулы к виду ПНФ и ССФ с последующей унификацией контрарных атомов дизъюнктов.