Машины Тьюринга, Поста, Минского, алгоритмы Маркова, рекурсивные функции Клини были придуманы в первой половине двадцатого века в результате попыток формализовать понятие алгоритма. Эти математические модели до сих пор успешно применяются для решения задач разрешимости и алгоритмической сложности, но бесполезны для моделирования поведения сетевых протоколов или компонентов операционной системы. В докладе представлены некоторые современные подходы к моделированию вычислений, которые используются в индустрии при разработке сложных информационных систем.




Лекцию в марте прошлого года прочитал на факультете компьютерных наук [Ростислав Яворский][1], доцент департамента анализа данных и искусственного интеллекта. На факультете Ростислав Эдуардович ведет курсы «Введение в программирование», «[Компьютерная алгебра][2]», «[Неклассические логики и представление знаний][3]». [Читать дальше →][4]

[1]: http://www.hse.ru/staff/ryavorsky
[2]: http://www.hse.ru/edu/courses/152084023.html
[3]: http://www.hse.ru/edu/courses/152245334.html
[4]: http://habrahabr.ru/post/262423/#habracut