Кафедра математической логики и теории алгоритмов

Cеминар «Теория определимости»

Уважаемые коллеги,

Мы начинаем работу учебно-исследовательского семинара «Теория определимости».

Руководители: академик А.Л. Семенов, 
к.ф.-м.н. С.Ф. Сопрунов, проф. А.Я. Белов

Теория определимости изучает вопрос о том, как одно отношение можно определить через другие, она имеет почтенную историю, начиная с XIX века и даже ранее. Существенный вклад в развитие теории определимости сделал Альфред Тарский, ключевым результатом здесь стала Теорема Свенониуса 1959 г. – «Теорема полноты» для определимости.

В последующие десятилетия был получен ряд результатов, относящихся к конечным решеткам определимости однородных структур. В последние годы руководители семинара выработали подходы и получили результаты для неоднородных структур с бесконечными решетками определимости.

В рамках семинара будет, с одной стороны, сделан ряд реферативных докладов, вводящих участников, начиная со школьников и студентов 1-го курса, в тематику определимости. С другой стороны, с самого начала участникам будут предложены исследовательские задачи и намечены пути их решения. Среди тем первых заседаний Семинара будут решения задач участниками Летней конференции «Турнира городов» — 2021.

Предварительные материалы семинара (знакомство с которыми не требует специальных знаний) можно найти в папке: https://www.dropbox.com/sh/vlfz369qrhtsgt9/AACIMyVaTobndmzh_l9yFrOJa?dl=0

В таблице https://docs.google.com/spreadsheets/d/1RKseYwvx4KjotUTGR3eGIvZREVMwl0BpvE1F4BBQqfg/edit?usp=sharing планируется размещать расписание заседаний семинара, в настоящий момент там находится список рассылки семинара. Проверьте свои данные в этом списке, пожалуйста и сообщите, если Вам, например, желательно, чтобы Ваши координаты были скрыты от остальных участников — мы удалим их из таблицы.

Ссылка для подключения к семинару:
Идентификатор конференции: 815 9502 7905
Код доступа: 248116
 
По всем вопросам обращайтесь, пожалуйста, к секретарю семинара — Белле Бармак (barmakbella@mail.ru).