"Передай Господу дела
твои, и предприятия 
твои совершатся."
(Пр.16:3) 
 
Что читать, Литература и Ресурсы по курсу Модели Вычислений (часто обновляется)

Курс Модели Вычислений, Что читать по Моделям Вычислений /Литература, Программа курса, Студенты

Необходимое чтение

Основное обзорное чтение/Литература

Ресурсы

Смежные науки

Что необходимо читать в первую очередь

Некоторые термины, которые необходимо усвоить

PDF учебники
Комбинаторная логика в программировании -- презентация (необходимое чтение)

Комбинаторная логика в программировании -- книга (необходимое чтение) [загрузить]

Ламбда-исчисление, комбинаторная логика и системы типов -- глоссарий (необходимое чтение)

Конструкции языков программирования. Приемы описания -- материалы из книги

Видеокурс на DVD Комбинаторная логика (автор -- проф. B. Вольфенгаген), см. URL http://www.jurinfor.ru/educ/dvdcl.php
Термин “вычисление” предполагает, что речь пойдет об использовании чисел, об оперировании числами, получении числовых результатов. В случае же аппликативных систем применим термин “компьютинг”, поскольку в них среди исходных понятий нет чисел. Для них самое общее толкование компьютинга, по-видимому, все еще работает, хотя в этом и нет абсолютной уверенности.
Выражаясь более точно, с появлением аппликативных систем вопрос о границах представления о компьютинге требует нового изучения. Как оказывается, причин тому имеется несколько. Рассматриваемые объекты не похожи на те сущности, которыми оперируют в объектно-ориентированном подходе. В процессе конверсии участвует пара объектов, первый из которых играет роль редекса, а второй – контракта. Процесс конверсии является двунаправленным, представляя собой редукцию в одном направлении и экспансию в другом.

Замечание: дальнейшие ссылки приведены на тот период, когда я читал подобные курсы ранее (в 2000-6 гг.). 
По мере необходимости они будут обновляться.

Билл Гейтс Дорога в будущее/пер. с англ. -- М.: Издательский отдел "Русская редакция"
ТОО
"Channel Trading Ltd.", 1996. -- 312 с.

Билл Гейтс Бизнес со скоростью мысли/пер. с англ. -- М.: Издательство Эксмо-Пресс, 2000. -- 477 с.

Вверх

Обзорное чтение по курсу Модели Вычислений (существенный материал для базового образования)

Компьютерные науки, см. URL http://www.jurinfor.ru/elibcs/index.php

Аппликативный компьютинг: в поисках природы вычислений, см. URL  http://www.jurinfor.ru/elibcs/Appl-Comp.pdf

Индуктивное металогическое программирование, см. URL http://www2.dis.uu.se/~hamfelt/pub/ILP.ps

Вверх

Видеокурс на DVD Комбинаторная логика, см. URL http://www.jurinfor.ru/educ/dvdcl.php

figure99

Видеокурс аппликативного компьютинга – для начинающих и продвинутых студентов. Создан одними из лучших мировых специалистов Халом Абельсоном (Hal Abelson) и Джеральдом Сассманом (Gerald Jay Sussman), профессорами крупнейшего в мире Массачусетсткого Технологического Института (Massachusetts Institute of Technology). См. (еще раз) URL http://swiss.csail.mit.edu/classes/symbolic/spring07/ -- это будет способствовать нашему пониманию основных парадигм современных высоких технологий. 

Воспользуйтесь URL http://www.swiss.ai.mit.edu/classes/6.001/abelson-sussman-lectures/ для получения доступа к видеокурсу.  

Попробуйте самостоятельно проработать этот видеокурс. Если вы относите себя к продвинутым и думаете об аспирантуре и работе в области инноваций и высоких технологий, то курс -- обязательный. Если же относите себя к начинающим, то курс -- ознакомительный. 

Надеюсь также, что изучение этого видеокурса доставит вам удовольствие, поможет нам с вами лучше понять возможности аппликативных систем.

 Вверх

ResearchIndex (можно использовать его, Google и т.п. для поиска дополнительного материала)

Computing Research Repository (CoRR): new, recent, abs, find

Вверх

Web-ресурсы

Абстрактные машины для функциональных языков

Реализация ламбда-исчисления (По данному URL находится очень детальная программная реализация бестипового ламбда-исчисления с обсуждением основных проблем, в том числе представлении чисел и типизации.)

Вверх

Смежные науки

Tim Berners-Lee, (в особенности, Logic and the semantic web)

Semantic Network Theory

Вверх

Last update: 05/09/07