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

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


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

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

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



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

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

ИНТУИТ ИНТУИТ (27.38) Рейтинг компании Pоссия бесплатно

руб. 0.00

за 10 ак. часов

Даты проведения
C открытой датой
Форма обучения: Дистанционная
Вид мероприятия: Видеокурс
Преподаватель
Сергей Зыков - Национальный исследовательский ядерный университет «МИФИ»
Анонс программы
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.
Описание программы
  1. Вступительная лекция
  2. Классификация языков программирования
  3. Концепция и возможности подхода .NET
  4. Функциональный подход к программированию
  5. Ламбда-исчисление как формализация языка функционального программирования
  6. Комбинаторная логика как формальная система
  7. Теория типов и комбинаторная логика
  8. Синтаксис языков программирования
  9. Семантика языков программирования
  10. Рекурсивные функции и множества
  11. Абстрактные машины и категориальная комбинаторная логика
  12. Категориальная абстрактная машина
  13. Оптимизация вычислений и абстрактные машины
  14. Экзамен
 
 
Телефон организатора Телефон организатора
Нажмите на ссылку, чтобы увидеть телефон
Показать телефон
 
 
Рекомендовать курс друзьям
 
 
Похожие мероприятия
Программирование ПЛК ОВЕН в среде CODESYS 2.3, базовый курс (уровень 1) Очная/дневная Санкт-Петербург 23 000 руб.

Web-дизайн, web-программирование Очная/дневная, Вечерняя Краснодар 22 500 руб.

Создание сайта с нуля Очная/дневная, Вечерняя Краснодар 16 800 руб.
Вернуться
Пользовательское соглашение       Обратная связь       Карта сайта

© 2006—2021 Edumarket

Зарплатомер и консультация по увеличению зарплаты

Вы хотите повысить зарплату, сделать успешной карьеру? Тогда этот карьерный сервис для вас! Узнаете правду о зарплате ваших коллег и получите консультацию по увеличению зарплаты. Мы поощряем карьеристов! После консультации вы получите 4000 руб. (EduMoney) для оплаты курсов или победы в конкурсе Грантов.

 

Город

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

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

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

Ваше имя

Как мы можем обратиться к вам в консультации

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

 

Нажав на кнопку "Рассчитать зарплату" вы принимаете Соглашение... Всем, кто стал пользователем сайта сейчас, мы зачислим на счет 4000 руб. (EduMoney) для оплаты курсов, размещенных на сайте.


 

Город

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

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

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

Ваше имя

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

 

Телефон

 

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


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