поддержка курса Парадигмы программирования
информация [-] информация [+] Автор: Л.В. Городняя

---

?	Уровень: для начинающих || Статус: бесплатный || Опубликован: 21.08.2007 Рейтинг: 4.28 || Популярность: 2 || Студентов: 890/33

---

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

---

 

экзамен

 

 

экстернат

 

 

диплом

 

 

Лекции:

 

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

 

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

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

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

1. Айлиф Дж
   Принципы построения базовой машины
   М.: Мир, 1973 - 119 с
2. Баррон Д
   Рекурсивные методы в программировании
   М.: Мир, 1974, - 80 с
3. Баранов С.Н., Колодин М.Ю
   Феномен Форта
   Новосибирск. Системная информатика. Вып.4. Методы теоретического и системного программирования. 1995. С. 193-271
4. Браун П
   Макропроцессоры и мобильность программного обеспечения
   М. "Мир", 253 с
5. Брой М
   Информатика. Основополагающее введение
   М.: "Диалог-МИФИ", 1996. - 299 с
6. Брукс Ф.П. мл
   Как проектируются и создаются программные комплексы
   М. "Наука", 1979. - 151 с
7. Брукс Ф.П. мл
   Мифический человеко-месяц
   М.: Символ-Плюс, 2000. - 304 с
8. Городняя Л.В
   Основы функционального программирования
   
9. Дейкстра Э
   Дисциплина программирования
   М. "Мир", 1978, 275 с
10. Евстигнеев В.А
    Применение теории графов в программировании
    М.: Наука, 1985
11. Йодан. Э
    Структурное проектирование и конструирование программ
    М. "Мир" , 1979. - 409 с
12. Йодан Э
    Трудно выполнимая миссия или экстремальное программирование
    
13. Колин А
    Введение в операционные системы
    М.: МИР, 1975. - 116 с
14. Леман М.М
    Программы, жизненные циклы и законы эволюции программного обеспечения
    М. "Мир", ТИИЭР, том 68-9, 1980. - С. 26-45
15. Ломазова И.А
    Вложенные сети Петри
    М. "Научный мир", 207 с
16. Магариу Н.А
    Язык программирования АПЛ
    М. "Радио и связь", 96 с
17. Пратт Т., Зелковиц М
    Языки программирования. Разработка и реализация
    М. "Питер", 2002, 688 с
18. Прехельт Л
    Эмпирическое сравнение семи языков программирования
    М.: Открытые системы, 12(56), 2000. - С. 45-52
19. Серебрянников В.А
    Лекции по конструированию компиляторов
    М.: ВЦ РАН, 1994. - 175 с
20. Сингер М
    Мини-ЭВМ PDP-11: Программирование на языке ассемблера и организация машины
    М.: "Мир", 1984. 272 с
21. Танебаум Э., Ван Стеен М
    Распределенные системы. Принципы и парадигмы
    М.: "Питер", 876 с
22. Уоткинс Д., Хаммонд М., Эйбрамз Б
    Программирование на платформе .Net
    М. "Вильямс", 2003. - С. 367
23. Хендерсон П
    Функциональное программирование
    М.: Мир, 1983
24. Хигман Б
    Сравнительное изучение языков программирования
    М.: Мир, 1974. - 204 с
25. Хоар Ч
    Взаимодействующие последовательные процессы
    М.: "Мир", 1989. 264 с
26. Агафонов В.Н
    Математические основы обработки информации
    Новосибирск, 1982. - 92 с
27. Берс А.А., Городняя Л.В., Марчук А.Г
    О школьных олимпиадах по программированию
    Труды Междунар. Конф. "Перспективы систем информатики", секция "Школьная информатика", Новосибирск, 2001. - С. 96-99
28. Болски М.И
    Язык программирования Си
    М.: Радио и связь. 1988. 96 с
29. Богатырев А
    Хрестоматия по программированию на Си в Unix
    1995
30. Богданов В.В., Ермаков Е.А., Маклаков А.В
    Программирование на языке Алмо
    М.: Статистика, 1976. - 118 с
31. Вайнгартен Ф
    Трансляция языков программирования
    М.: Мир, 1977. - 190 с
32. Городняя Л.В
    Об одном подходе к синтезу транслятора на примере языка Литтл.
    в сб. Теория и практика системного программирования. Новосибирск, 1977. - с. 60-71
33. Городняя Л.В
    Подход к декомпозиции систем программирования для пошагового их определения
    В сб. Трансляция и оптимизация программ. - Новосибирск, 1984. - С. 23-34
34. Грисвуд Р., Поудж Дж., Полонски И
    Язык программирования Снобол-4
    М.: Мир, 1980. - 268 с
35. Дал У., Мюрхауг Б., Нюгорд К
    Симула -67 универсальный язык программирования
    М.: Мир, 1969. - 99 с
36. Дао Л
    Программирование микропроцессора 8088
    М.: Мир, 1988. - 357 с
37. Дьяконов В.П
    Язык программирования Лого
    М.: Радио и связь, 1991. - 145 с
38. Ершов А.П
    Научные основы доказательного программирования. Избранные труды
    Новосибирск, Наука, 1994
39. Ершов А.П
    Смешанные вычисления: потенциальные приложения и проблемы исследования
    Тезисы докладов и сообщений. Всесоюзная конференция "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование", ч.2, Вильнюс, 1980, с. 26-55
40. Ершов А.П., Кожухин Г.И., Поттосин И.В
    Руководство к пользованию системой Альфа
    Новосибирск, Наука, 1968. - 179 с
41. Замулин А.В
    Объектно-ориентированное программирование
    
