поддержка курса Основы функционального программирования
информация [-] информация [+] Автор: Л.В. Городняя | ISBN: 978-5-9556-0008-6

---

?	Уровень: для специалистов || Статус: бесплатный || Опубликован: 19.03.2004 Рейтинг: 4.09 || Популярность: 16 || Студентов: 21461/153

---

Студентам: версия для локальной работы | литература | указатель | учебники | софт | форум | мнения | однокурсники | рейтинг

---

 

экзамен

 

 

экстернат

 

 

диплом

 

 

Лекции:

 

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• 13
• 14
• 15

 

Учебники к курсу

1. Зыков С. В.
   Введение в теорию программирования
   Интернет-университет информационных технологий - ИНТУИТ.ру, 2004
2. Непейвода Н.Н.
   Стили и методы программирования
   Интернет-университет информационных технологий - ИНТУИТ.ру, 2005

Список литературы

1. McCarthy J.
   LISP 1.5 Programming Mannual
   
2. Гилдер Дж.
   Программное обеспечение: переворот грядет.
   
3. П.Хендерсон.
   Функциональное программирование. Применение и реализация.
   
4. А.Филд, П.Харрисон
   Функциональное программирование
   
5. Скотт Д.
   Теория решеток, типы данных и семантика
   
6. Хьювенен Э., Сеппанен Й.
   Мир Лиспа., т.1,2,
   
7. Graham P.
   ANSI Common Lisp
   
8. Оллонгрен А.
   Определение языков программирования интерпретирующими автоматами.
   
9. Ершов А.П.
   Смешанные вычисления: потенциальные применения и проблемы исследования. — Тезисы докладов и сообщений. Всесоюзная конференция «Методы математической логики в проблемах искусственного интеллекта и систематическое программирование», ч.2
   
10. Малпас Дж.
    Реляционный язык Пролог и его применение.
    
11. Cann D.C.
    SISAL 1.2 : A Brief Introduction and Tutorial.
    
12. Левин Д. Я.
    Язык сверх высокого уровня Сетл и его реализация (для БЭСМ-6)
    
13. Knoop J.
    Optimal Interprocedural Program Optimization. A New Framework aand Its Application.
    
14. Weinberg G.M.
    The Psychology of Computer Programming
    
15. Поттосин И.В.
    Система СОКРАТ: Окружение программирования для встроенных систем
    
16. Евстигнеев В.А., Касьянов В.Н.
    Графы в программировании: обработка, визуализация и применение
    
17. В.Е.Котов, В.К.Сабельфельд
    Теория схем программ
    
18. Дейкстра Э.
    Дисциплина программирования
    
19. Мальцев А.И.
    Алгоритмы и рекурсивные функции
    
20. Backus J.
    Can programming be liberated from the von Neumann style? A functional stile and its algebra of programs.
    
21. Ritchie D.M., Tompson K.
    The UNIX Time-Sharing System
    
22. Фуксман А.П.
    Технические аспекты создания программных систем
    
23. Лавров С.С.
    Использование вычислительной техники, программирование и искусственный интеллект (перспективы развития)
    
24. Лавров С.С., Силагадзе Г.С.
    Входной язык и интерпретатор системы программирования на базе языка Лисп для машины БЭСМ-6
    
25. Городняя Л.В.
    Реализация Лисп-интерпретатора. ВЦ СО РАН СССР
    
26. Лавров С.С., Гончарова Л.И.
    Автоматическая обработка данных. Хранение информации в памяти ЭВМ
    
27. Вирбицкайте И.Б.
    Семантические модели в теории параллелизма
    
28. Лавров С.С.
    Лекции по теории программирования. Учебное пособие
    
29. Ахо А.В., Хопкрофт Дж.Э., Ульман Дж.Д.
    Структуры данных и алгоритмы
    
30. Hudak P. Conseption,
    Evolution and Application of Functional Languages
    
31. Личный сайт Дж. Мак-Карти с текстами его публикаций
    
32. сайт ассоциации любителей Лиспа
    
33. Дистанционный учебник М.Н. .Морозова
    
34. Небольшой учебник для начального знакомства с Лиспом
    
35. Интересные материалы по Clisp Паула Грэхема, автора книги по стандарту ANSI Clisp
    
36. сайт по языку CMUCL – особо эффективная реализация Лиспа
    
37. Материалы по грамотному программированию (Д.Кнут)
    
38. подробное руководство по языку Lisp для начинающих
    
39. материалы по функциональному программированию и сфере его применения
    
40. коллекция очень интересных материалов для любознательных и дотошных
    
41. Учебник по функциональному программированию со ссылками на большое число разнообразных языков программирования