Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Скачать
Более быстрый доступ, чем браузер!
 

Грис, Дэвид

Индекс Грис, Дэвид

Дэвид Грис (David Gries, род. 26 апреля 1939, Нью-Йорк) — американский учёный в области информатики, профессор Корнеллского университета, известный прежде всего как автор книг «Наука программирования» (1981) и «Логический подход к дискретной математике» (1993, в соавторстве с Фредом Шнайдером) и соавтор работы «Приём автоматического доказательства для параллельного программирования I».

27 отношения: IBM 7090, Куинс, Корнеллский университет, Огайо, Ассоциация вычислительной техники, Атенс (Джорджия), Нью-Гэмпшир, Нью-Йорк, Нашуа (Нью-Гэмпшир), Непейвода, Николай Николаевич, Стэнфордский университет, Университет Майами, Университет Джорджии, Флашинг, Мюнхенский технический университет, Итака (Нью-Йорк), Иллинойсский университет в Урбане-Шампейне, Бауэр, Фридрих Людвиг, Ершов, Андрей Петрович, 1939 год, 1981 год, 1986 год, 1991 год, 1993 год, 1994 год, 1995 год, 26 апреля.

IBM 7090

IBM 7090 console IBM 7090 — транзисторный компьютер второго поколения.

Новый!!: Грис, Дэвид и IBM 7090 · Узнать больше »

Куинс

