ёр»нфо–® >>> ¬идеокурсы >>>

¬идеокурс " омбинаторна€ логика"

[ќбложка]

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

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

јќ "÷ентр ёр»нфо–"
—бербанк –оссии ѕјќ г. ћосква
»ЌЌ 7710030147
 ѕѕ 771001001
р/с 40702810738040102680
к/с 30101810400000000225
Ѕ»  044525225


—м. также

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