• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты

Адрес: г. Москва, Покровский бульвар, д. 11

Телефон: 8 (495) 772-95-90 *27334

Руководство
Руководитель департамента Соколов Евгений Андреевич
Заместитель руководителя департамента Максаев Артем Максимович
Заместитель руководителя департамента Хузиева Алина Эдуардовна

Семинар по математической логике

С 2023 года на ФКН проводится ежегодный Однодневный семинар по математической логике. Сейчас математическая логика имеет всё больше приложений "в жизни": пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое.

Семинар 2023 года

Семинар 2024 года