Куи́нс (Queens //, разг. Квинс) — самое большое по территории (280 км²) и второе по населению боро Нью-Йорка.

Новый!!: Грис, Дэвид и Куинс · Узнать больше »

Корнеллский университет

Корне́ллский университе́т (Cornell University, сокращённо Корне́лл) — один из крупнейших и известнейших университетов США, входит в элитную Лигу плюща.

Новый!!: Грис, Дэвид и Корнеллский университет · Узнать больше »

Огайо

Ога́йо (Ohio) — штат на востоке Среднего Запада США.

Новый!!: Грис, Дэвид и Огайо · Узнать больше »

Ассоциация вычислительной техники

Ассоциация вычислительной техники (Association for Computing Machinery, ACM) — старейшая и наиболее крупная международная организация в компьютерной области.

Новый!!: Грис, Дэвид и Ассоциация вычислительной техники · Узнать больше »

Атенс (Джорджия)

А́тенс или Афи́ны (Athens), официально Атенс-Кларк (Athens-Clarke) — город-округ в штате Джорджия, США.

Новый!!: Грис, Дэвид и Атенс (Джорджия) · Узнать больше »

Нью-Гэмпшир

Нью-Гэ́мпшир, неофициально также Нью-Хэмпшир (New Hampshire) — небольшой штат в регионе Новая Англия на северо-востоке США.

Новый!!: Грис, Дэвид и Нью-Гэмпшир · Узнать больше »

Нью-Йорк

Нью-Йо́рк (New York City, МФА:, или) — крупнейший город США, входящий в одну из крупнейших агломераций мира.

Новый!!: Грис, Дэвид и Нью-Йорк · Узнать больше »

Нашуа (Нью-Гэмпшир)

На́шуа (Nashua) — город в округе Хиллсборо, штат Нью-Гэмпшир, США.

Новый!!: Грис, Дэвид и Нашуа (Нью-Гэмпшир) · Узнать больше »

Непейвода, Николай Николаевич

Никола́й Никола́евич Непейвода́ (род. 17 июня 1949, село Шелаево, Курская область) — советский и российский, учёный в области теоретической информатики и математической логики, доктор физико-математических наук, профессор, главный научный сотрудник Института программных систем РАН.

Новый!!: Грис, Дэвид и Непейвода, Николай Николаевич · Узнать больше »

Стэнфордский университет

Кампус Стэнфордского университета Стэ́нфордский университе́т, также Ста́нфордский университет (Stanford University; полное название Leland Stanford Junior University, Университет им. Леланда Стэнфорда-младшего) — частный университет в США, один из самых авторитетных и рейтинговых в США и в мире.

Новый!!: Грис, Дэвид и Стэнфордский университет · Узнать больше »

Университет Майами

Университет Майами (The University of Miami, неформальные названия — UM, U of M, U Miami, Miami) — частный светский университет в США, созданный в 1925 году, основной кампус которого расположен в городке Корал Гейблз штата Флорида.

Новый!!: Грис, Дэвид и Университет Майами · Узнать больше »

Университет Джорджии

Университе́т Джо́рджии (University of Georgia) — американский публичный университет, расположенный в штате Джорджия, один из вузов Университетской системы штата Джорджия.

Новый!!: Грис, Дэвид и Университет Джорджии · Узнать больше »

Флашинг

Флашинг (Flushing) — один из старейших районов Куинса, расположенный в северо-центральной части города Нью-Йорк.

Новый!!: Грис, Дэвид и Флашинг · Узнать больше »

Мюнхенский технический университет

Мюнхенский технический университет (Technische Universität München, TU München, TUM), основанный в 1868 году, находится в городе Мюнхене и является единственным техническим университетом Баварии и одним из самых больших высших учебных заведений в Германии.

Новый!!: Грис, Дэвид и Мюнхенский технический университет · Узнать больше »

Итака (Нью-Йорк)

Центр города И́така (Ithaca, в честь греческого острова Итака) — город, расположенный на южном побережье озера Каюга (Cayuga lake), первым по длине и вторым по площади озером из числа ледниковых озёр Фингер в центре штата Нью-Йорк.

Новый!!: Грис, Дэвид и Итака (Нью-Йорк) · Узнать больше »

Иллинойсский университет в Урбане-Шампейне

Иллинойсский университет в Урбане-Шампейне (University of Illinois at Urbana-Champaign, UIUC) — самый большой из кампусов Иллинойсского университета.

Новый!!: Грис, Дэвид и Иллинойсский университет в Урбане-Шампейне · Узнать больше »

Бауэр, Фридрих Людвиг

Фридрих Людвиг Бауэр (Friedrich Ludwig Bauer; 10 июня 1924 — 26 марта 2015) — немецкий учёный в области информатики, заслуженный профессор Технического университета Мюнхена, член-корреспондент Австрийской академии наук, член Германской академии наук.

Новый!!: Грис, Дэвид и Бауэр, Фридрих Людвиг · Узнать больше »

Ершов, Андрей Петрович

Андре́й Петро́вич Ершо́в (19 апреля 1931, Москва — 1988, там же) — советский учёный, один из пионеров теоретического и системного программирования, создатель Сибирской школы информатики, академик АН СССР.

Новый!!: Грис, Дэвид и Ершов, Андрей Петрович · Узнать больше »

1939 год

Без описания.

Новый!!: Грис, Дэвид и 1939 год · Узнать больше »

1981 год

ООН объявила 1981 год Международным годом инвалидов.

Новый!!: Грис, Дэвид и 1981 год · Узнать больше »

1986 год

* Объявлен ООН Международным годом мира.

Новый!!: Грис, Дэвид и 1986 год · Узнать больше »

1991 год

Традиционно считается годом фактического завершения Холодной войны, начавшейся в 1946 году.

Новый!!: Грис, Дэвид и 1991 год · Узнать больше »

1993 год

Объявлен ООН Международным годом коренных народов мира.

Новый!!: Грис, Дэвид и 1993 год · Узнать больше »

1994 год

Объявлен ООН Международным годом семьи, спорта и олимпийских идеалов.

Новый!!: Грис, Дэвид и 1994 год · Узнать больше »

1995 год

Объявлен ООН Международным годом терпимости (резолюция ООН 48/126) и памяти народов о жертвах второй мировой войны (резолюция ООН 49/25).

Новый!!: Грис, Дэвид и 1995 год · Узнать больше »

26 апреля

См.

Новый!!: Грис, Дэвид и 26 апреля · Узнать больше »

Перенаправления здесь:

Дэвид Грис.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »