ЮрИнфоР >>> Видеокурсы >>>

Видеокурс "Комбинаторная логика"

[Обложка]

Видеокурс из 13 лекций (по 80 мин).

Автор курса: профессор, д.т.н. В.Э. Вольфенгаген.


Общее описание

Содержание

Как и где купить права на использование курса

См. также


Общее описание

Курс читался в МИФИ и МФТИ, включает 13 двухчасовых лекций и отражает современные представления о фундаментальных основах компьютинга. Основное внимание уделяется развитию у слушателя должной интуиции для понимания гранулированности вычислений, их организации в виде блочной структуры объектов, возможности построения встроенных вычислительных систем. Во многих случаях акцент делается на разработке подходящих по свойствам погруженных вычислительных систем.

Курс оснащен подробными учебниками, с большим числом примеров и задач, для которых дан анализ решений. Организация книг соответствует видеокурсу и позволяет изучать материал в варианте "для первого чтения", не требуя от слушателя предварительной подготовки. Вместе с тем в результате изучения курса слушатель приобретает знания важнейшей проблематики компьютинга, находящейся на "переднем крае" современных компьютерных наук.


Содержание


См. также: Описание лекций, входящих в состав курса


Часть I. Аппликативный компьютинг

Лекция 1. Ламбда-конверсии
Лекция 2. Комбинаторы
Лекция 3. Базисы
Лекция 4. Нумералы
Лекция 5. Встроенные системы

Часть II. Компьютинг в декартово замкнутой категории (д.з.к.)

Лекция 6. Вычисления в категории
Лекция 7. Значение выражений: теория вычислений в категории
Лекция 8. Значение выражений: способы вычисления в категории
Лекция 9. Конструирование в категории абстрактной машины (АМ)
Лекция 10. Цикл работы абстрактной машины
Лекция 11. Оптимизация вычислений в категории
Лекция 12. Расширение и реализация абстрактной машины
Лекция 13. Исполнение кода с рекурсивной модификацией среды на абстрактной машине


Как и где купить права на использование курса

Для того, чтобы заказать, получить лицензию на использование в конкретном ВУЗе в пределах России или организации (в пределах России) в учебных целях видеокурса "Комбинаторная логика", юридическому лицу нужно сделать следующее:

  • связаться с нами и согласовать срок, на который юридическое лицо приобретает лицензию на некоммерческое использование курса; сообщить адрес доставки на территории России и иные сведения, необходимые для оформления лицензии; согласовать способ доставки (самовывоз, курьером по Москве или почтой по России);
  • получить от нас счет на оплату лицензии;
  • оплатить по безналичному расчету выписанный счет.

Стоимость курса для некоммерческого использования в форме воспроизведения без права переработки в одном ВУЗе (организации) без права трансляции в Интернет на 3 года: 77880 (Семьдесят семь тысяч восемьсот восемьдесят) рублей.

Если у Вас остались вопросы - свяжитесь с нами (тел. +7 (495) 778-87-26, 971-73-96 или эл. почта info@jurinfor.ru или jurinfor.2012@gmail.com) и мы расскажем Вам о курсе подробнее.

Наши реквизиты:

АО "Центр ЮрИнфоР"
Сбербанк России ПАО г. Москва
ИНН 7710030147
КПП 771001001
р/с 40702810738040102680
к/с 30101810400000000225
БИК 044525225


См. также

Дополнительные учебно-методические материалы и компьютерные обучающие средства (практикумы, активные книги)