сайт РГГУ
 


Curriculum


Высшее университетское образование


Постдипломное образование


Довузовское образование

 
 
 
2819198 посетителей

 
arrow Высшее университетское образование arrow Логика arrow Математическая логика
Математическая логика print E-mail

В.К. Финн

Цель курса - обучить приемам логического рассуждения и методам доказательства, а также способам построения интерпретаций множеств логических формул. Излагается алгебра логики (конъюнктивные и дизъюнктивные нормальные формы, функциональная полнота). Алгебра высказываний и алгебра множеств строятся как эквациональная формализация булевой алгебры. Исчисление высказываний формулируется посредством метода аналитических таблиц. С помощью этого метода строится и логика предикатов первого порядка. В курсе излагаются предваренные нормальные формы Скулема и доказывается теорема Эрбрана о невыполнимости множества дизъюнктов. Рассматривается метод резолюций и дается обзор некоторых других методов автоматического доказательства теорем. При изучении метода резолюций излагается доказательство теоремы унификации, леммы подъема и теорема о полноте метода резолюций.


СПЕЦИАЛЬНОСТИ - Теоретическая и прикладная лингвистика,
Философия, Социология, Интеллектуальные системы в гуманитарной сфере


КАФЕДРА математики, логики и интеллектуальных систем в гуманитарной сфере

Вернуться к списку