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

Дискретная математика:
Системы высших порядков и теория вычислений

Кафедра 22 - кибернетики, МИФИ

Предварительной подготовки не требуется.
Изложение носит замкнутый характер: ДМ (весна 2002), ДМ (весна 2003), ДМ (весна 2004), СВПиТВ (весна 2005), СВПиТВ (весна 2006), СВПиТВ (весна 2007)  

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

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

Видеокурс

 
Аннотация

В курсе систематически рассматриваются модели, методы и средства, для которых центральной сущностью является представление об объекте. Применен наиболее общий подход, основанный на использовании операций аппликации и абстракции, что позволило выполнить замкнутое изложений техники аппликативных вычислений, оставаясь в рамках элементарных средств. Курс основан на материале, который в различных вариантах использовался для проведения занятий по соответствующим разделам курса компьютерных наук.

Охватывается использование комбинаторов и ламбда-исчисления. Излагается необходимый теоретический минимум, соответствующий мировым стандартам,
иллюстрируются основные вычислительные идеи, понятия и определения.

Это продвинутый курс для специалистов, студентов и аспирантов, занятых в области компьютерных наук. Его можно изучать независимо от других дисциплин, предварительной специальной математической подготовки не предполагается. 

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

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