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

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

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

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

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

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

 

Семинар состоится 25 июня по адресу Покровский бульвар 11, аудитория R405, с 11:00 до 18:00.

 

На семинаре выступят:

Регистрация

Оноприенко Анастасия Александровна

Департамент больших данных и информационного поиска: Доцент