ЮрИнфоР
Логотип ЮрИнфоР
предлагает

Rambler's Top100
Rambler's Top100

ЮрИнфоР® >>> Курсы на DVD >>>

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

[Обложка]

Видеокурс из 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, ICQ 254-885-080 или эл. почта jurinfor.2012@gmail.com или info@jurinfor.ru) и мы расскажем Вам о курсе подробнее.

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

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


См. также

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

Система Orphus
Новинка
Аппликативные вычислительны- е системы: Труды 2-й международной- конференции по аппликативны- м вычислительным системам (АВС'2010), Москва, 29-31 октября 2010 г. / Под ред. Л.Ю.Исмаиловой
Новинка
д.т.н., проф. Вольфенгаген В.Э., Рословцев В.В. Система изучения категориаль- ной абстрактной машины. Лицензия для личного (домашнего) использования
Новинка
Вольфенгаген В.Э. Аппликативные вычислитель- ные технологии. Готовые решения для инженера, преподавателя, аспиранта, студента. / Под ред. Л.Ю.Исмаиловой
Новинка
Вольфенгаген В.Э. Парадигма функционально- го программирова- ния. Под ред. к.т.н. Л.Ю.Исмаиловой
Хит продаж
Вольфенгаген В.Э. Парадигма функционально- го программирова- ния. Под ред. к.т.н. Л.Ю.Исмаиловой


Курсы : : Семинары по праву : : Книги : : Программы : : Юридическое сопровождение : : ИТ-услуги : : Конференции :

Выделите орфографическую ошибку мышью и нажмите Ctrl+Enter

Copyright (C) Институт "ЮрИнфоР-МГУ", 1994-2017