У вас уже есть заявка на текущий период. Если вы хотите, чтобы данная программа участвовала в розыгрыше гранта в этом месяце, необходимо добавить ее в папку "Интересные мероприятия". Или создайте заявку на другой период.
 
Курсы
MBAКомпанииГранты на обучениеВузыПовысь зарплату

EduMarket Образование
  Вход на сайт
 
Напомнить   
Запомнить меня
 
Пользовательское соглашение


Победители конкурса грантов

Завершился 35-й конкурс грантов «Мечты сбываются». Поздравляем победителей!
Нет ничего невозможного, если есть сильное желание чего-то добиться. Если у вас есть ...

Куценко Александра Анатольевна, менеджер из Ростова-на-Дону, победитель 34 конкурса грантов, выиграла 100 000 руб.
Хочу поблагодарить портал EduMarket.ru и всех, кто причастен к его созданию, развитию и ...



Подать заявку на грант
 
 
Курсы, программы / IT: Для программистов и IT-специалистов / Программирование / Введение в теорию программирования. Функциональный подход

Введение в теорию программирования. Функциональный подход
Организатор Регион Стоимость
ИНТУИТ ИНТУИТ (29.44) Рейтинг компании Pоссия бесплатно

руб. 0.00

за 10 ак. часов

Даты проведения
C открытой датой
Форма обучения: Дистанционная
Вид мероприятия: Видеокурс
Преподаватель
Сергей Зыков - Национальный исследовательский ядерный университет «МИФИ»
Анонс программы
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.
Описание программы
  1. Вступительная лекция
  2. Классификация языков программирования
  3. Концепция и возможности подхода .NET
  4. Функциональный подход к программированию
  5. Ламбда-исчисление как формализация языка функционального программирования
  6. Комбинаторная логика как формальная система
  7. Теория типов и комбинаторная логика
  8. Синтаксис языков программирования
  9. Семантика языков программирования
  10. Рекурсивные функции и множества
  11. Абстрактные машины и категориальная комбинаторная логика
  12. Категориальная абстрактная машина
  13. Оптимизация вычислений и абстрактные машины
  14. Экзамен
 
 
Телефон организатора Телефон организатора
Нажмите на ссылку, чтобы увидеть телефон
Показать телефон
 
 
 
 
Похожие мероприятия
Data Scientist в строительной отрасли Дистанционная Pоссия 87 000 руб.
Data Science Online Pоссия 295 000 руб.
Full stack JavaScript Очная/дневная Москва 360 000 руб.
Быстрый переход к спискам мероприятий:
Все курсы программирования
Курсы программирования в России
←Вернуться
Быстрый поиск по теме
Программы MBA
Курсы бухгалтеров
Курсы 1с
Курсы иностранных языков
Тренинги по продажам
Курсы программирования
Курсы управление персоналом
Бесплатные курсы
ещё  		Поиск по городам
Курсы в Москве
Курсы в Санкт-Петербурге
Курсы в Екатеринбурге
Курсы в Новосибирске
Курсы в Нижнем Новгороде
Курсы в Самаре
Курсы в Ростове-на-Дону
Курсы в Казани
ещё  		Сервисы карьеристам
Сервисы до и после регистрации
Поиск курса, программы обучения
Выбор выставки, конференции
Конкурс грантов
Деньги на обучение EduMoney
Рейтинг компаний
Публикации и новости
Словари
ещё  		Организаторам мероприятий
Правила размещения мероприятий
Регистрация компании
Реклама и сервисы на сайте
Аудитория сайта
Каталог компаний
ещё 
 
Пользовательское соглашение       Обратная связь       Карта сайта

© 2006—2024 Edumarket


 

Город

Начните писать и выберите вариант из списка

Последняя или будущая должность

Начните писать и выберите вариант из списка
 

Ваше имя

Электронная почта
 

Телефон
 

Текст сообщения

Я принимаю условия, изложенные в Соглашении об оказании информационных услуг по развитию карьеры и профессиональному образованию