- Дэвид Грис — американский учёный в области информатики, профессор Корнеллского университета, известный прежде всего как автор книг «Наука программирования» (1981)...
- David Gries (born April 26, 1939) is an American computer scientist at Cornell University, mainly known for his books The Science of Programming (1981)...Bulunamadı: грис
- Дэвид Грис (David Gries, род. 26 апреля 1939, Нью-Йорк) — американский учёный в области информатики, профессор Корнеллского университета...
- Дэвид Грис — один из лучших пропагандистов информатики.
- 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ı: грис
- Дэвид Грис (David Gries, род. 26 апреля 1939, Нью-Йорк) — американский учёный в области информатики, профессор Корнеллского университета...
- Русское издание: Грис, Дэвид. Наука программирования : Пер.с англ. / Д. Грис; пер. Н. Н. Непейвода, ред. пер. А. П. Ершов.
- Но Дэвид Грис выводит следующие архисложные теоремы: wp("x:=e", R)=domain(e cand R(x,e))(с.113) Что же это за операция cand?
- The science of programming. by. Gries, David, 1939Bulunamadı: грис
Дэвид Грис
Краткая информация
Американский учёный в области информатики, профессор Корнеллского университета, известный прежде всего как автор книг «Наука программирования» и «Логический подход к дискретной математике» и соавтор работы «Приём автоматического доказательства для параллельного программирования I».
Википедия
Факты
- Родился:26 апреля 1939 года (85 лет), Флашинг, Нью-Йорк, США
- Чем известен:специалист по доказательным параллельным вычислениям, Педагог и методист в сфере верификации программ