Актёры
- Дэвид Грис — американский учёный в области информатики, профессор Корнеллского университета, известный прежде всего как автор книг «Наука программирования» (1981)...
- "David Gries Receives 2022 Tau Beta Pi Professor of the Year Award and Delivers Final Lecture at Cornell".Bulunamadı: грис
- Русское издание: Грис, Дэвид. Наука программирования : Пер.с англ. / Д. Грис; пер. Н. Н. Непейвода, ред. пер. А. П. Ершов.
- Welcome to the Website of David Gries. ... David Gries Professor Computer Science Department 460 Gates Hall Cornell University Ithaca, NY 14853.Bulunamadı: грис
- Дэвид Грис — один из лучших пропагандистов информатики.
- David Gries. Professor Emeritus (as of 2012), Computer Science, Cornell University. ... RL Constable, G David. SIAM Journal on computing 1 (1), 66-118, 1972.Bulunamadı: грис
- Değerlendirme: 4,7 / 54,7 Рейтинг магазина в ЯндексеГрис Дэвид.
- Грис — единственный обладатель четырёх основных премий в области информатического образования ... Дэвид Грис; Пер. Е. Б. Докшицкая.
- Русское издание: Грис, Дэвид. Наука программирования : Пер.с англ. / Д. Грис; пер. Н. Н. Непейвода, ред. пер. А. П. Ершов.
- Но Дэвид Грис выводит следующие архисложные теоремы: wp("x:=e", R)=domain(e cand R(x,e))(с.113) Что же это за операция cand?
Дэвид Грис
Краткая информация
Американский учёный в области информатики, профессор Корнеллского университета, известный прежде всего как автор книг «Наука программирования» и «Логический подход к дискретной математике» и соавтор работы «Приём автоматического доказательства для параллельного программирования I».
Википедия
Факты
- Родился:26 апреля 1939 года (85 лет), Флашинг, Нью-Йорк, США
- Чем известен:специалист по доказательным параллельным вычислениям, Педагог и методист в сфере верификации программ
- Сайт: