Высшая школа экономики

7 февраля для участников проекта прошла интерактивная лекция, доцента НИУ Высшая школа экономики Славнова Сергея Андреевича.
Тема — Вычислимость и неразрешимость: почему программы всегда неправильно работают, и с этим ничего нельзя поделать.
Теория вычислимости лежит в основе компьютерных наук (computer science), но в значительной степени была построена, когда еще никаких компьютеров не было. Уже тогда было доказано, что существуют алгоритмически неразрешимые задачи. Ребятам рассказали о самых главных неразрешимых задачах из области computer science: почему не существует надежного способа протестировать программу, почему не существует надежного антивируса, и почему невозможен язык программирования, защищенный от фатальных ошибок.wtwr2_fj_oo                                                  (Щелкните для просмотра фотографий)

Реклама

Добавить комментарий

Заполните поля или щелкните по значку, чтобы оставить свой комментарий:

Логотип WordPress.com

Для комментария используется ваша учётная запись WordPress.com. Выход / Изменить )

Фотография Twitter

Для комментария используется ваша учётная запись Twitter. Выход / Изменить )

Фотография Facebook

Для комментария используется ваша учётная запись Facebook. Выход / Изменить )

Google+ photo

Для комментария используется ваша учётная запись Google+. Выход / Изменить )

Connecting to %s