42. Захаров Л.А., Покровский С.Б., Степанов Г.Г., Тен С.В
    Многоязыковая транслирующая система
    Новосибирск, 1987. - 151 с
43. Звенигородский Г.А
    Язык начального обучения Робик в учебной системе программирования
    Новосибирск, 1982, Сб. "Программное обеспечение задач информатики", с. 72-85
44. Ингерман П
    Синтаксически ориентированный транслятор
    М.: Мир, 1969. - 174 с
45. Касьянов В.Н
    Лекции по теории формальных языков, автоматов и сложности вычислений
    Новосибирск, 1995. - 112 с
46. Кен Ауэр, Рой Миллер
    Экстремальное программирование. Постановка процесса с первых шагов и до победного конца
    
47. Керниган Б.В., Ричи Д.М
    Язык C
    2003
48. Кнут Д
    Literate programming - Сайт с материалами по грамотному программированию.
    
49. Левин Д.Я
    Язык сверхвысокого уровня СЕТЛ
    Новосибирск. "Наука", 1983. 160 с
50. Лейнингем И
    Освой самостоятельно Python
    М. "Вильямс", 444 с
51. Лельчук Т.И., Марчук А.Г
    Язык программирования Поляр: описание, использование, реализация
    Новосибирск, 1986. - 94 с
52. Малпас Дж
    Реляционный язык Пролог и его применение
    М.: "Наука", 1990, 463с
53. Оллонгрен А
    Определение языков программирования интерпретирующими автоматами
    М.: Мир, 1977, 288 с
54. Пальмер С.З., Фелсинг Дж.М
    Практическое руководство по функционально-ориентированной разработке ПО
    М.: "Вильямс", 2002. - 304 с
55. Парамзин А.В
    Введение в программирование на языке ассемблера
    Новосибирск, 1992. - 180 с
56. Пентковский В.М
    Автокод Эльбрус
    М.: Наука, 1982. - 350 с
57. Пильщиков В.Н
    Язык Плэнер
    М.: Наука, 1983. - 208 с
58. Поттосин И.В
    Система СОКРАТ: Окружение программирования для встроенных систем
    Новосибирск, 1992.-20с. (Препр./РАН. Сиб. отд-ние. ИСИ; N11)
59. Руководство по языку Оккам
    Новосибирск, 1987. - 75 с
60. Сабельфельд В.К
    Теория программирования Новосибирск, 1995. - 105 с
    Новосибирск, 1995. - 105 с
61. Скопин И.Н
    Модели жизненного цикла программного обеспечения
    Новосибирская школа программирования. Перекличка времен. Новосибирск, 2004. - С. 120-173
62. Стариков Ю.А
    Мобильность программ и особенности реализации языка Си
    М.: МИП "Память" 1992. 86 с
63. Страусс Э
    Микропроцессор 80286
    Рязань, 1992. 224 с
64. Филд А., Харрисон П
    Функциональное программирование
    М. Мир, 1993. - 638с
65. Фокс Дж
    Програмное обеспечение и его разработка
    М.: "Мир", 368 с
66. Фостер Дж
    Автоматический синтаксический анализ
    М.: Мир, 1075. - 71 с
67. Фуксман А.П
    Технические аспекты создания программных систем
    М.: Статистика, 1979, - 180 с
68. Хантер Р
    Проектирование и конструирование компиляторов
    М.: Финансы и статистика, 19984. - 232 с
69. Хопгуд Ф
    Методы компиляции
    М.: Мир, 1982. - 160 с
70. Хьюз Дж., Мичтом Дж
    Структурный подход к программированию
    М.: Мир, 1985
71. Хьювенен Э., Сеппанен Й
    Мир Лиспа
    М.: Наука, 1994, т.1,2
72. Экхауз Р., Морис Л
    Мини-ЭВМ: Организация и программирование
    М.: финансы и статистика, 1983. - 359 с
73. Эфрос Л.Б
    Введение в программирование для ЭВМ БЭСМ-6 Новосибирск, 1971. - 66 с
    Новосибирск, 1971. - 66 с
74. Graham P
    ANSI Common Lisp
    Prentice Hall,1996, 432p
75. Lucas P., Lauer P., Stigleitner H
    Method and Notation for the Formal Definition of Programming Languges
    IBM Laboratory, Venna, TR 25.087, 1968
76. McCarthy J
    LISP 1.5 Programming Mannual
    The MIT Press., Cambridge, 1963, 106p
77. Rogoson D
    Inside COM/DCOM
    Microsoft Press. 1997. - 376 p
78. Weinberg G.M
    The Psychology of Computer Programming
    New York: Van Norstand Reinhold Comp., 1971
79. Материалы по языку Haskell - "О языке"
    
80. Сайт с материалами по особо эффективной реализации Lisp-а - CMUCL
    
81. Официальный сайт языка Erlang
    
82. Официальный сайт языка Dylan - "О языке"
    
83. GNU Operating System
    
84. Wikipedia. The Free encyclopedia
    
85. Евстигнеев В.А., Городняя Л.В., Густокашина Ю.В
    Язык функционального программирования SISAL
    Интеллектуализация и качество программного обеспечения, Новосибирск, 1994, с. 21-42
86. Грогоно П
    Программирование на языке Паскаль М.: Мир, 1982, - 384 с
    М.: Мир, 1982, - 384 с
87. LNCS 2863, "UML" 2003
    The Unified Modeling Language, 2003
88. Быстров А.В., Дудоров Н.Н., Котов В.Е
    О базовом языке
    В сб.: Языки и системы программирования. - Новосибирск, 1979, с. 85-106
89. Официальный сайт языка Рефал
    
90. SMLserver