О ПРОЕКТЕ
ВСЕ ПРОЕКТЫ HH
Регистрация компании
Заявка на грант Повысить зарплату Поможем выбрать курс Регистрация карьериста
дистанционно, онлайн
Детали курса

Даты проведения
Открытая дата
Город
Pоссия
Вид обучения

Видеокурс

Форма обучения
Дистанционная
Учебная нагрузка
10 часов
Тема
IT: Для программистов и IT-специалистов
Администрирование компьютеров, аппаратного обеспечения
Программирование
Обучающая компания
ИНТУИТ

Базовая цена
Бесплатно!
Показать похожие курсы Найти новый курс
Мне интересно

Сохранить в избранном
Заказать звонок
Отправить вопрос
Подать заявку

Анонс
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.

                            
Программа
  1. Вступительная лекция
  2. Классификация языков программирования
  3. Концепция и возможности подхода .NET
  4. Функциональный подход к программированию
  5. Ламбда-исчисление как формализация языка функционального программирования
  6. Комбинаторная логика как формальная система
  7. Теория типов и комбинаторная логика
  8. Синтаксис языков программирования
  9. Семантика языков программирования
  10. Рекурсивные функции и множества
  11. Абстрактные машины и категориальная комбинаторная логика
  12. Категориальная абстрактная машина
  13. Оптимизация вычислений и абстрактные машины
  14. Экзамен

                        
Преподаватели
Сергей Зыков - Национальный исследовательский ядерный университет «МИФИ»

                            
Мне интересно

Сохранить в избранном
Заказать звонок
Отправить вопрос
Подать заявку

Обучающая компания
ИНТУИТ,
Москва, Электрический пер., д.8, стр.3


Схема проезда

Национальный Открытый Университет «ИНТУИТ» - это образовательный проект, главными целями которого являются свободное распространение знаний во Всемирной Сети и предоставление услуг дистанционного обучения. «ИНТУИТ» объединяет проекты:
• НОУ «ИНТУИТ» – Негосударственное образовательное частное учреждение «Национальный Открытый Университет «ИНТУИТ»;
• ИДО «ИНТУИТ» – Негосударственное образовательное частное учреждение «Институт Дистанционного Обучения «ИНТУИТ»;
• ООО «ИНТУИТ» (Интернет-Университет Информационных Технологий).