• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Расписание

Июнь 2018 года

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


Лектор: Славнов Сергей Андреевич, доцент департамента прикладной математики Moonstyle

Теория вычислимости лежит в основе компьютерных наук (computer science), но в значительной степени была построена, когда еще никаких компьютеров не было. Уже тогда  было доказано, что существуют алгоритмически неразрешимые задачи. 
Мы и поговорим о неразрешимых задачах из области computer science: почему не существует надежного способа протестировать программу, почему не существует надежного антивируса, и почему невозможен язык программирования, защищенный от фатальных ошибок. 

Дата проведения:  будет сообщена позднее.
Время:  будет сообщено позднее.
Адрес проведения:  Санкт-Петербург, ул.Победы, д. 34. Как добраться.  
Место проведения:  номер аудитории будет сообщен позднее.

Регистрация обязательна.