сайт РГГУ
 


Curriculum


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


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


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

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

 
arrow Высшее университетское образование arrow Логика arrow Дополнительные главы логики
Дополнительные главы логики print E-mail

Д.П. Скворцов

Основная часть курса включает изучение аксиоматических теорий на базе классической логики предикатов (представляемой в форме аналитических таблиц, секвенциального исчисления и исчисления гильбертовского типа). Особое внимание уделяется изучению аксиоматической арифметики (арифметики Пеано). Устанавливается выразимость всех рекурсивных функций отношений в арифметике. С ее использованием доказываются классические теоремы (I и II теоремы Геделя о неполноте аксиоматической арифметики и ряд других); обсуждается понятие о логике предикатов II порядка и доказывается невозможность ее рекурсивной аксиоматизации (с применением теоремы Тарского). Кроме того, курс может включать в себя те или иные дополнительные разделы, связанные с обслуживанием некоторых неклассических логических систем (многозначных логик, интуиционистской логики, модальной логики и т. п.).


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


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

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