Математическая логика: часть 1 - Учебное пособие (Пономарев В.Ф.)

Содержание

Читать: Аннотация 
Читать: Введение
Читать: 1.логика высказываний
Читать: 1.1 алгебра высказываний
Читать: 1.2 исчисление высказываний
Читать: 1.3. метод дедуктивного вывода
Читать: 1.4. принцип резолюции
Читать: C
Читать: N
Читать: 1.6 описание высказываний на языке prolog
Читать:  2. логика предикатов
Читать: 2.1 алгебра предикатов
Читать: 2.2. исчисление предикатов
Читать: 2.3 проблемы в исчислении предикатов
Читать: 2.4 логическое программирование
Читать: Литература 
Читать: Предметный указатель