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

Кларк, Эдмунд Мельсон

Индекс Кларк, Эдмунд Мельсон

Эдмунд Мельсон Кларк младший (Edmund Melson Clarke, Jr., 27 июля 1945 года, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.

34 отношения: CiteSeerX, MIT Press, Корнеллский университет, Проверка моделей, Премия Тьюринга, Премия Боуэра, Ассоциация вычислительной техники, Ньюэлл, Аллен, Национальная академия наук США, Сифакис, Иосиф, Соединённые Штаты Америки, Университет Карнеги — Меллона, Университет Дьюка, Эмерсон, Эрнест Аллен, Мемориальная премия Гарри Гуда, Институт инженеров электротехники и электроники, Информатика, Виргинский университет, Гарвардский университет, 1945 год, 1967 год, 1968 год, 1976 год, 1982 год, 1989 год, 1995 год, 1998 год, 1999 год, 2004 год, 2007 год, 2008 год, 2009 год, 2014 год, 27 июля.

CiteSeerX

CiteSeerx — электронная библиотека и поисковая машина по научным публикациям и препринтам.

Новый!!: Кларк, Эдмунд Мельсон и CiteSeerX · Узнать больше »

MIT Press

MIT Press — издательство Массачусетского технологического института (MIT), расположенное в Кембридже (США, штат Массачусетс) и специализирующееся на выпуске изданий научного и технического профиля.

Новый!!: Кларк, Эдмунд Мельсон и MIT Press · Узнать больше »

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

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

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

Проверка моделей

Проверка моделей (проверка на модели, model checking) — метод автоматической формальной верификации параллельных систем с конечным числом состояний, позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям.

Новый!!: Кларк, Эдмунд Мельсон и Проверка моделей · Узнать больше »

Премия Тьюринга

Премия Тьюринга (Turing Award) — самая престижная премия в информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно-технический вклад в этой области.

Новый!!: Кларк, Эдмунд Мельсон и Премия Тьюринга · Узнать больше »

Премия Боуэра

Премия Боуэра — приз, вручаемый с 1990 года Институтом Франклина (г. Филадельфии, штат Пенсильвания, США).

Новый!!: Кларк, Эдмунд Мельсон и Премия Боуэра · Узнать больше »

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

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

Новый!!: Кларк, Эдмунд Мельсон и Ассоциация вычислительной техники · Узнать больше »

Ньюэлл, Аллен

Аллен Ньюэлл (Allen Newell, 19 марта 1927 года, Сан-Франциско, США — 19 июля 1992 года, Питтсбург, США) — американский учёный в области когнитивной психологии и искусственного интеллекта.

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

Национальная академия наук США

Национальная академия наук США (The National Academy of Sciences (NAS)) — ведущая научная организация США, образована 3 марта 1863 года актом Конгресса, подписанным президентом Авраамом Линкольном.

Новый!!: Кларк, Эдмунд Мельсон и Национальная академия наук США · Узнать больше »

Сифакис, Иосиф

Иосиф Сифакис (Ιωσήφ Σηφάκης, Joseph Sifakis; род. 1946 год, Ираклион, Греция) — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга.

Новый!!: Кларк, Эдмунд Мельсон и Сифакис, Иосиф · Узнать больше »

Соединённые Штаты Америки

Соединённые Шта́ты Аме́рики (United States of America), часто кратко именуемые США (USA) или Соединёнными Штатами (United States, U.S.), — государство в Северной Америке.

Новый!!: Кларк, Эдмунд Мельсон и Соединённые Штаты Америки · Узнать больше »

Университет Карнеги — Меллона

Университет Карнеги — Меллон (Carnegie Mellon University, CMU) — частный университет и исследовательский центр, расположенный в Питтсбурге, (штат Пенсильвания, США).

Новый!!: Кларк, Эдмунд Мельсон и Университет Карнеги — Меллона · Узнать больше »

Университет Дьюка

Университет Дьюка (Университет Дюка, Duke University, произносится) — частный исследовательский университет, расположенный в городе Дарем, Северная Каролина, США.

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

Эмерсон, Эрнест Аллен

Эрнест Аллен Эмерсон (Ernest Allen Emerson; род. 2 июня 1954, Даллас, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.

Новый!!: Кларк, Эдмунд Мельсон и Эмерсон, Эрнест Аллен · Узнать больше »

Мемориальная премия Гарри Гуда

Мемориальная премия Гарри Гуда (Harry H. Goode Memorial Award) — награда, которая присуждается Института инженеров электротехники и электроники (IEEE).

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

Институт инженеров электротехники и электроники

Институт инженеров электротехники и электроники — IEEE (Institute of Electrical and Electronics Engineers) (I triple E — «Ай трипл и») — международная некоммерческая ассоциация специалистов в области техники, мировой лидер в области разработки стандартов по радиоэлектронике, электротехнике и аппаратному обеспечению вычислительных систем и сетей.

Новый!!: Кларк, Эдмунд Мельсон и Институт инженеров электротехники и электроники · Узнать больше »

Информатика

Информа́тика (Informatique; Computer science) — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.

Новый!!: Кларк, Эдмунд Мельсон и Информатика · Узнать больше »

Виргинский университет

Вирги́нский университе́т, или Университе́т Вирги́нии (University of Virginia) — общественный исследовательский университет в штате Виргиния, США.

Новый!!: Кларк, Эдмунд Мельсон и Виргинский университет · Узнать больше »

Гарвардский университет

Гарвардский университет (Гарвард) (Harvard University) — один из самых известных университетов США и всего мира, старейший вуз США.

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

1945 год

Подробнее см.

Новый!!: Кларк, Эдмунд Мельсон и 1945 год · Узнать больше »

1967 год

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

Новый!!: Кларк, Эдмунд Мельсон и 1967 год · Узнать больше »

1968 год

Объявлялся ООН как Международный год прав человека.

Новый!!: Кларк, Эдмунд Мельсон и 1968 год · Узнать больше »

1976 год

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

Новый!!: Кларк, Эдмунд Мельсон и 1976 год · Узнать больше »

1982 год

Почтовая марка СССР, 1982 год.

Новый!!: Кларк, Эдмунд Мельсон и 1982 год · Узнать больше »

1989 год

Этот год стал историческим рубежом в связи с волной революций, разрушивших блок Варшавского договора, начавшейся в Польше.

Новый!!: Кларк, Эдмунд Мельсон и 1989 год · Узнать больше »

1995 год

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

Новый!!: Кларк, Эдмунд Мельсон и 1995 год · Узнать больше »

1998 год

Объявлен ООН Международным годом океана (резолюция ООН 49/131).

Новый!!: Кларк, Эдмунд Мельсон и 1998 год · Узнать больше »

1999 год

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

Новый!!: Кларк, Эдмунд Мельсон и 1999 год · Узнать больше »

2004 год

* (резолюция № 57/162 ООН).

Новый!!: Кларк, Эдмунд Мельсон и 2004 год · Узнать больше »

2007 год

* Международные годы ООН.

Новый!!: Кларк, Эдмунд Мельсон и 2007 год · Узнать больше »

2008 год

* Международные годы ООН.

Новый!!: Кларк, Эдмунд Мельсон и 2008 год · Узнать больше »

2009 год

Официальная эмблема Года Молодёжи в РФ от 18 сентября 2008 г.

Новый!!: Кларк, Эдмунд Мельсон и 2009 год · Узнать больше »

2014 год

2014 год стал самым жарким за всю историю метеонаблюдений в мире.

Новый!!: Кларк, Эдмунд Мельсон и 2014 год · Узнать больше »

27 июля

См.

Новый!!: Кларк, Эдмунд Мельсон и 27 июля · Узнать больше »

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

Эдмунд Мельсон Кларк, Эдмунд Мельсон Кларк младший, Кларк младший, Эдмунд Мельсон.

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