- A
- A
- A
- АБB
- АБB
- АБB
- А
- А
- А
- А
- А
Обычная версия сайта
Адрес: г. Москва, Покровский бульвар, д. 11
Телефон: 8 (495) 772-95-90 *27334
Руководство
Руководитель департамента
–
Соколов Евгений Андреевич
Заместитель руководителя департамента
–
Максаев Артем Максимович
Заместитель руководителя департамента
–
Хузиева Алина Эдуардовна
Менеджер
–
Кононова Елизавета Дмитриевна
Семинар по математической логике
С 2023 года на ФКН проводится ежегодный Однодневный семинар по математической логике. Сейчас математическая логика имеет всё больше приложений "в жизни": пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое.