ЮрИнфоР >>> Видеокурсы >>>
Видеокурс "Комбинаторная логика"
![[Обложка]](/cover/VKurs-CL-Lec01-250.jpg)
Видеокурс из 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
