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

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

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

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

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

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

 

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

 

Расписание (PDF, 108 Кб)

 

На семинаре выступили:
Оноприенко Анастасия Александровна

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