сайт РГГУ
 


Curriculum


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


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


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

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

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

А.В. Гладкий, Ю.А. Шиханович

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


Специальность - Теоретическая и прикладная лингвистика


Кафедра математики, логики и интелектуальных систем в гуманитарной сфере

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