«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Грис Дэвид
Фотографии

Дэвид Грис 53k

(David Gries)

(26.04.1939)

◄ СМЕНИТЬ   РАЗВЕРНУТЬ ▼
▲ СВЕРНУТЬ    СМЕНИТЬ ►
Википедия: Дэвид Грис (David Gries, род. 26 апреля 1939, Нью-Йорк) - американский ученый в области информатики, профессор Корнелльского университета, известный прежде всего как автор книг «Наука программирования» (1981) и «Логический подход к дискретной математике» (1993, в соавторстве с Фредом Шнайдером) и соавтор работы «Прием автоматического доказательства для параллельного программирования I».
Родился в 1939 году во Флашинге - старейшем районе нью-йоркского боро Куинс.
Получил степень бакалавра в Колледже Куинса (Городской университет Нью-Йорка) в 1960 году, последующие два года работал программистом-математиком в Лаборатории вооружений ВМФ США. Там познакомился со своей будущей женой Илейн.
Магистратуру окончил в 1963 году в Иллинойском университете в Урбана-Шампейн, совместно с Манфредом Полом и Рюдигером Виле написав полный компилятор с алгола для компьютера IBM 7090. В 1966 году получил степень доктора естественных наук в Мюнхенском техническом университете, где учился у Фридриха Бауэра и Йозефа Стера.
В период 1966-1969 годов работал ассистентом профессора в Стэнфордском, а после этого - в Корнелльском университете, где провел 30 лет и в 1982-1987 годы возглавлял кафедру информатики. В 1999-2002 годы преподавал в Университете Джорджии в Атенсе, вернувшись в Корнелл в январе 2003 года.
Автор, соавтор и редактор семи учебников и 75 научных статей. По состоянию на 2012 год живет в Итаке (штат Нью-Йорк).
Обложки
дэвид грис на страницах библиотеки упоминается 1 раз:
* Грис Дэвид
Обложка 1
  • Грис Д. Наука программирования. (The Science of Programming, 1981) [Djv- 6.6M] Перевод с английского Н.Н. Непейводы под редакцией А.П. Ершова
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1984)
    Скан, обработка, формат Djv: ???, предоставил: Михаил, 2013
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Вступление (7).
      Предисловие (8).
      Часть 0. ЗАЧЕМ НУЖНО ИСПОЛЬЗОВАТЬ ЛОГИКУ И ДОКАЗЫВАТЬ ПРАВИЛЬНОСТЬ ПРОГРАММ? (12).
      Часть I. ВЫСКАЗЫВАНИЯ И ПРЕДИКАТЫ (17).
      Глава 1. Высказывания (18).
      Глава 2. Рассуждения при помощи эквивалентных преобразований (28).
      Глава 3. Система естественного вывода (37).
      Глава 4. Предикаты (74).
      Глава 5. Обозначения и соглашения, касающиеся массивов (94).
      Глава 6. Использование утверждений для документирования программ (105).
      Часть II. СЕМАНТИКА ПРОСТОГО ЯЗЫКА ПРОГРАММИРОВАНИЯ (112).
      Глава 7. Преобразователь предикатов wp (113).
      Глава 8. Команды skip, abort и композиция команд (119).
      Глава 9. Команда присваивания (122).
      Глава 10. Команда выбора (136).
      Глава 11. Команда повторения (143).
      Глава 12. Вызов процедуры (153).
      Часть III. ПОСТРОЕНИЕ ПРОГРАММ (167).
      Глава 13. Введение (167).
      Глава 14. Программирование как целенаправленная деятельность (176).
      Глава 15. Построение циклов, исходя из инвариантов и ограничений (183).
      Глава 16. Построение инвариантов (196).
      Глава 17. Замечания об ограничивающих функциях (219).
      Глава 18. Использование циклов вместо рекурсии (224).
      Глава 19. Соображения эффективности (241).
      Глава 20. Два больших примера построения программ (256).
      Глава 21. Обращение программ (268).
      Глава 22. Замечания о документации (278).
      Глава 23. Исторические замечания (297).
      Приложение 1. Форма Бэкуса - Наура (307).
      Приложение 2. Множества, последовательности, целые и действительные числа (313).
      Приложение 3. Отношения и функции (318).
      Приложение 4. Асимптотические свойства времени выполнения программ (323).
      Ответы к упражнениям (326).
      Примечания переводчика (410).
      Литература (413).
Аннотация издательства: Монография известного американского ученого написана как введение в науку программирования и отражает богатый опыт автора в научной и преподавательской работе. По своему замыслу она примыкает к известной книге Э. Дейкстры «Дисциплина программирования» (Москва: Издательство «Мир», 1976). Автор знаком советским читателям по книге «Конструирование компиляторов для цифровых вычислительных машин» (Москва: Издательство «Мир», 1975).
Для программистов и разработчиков математического обеспечения ЭВМ.
Обложка 2