Автор: Сергей Зыков | Национальный исследовательский ядерный университет «МИФИ»
Форма обучения:
дистанционная
Стоимость самостоятельного обучения:
бесплатно
Стоимость обучения с персональным тьютором:
500 руб. [?]
Доступ:
свободный
Документ об окончании:
 
Уровень:
Для всех
Длительность:
10:03:00
Студентов:
3425
Выпускников:
242
Качество курса:
4.02 | 3.77
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.
Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
ISBN: 978-5-9556-0009-3
 

План занятий

Занятие
Заголовок <<
Дата изучения
Лекция 1
21 минута
Вступительная лекция
Обзор истории развития научных направлений, сформировавших теоретическое основание курса.
-
Лекция 2
33 минуты
Классификация языков программирования
В лекции исследуются вопросы истории и эволюции языков и подходов к программированию, анализируются их достоинства и недостатки, строится классификация языков и подходов к программированию.
-
Лекция 3
31 минута
Концепция и возможности подхода .NET
В лекции рассматриваются вопросы, относящиеся к идеологии, технологии и обзору практических возможностей создания программных систем на основе наиболее современного подхода к проектированию и реализации программного обеспечения, известного под названием Microsoft .NET.
-
Лекция 4
24 минуты
Функциональный подход к программированию
В лекции обсуждаются вопросы, касающиеся истории развития, идеологии, математического обоснования и возможностей программных систем на основе функционального подхода к проектированию и реализации программного обеспечения.
-
Лекция 5
28 минут
Ламбда-исчисление как формализация языка функционального программирования
В лекции производится анализ идеологии, математического основания и возможностей ламбда-исчисления – математической формализации, моделирующей языки функционального программирования.
-
Базисные типы и стандартные функции языка SML
Цель: ознакомиться с ядром языка SML, стандартным набором функций, принципами построения функций и типов.
-
Лекция 6
29 минут
Комбинаторная логика как формальная система
В лекции обсуждаются вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей комбинаторной логики - математической формализации, моделирующей языки функционального программирования и абстрактные вычислительные машины.
-
Лекция 7
36 минут
Теория типов и комбинаторная логика
В данной лекции исследуются принципы, математическое основание и выразительные возможности теории типов и типизированной комбинаторной логики - математической формализации, моделирующей типы выражений в языках программирования.
-
Функции SML для основных комбинаторов
Цель: получить представление об отображении комбинаторной логики на язык SML.
-
Лекция 8
40 минут
Синтаксис языков программирования
В лекции рассматриваются вопросы, относящиеся к понятийному аппарату, истории развития и выразительным возможностям синтаксического представления формальных теорий и языков программирования.
-
Лекция 9
35 минут
Семантика языков программирования
В лекции излагаются основополагающие принципы, история развития, существующие подходы и выразительные возможности семантического представления формальных теорий и языков программирования.
-
Функции для синтаксического разбора простых языковых конструкций
Цель: ознакомление с механизмами синтаксического разбора (parsing) простых языковых конструкций.
-
Лекция 10
28 минут
Рекурсивные функции и множества
В лекции исследуется рекурсивное представление функций и множеств в формальных теориях и языках программирования. Рассматриваются вопросы, относящиеся к понятийному аппарату и возможностям рекурсивных вычислений.
-
Рекурсивные вычисления
Цель: ознакомление с принципами работы механизма рекурсии
-
Лекция 11
26 минут
Абстрактные машины и категориальная комбинаторная логика
В лекции излагаются основные концепции абстрактных вычислительных машин. При этом обсуждается история развития последних, анализируются существующие подходы к их реализации.
-
Лекция 12
32 минуты
Категориальная абстрактная машина
В лекции предлагается вариант формальной системы комбинаторной логики, а также систематизируется технология построения категориальной абстрактной машины как формализации языков программирования.
-
Лекция 13
30 минут
Оптимизация вычислений и абстрактные машины
В лекции рассматриваются возможные направления и ключевые стратегии повышения вычислительной производительности программных систем. Значительное внимание уделяется моделированию этих направлений и стратегий путем внесения "конструктивных изменений" в инструкции и среду вычислений абстрактных машин, в частности, КАМ.
-
Реализация категориальной абстрактной машины
Цель: практически ознакомиться с принципами реализации категориальной абстрактной машины (КАМ) на основе примеров фрагментов реализации.
-
1 час 40 минут
-
Александр Кудаков
Александр Кудаков
Россия
Игорь Хан
Игорь Хан
Узбекистан, Ташкент, Ташкентский педагогический институт иностранных языков, 1990