Потолки

Подвесные и натяжные потолки

Метки: 1991 год в театре, 1991 год в россии, 1991 год в саратове, 1991 год в санкт-петербурге.

1991 год в науке
19891990 — 1991 — 19921993
См. также: Другие события в 1991 году

В 1991 году были различные научные и технологические события, некоторые из которых представлены ниже.

Содержание

События

Достижения человечества

Открытия


Новые виды животных

Награды

  • Нобелевская премия
  • Премия Бальцана
  • Премия Тьюринга
    • Робин Милнер — «За три различных полноценных достижения: 1) LCF прувер, автоматизирующий доказательства в логике вычислимых функций Скотта, по-видимому первый, инструмент автоматизированного конструирования доказательств, построенный на теоретическом фундаменте и при этом полезный на практике; 2) ML, первый язык программирования использующий полиморфный вывод типов вместе с типизированным механизмом обработкой ошибок; 3) CCS, общая теория конкурентных вычислений. Вдобавок, он сформулировал и развил полную абстракцию, теорию о связи между операционной и денотационной семантиками».

Скончались

Примечания


Tags: 1991 год в театре, 1991 год в россии, 1991 год в саратове, 1991 год в санкт-петербурге.