jurinfor.exponenta.ru
Курс дискретной математики (системы высших порядков и теория вычислений)
http://jurinfor.exponenta.ru/A-Course-on-DiscrMath.htm
Текущая (весна 2014) версия этого курса здесь. Системы высших порядков и теория вычислений. Кафедра 22 - кибернетики, МИФИ. Предварительной подготовки не требуется. Изложение носит замкнутый характер: ДМ (весна 2002), ДМ (весна 2003), ДМ (весна 2004), СВПиТВ (весна 2005), СВПиТВ (весна 2006), СВПиТВ (весна 2007). Профессор: Вячеслав Эрнстович Вольфенгаген. Охватывается использование комбинаторов и ламбда-исчисления. Излагается необходимый теоретический минимум, соответствующий мировым стандартам,. В курс...
pvobr.ru
Учителя и авторы
http://www.pvobr.ru/tutors/tutors.aspx
7 909 910 72 08. Где пообедать, отдохнуть.
jurinfor.exponenta.ru
Курс теории типов
http://jurinfor.exponenta.ru/A-Course-on-TypeTheory.htm
Текущая (весна 2014) версия этого курса здесь. Факультет инноваций и высоких технологий, МФТИ. Предварительной подготовки не требуется. Изложение носит замкнутый характер: Теория типов (осень 2006), Теория типов (весна 2009), Теория типов (весна 2010), Теория типов (весна 2011). Профессор: Вячеслав Эрнстович Вольфенгаген. Для получения более широкого представления о курсе используйте ссылки слева, отмеченные как Описание. Содержат презентации и сведения о выполняемых проектах.
jurinfor.exponenta.ru
Курс спецглав информатики (семантические теории информационных систем)
http://jurinfor.exponenta.ru/A-Course-on-SpecInf.htm
Текущая (весна 2014) версия этого курса здесь. Семантические теории информационных систем. Кафедра СИМ - системной интеграции и менеджмента, МФТИ. Предварительная общематематическая подготовка, опыт программирования, проектирования и эксплуатации баз данных. Изложение основным моделей и систем вычислений носит замкнутый характер: СИ (весна 2004). Профессор: Вячеслав Эрнстович Вольфенгаген. На их основе развивается вычислительный аппарат, позволяющий учитывать переходные процессы. А именно для специалисто...
jurinfor.exponenta.ru
Курс информатики и математики
http://jurinfor.exponenta.ru/A-Course-on-Inf-n-Math.htm
Текущая (осень 2014) версия этого курса здесь. Основные концепции, модели и методы. Кафедра ПКИ и ИТ - перспективных компьютерных исследований и информационных технологий, Институт "ЮрИнфоР-МГУ". Предварительной подготовки не требуется. Изложение носит замкнутый характер: ИМ (весна 2002), ИМ (осень 2002), ИМ (осень 2003). Профессор: Вячеслав Эрнстович Вольфенгаген. Графика и анимация, компьютерная верстка и подготовка электронных документов, приемы публикации в Web. Курс излагается как в варианте.
jurinfor.exponenta.ru
Курс моделей вычислений
http://jurinfor.exponenta.ru/A-Course-on-CompModels.htm
Текущая (весна 2014) версия этого курса здесь. Факультет инноваций и высоких технологий, МФТИ. Предварительной подготовки не требуется. Изложение носит замкнутый характер: Модели вычислений (весна 2007),. Профессор: Вячеслав Эрнстович Вольфенгаген. Для получения более широкого представления о курсе используйте ссылки слева, отмеченные как Описание. Содержат презентации и сведения о выполняемых проектах.