Вступительная лекция

 

Классификация языков программирования

 

Концепция и возможности подхода .NET

 

Функциональный подход к программированию

 

Ламбда-исчисление как формализация языка функционального программирования

 

Комбинаторная логика как формальная система

 

Теория типов и комбинаторная логика

 

Синтаксис языков программирования

 

Семантика языков программирования

 

Рекурсивные функции и множества

 

Абстрактные машины и категориальная комбинаторная логика

 

Категориальная абстрактная машина

 

Оптимизация вычислений и абстрактные машины

 

 
На главную | < Назад....Вперёд >
С вопросами и предложениями можно обращаться по nicivas@bk.ru. 2013 г.Яндекс.Метрика