Текущая (весна 2014) версия этого курса здесь

Модели вычислений:
аппликативные технологии

ФИВТ - факультет инноваций и высоких технологий, МФТИ

Предварительной подготовки не требуется.
Изложение носит замкнутый характер: Модели вычислений (весна 2007),  

Профессор: Вячеслав Эрнстович Вольфенгаген

Описание курса 
Программа курса
Что читать/Ссылки
Материал курса
Проекты по курсу
Студенты
Семинары
Помощь в изучении

Перечень вопросов
Видеокурс
Аннотация

Излагаются основные идеи семантической теории вычислений. Центральным разрабатываемым понятием является представление о вычислении значения выражения. В приложениях к семантикам языков программирования, моделям данных и языков запросов приобретает смысл вычисления значения в зависимости от среды вычислений. Охватываются вопросы использования ламбда-исчисления и комбинаторов. Для комбинаторно полных теорий вычислений исследуется вопрос представления выражения в комбинаторных базисах. Обычно среда вычислений определяется значениями свободных в рассматриваемом выражении переменных. Переменные пробегают по областям, или доменам, которые считаются объектами. Теории доменов являются альтернативным способом выразить тот смысл, который вкладывается в термин `теория вычислений’. Дополнительно излагаются вопросы вычисления значения выражений в декартово замкнутой категории.

Модели вычислений оказываются базовым предметом, который необходим для приобретения навыков научной работы и развития интуиции для поиска новых принципов компьютинга. Следовательно, это продвинутый курс, освоив который можно работать над инновационными проектами в области програмирования, информационных технологий, включая Интернет/WWW, управление базами данных, информационные системы, информационный поиск и искусственный интеллект.

Для получения более широкого представления о курсе используйте ссылки слева, отмеченные как Описание и Что читать. Ссылки Материал курса и Студенты содержат презентации и сведения о выполняемых проектах.