Глава 17

1. Ершов Ю. Л., Палютин Е. А.Математическая логика. М.: Наука, 1979. С. 12, 13.

2. Клини С. К. Введение в метаматематику. М.: ИЛ, 1957. С. 59–61.

3. Колеватов В. А. Социальная память и познание. М.: Мысль, 1984.С. 133.

4. Зенкин А. А. Когнитивная компьютерная графика. М.: Наука, 1991.

5. Кондаков Н. И. Логический словарь-справочник. М.: Наука, 1976.С. 101, 285.

6. Поспелов Г. С.Искусственный интеллект основа новой информационной технологии. М.: Наука, 1988. С. 41.

7. Котов В. Е., Сабельфельд В. К.Теория схем программ. М.: Наука, 1991. С. 67–82.

8. Касьянов В. Н.Оптимизирующие преобразования программ. М.: Наука, 1988. С. 35, 228.

9. Ершов А. П. Введение в теоретическое программирование. М.: Наука, 1977. С. 226–281.

10. Андерсон Р.Доказательство правильности программ. М., 1988. С. 152.

11. Грис Д.Наука программирования. М.: Мир, 1984. С. 303.

12. Хлебцевич Г. Е., Цыганкова С. В.Визуальный стиль программирования: понятия и возможности // Программирование. 1990. № 4. С. 78.

13. Ершов А. П. Операторные алгоритмы. III (Об операторных схемах Янова) // Проблемы кибернетики. Вып. 20. М.: Наука, 1968. С. 187, 189.

14. Бульонков М. А., Кочетов Д. В.Схема эффективной специализации императивных программ // Программирование. 1995. № 5. С. 33.

15. Hепейвода Н. Н.Выводы в форме графов // Семиотика и информатика. Вып. 26. М.: ВИНИТИ, 1985.

Глава 18

1. Зараковский Г. М., Зинченко В. П.Анализ деятельности оператора // Эргономика. Принципы и рекомендации. Вып. 1. М.: ВНИИТЭ, 1970.

2. Галактионов А. И.Инженерная психология // Тенденции развития психологической науки. М.: Наука, 1989. С. 136–143.

3. Человеческий фактор: В 6 т. М.: Мир, 1991. Т. 3, 4.

4. Хоггер К. Введение в логическое программирование. М.: Мир, 1985. С. 14.

5. Осуга С.Обработка знаний. М.: Мир, 1989. С. 179.

6. Лорьер Ж.-Л. Системы искусственного интеллекта. М.: Мир, 1991. С. 420, 421, 443.

7. Доорс Дж. и др.Пролог — язык программирования будущего. М.: Мир, 1990.

8. Практикум по инженерной психологии и психологии труда / Т. П. Зинченко,Г. В. Суходольский, М. А. Дмитриева и др. Л.: ЛГУ, 1983. С. 146.

9. Разумов А. Н., Косолапов О. А., Пикалов Д. А.Психофизиологическая подготовка членов экипажей многоместных летательных аппаратов к взаимодействию в аварийных ситуациях // Военно-медицинский журнал. 1991. № 12. С. 47, 48.

10. Зайдельман Я. Н., Лебедев Г. В., Самовольнова Л. Е.Три кита школьной информатики // Информатика и образование. 1993. № 3. С. 19; № 4. С. 14.

11. Деятельность: теория, методология, проблемы. М.: Политиздат, 1990.

12. Философские проблемы деятельности (Материалы круглого стола) // Вопр. философии. 1985. № 2, 3, 5.

13. Игнатенко Е. И.Чернобыльская авария и ликвидация ее последствий // Информационный бюллетень, 1989. М.: ЦНИИ атоминформ, 1990.

14. Чернобыльская катастрофа: Причины и последствия (Эксперт. заключение). В 4 ч. Ч. 1: Непосредственные причины аварии на Чернобыльской АЭС. Дозиметрический контроль. Меры защиты и их эффективность. Минск: Тест, 1993. С.3–122.

15. Всемирный день окружающей среды. Информационные материалы 1990. М.: ВИНИТИ, 1991. С. 32, 37.

16. Авиженис А., Лапри Ж.-К.Гарантоспособные вычисления: от идеи до реализации в проектах // ТИИЭР. 1986. Т. 74, № 5. С. 8.

17. Паронджанов В. Д.Кризис цивилизации и нерешенные проблемы информатизации // НТИ. Сер. 2. 1993. № 12.

18. Болошин И. А.Еще раз о кризисе цивилизации и нерешенных проблемах информатизации // НТИ. Сер. 2. 1994. № 9.

19. Перминов О. Н. Программирование на языке Паскаль. М.: Радио и связь, 1988. С. 4, 5.

20. Дейкстра Э.Дисциплина программирования. М.: Мир, 1978. С. 9.

21. Лекции лауреатов премии Тьюринга. М.: Мир, 1993. С. 392, 393.