Диана стюарт принцесса, фильм диана с кристен стюарт смотреть онлайн, дана стюарт книги

В Википедии есть статьи о других людях с такой фамилией, см. Скотт.

Дана Скотт
Dana Stewart Scott

Дата рождения:	11 октября 1932(1932-10-11) (79 лет)
Страна:	США
Научная сфера:	Топология, Математическая логика, Программирование
Научный руководитель:	Алонзо Чёрч
Известен как:	топология Скотта
Награды и премии	премия Тьюринга (1976), Премия Рольфа Шока (1997)
Сайт:	http://www.cs.cmu.edu/~scott

Да́на Стю́арт Скотт (англ. Dana Stewart Scott , р. 11 октября 1932 года) — американский математик, известный работами в области в области математической логики и информатики.

Исследования Скотта связанны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области оснований логики, философии математики и семантического анализа естественных языков.

Сделал крупный вклад в развитие информатики, разработав математическую теорию вычислений^[1]. Им была разработана модель бестипового λ-исчисления^[2], для чего было введена специальная топология (позднее названная его именем), вначале на полных решётках, и впоследствии обобщенная до полных частично упорядоченных множеств^[3]^[4]. В рамках этой модели развил теорию и модели вычислений, разработал принципы денотационной семантики языков программирования, углубил понятие о вычислимости.

По состоянию на 2012 год работает и проживает в Беркли, Калифорния.

Основные работы

Scott D.S. Advice on modal logic. — Philosophical problems in logic. Some recent developments.-- Lambert K. (ed.), Dordrecht; Holland: Reidel, 1970.

Русский перевод: Скотт Д. С. Советы по модальной логике. — В кн.: Семантика модальных и интенсиональных логик. — Под. ред. д.ф.н. В. А. Смирнова. — М.: ``Прогресс, 1981. — с.~280-317.

Scott D.S., Strachey C. Towards a mathematical semantics for computer languages. — In: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, 21, 1971. — pp.~19—46.

Scott D.S. Logic and programming languages. — Comm. Assoc. for Comp. Mach. 20, 1977. — pp. 634–641.

Русский перевод: Скотт Д. С. Логика и языки программирования. — Лекции лауреатов премии Тьюринга (ред.: Эшенхерст Р.). — М.: Мир, 1993. — с.~65-83.

Scott D.S. Relating theories of the lambda calculus. — Hindley J., Seldin J. (eds.) To H.B.Curry: Essays on combinatory logic, lambda calculus and formalism.-- N.Y. & L.: Academic Press, 1980, pp.~403-450.

Примечания

↑ Scott D.S. Outline of mathematical theory of computation. In: Proc. 4th Annual Princeton Conf. on Information Sciences and Systems, Princeton University, 1970. — pp.~169—176.
↑ Scott D.S. Lattice-theoretic models for various type-free calculi. — In: Proc. 4th Int. Congress for Logic, Methodology, and the Philosophy of Science, Bucharest, 1972.
↑ Scott D.S. The lattice of flow diagrams.-- Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages.-- Berlin, Heidelberg, New York: Springer-Verlag, 1971, pp.~311-372.
↑ Барендрегт, Хенк Ламбда-исчисление. Его синтаксис и семантика = The Lambda Calculus. Its syntax and semantics. — М.: Мир, 1985. — С. 24. — 606 с. — 4800 экз.

Ссылки

О Дана Стюарте Скотте на сайте Encyclopaedia Britannica

См. также

Лауреаты премии Тьюринга

Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл + Саймон (1975) • Рабин + Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон + Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт + Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис + Стернс (1993) • Фейгенбаум + Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль + Нюгорд (2001) • Ривест + Шамир + Адлеман (2002) • Кэй (2003) • Серф + Кан (2004) • Наур (2005) • Аллен (2006) • Кларк + Эмерсон + Сифакис (2007) • Лисков (2008) • Текер (2009) • Вэлиант (2010) • Перл (2011)

Лауреаты премии Рольфа Шока
Логика и философия	Уиллард Куайн (1993) · Майкл Даммет (1995) · Дана Скотт (1997) · Джон Роулз (1999) · Сол Крипке (2001) · Соломон Феферман (2003) · Яакко Хинтикка (2005) · Томас Нэйджел (2008) · Патнэм, Хилари Уайтхолл (2011)
Математика	Элиас Менахем Стайн (1993) · Эндрю Уайлз (1995) · Микио Сато (1997) · Юрий Манин (1999) · Элиот Либ (2001) · Ричард Питер Стенли (2003) · Луис Каффарелли (2005) · Эндре Семереди (2008) · Майкл Ашбахер (2011)
Музыка	Ингвар Лидхольм (1993) · Дьёрдь Лигети (1995) · Йорма Панула (1997) · Кронос-квартет (1999) · Кайя Саариахо (2001) · Анне Софи фон Оттер (2003) · Маурисио Кагель (2005) · Гидон Кремер (2008) · Эндрю Манце (2011)
Визуальные искусства	Рафаэль Монео (1993) · Клас Ольденбург (1995) · Торстен Андерссон (1997) · Херцог и де Мёрон (1999) · Джузеппе Пеноне (2001) · Сьюзен Ротенберг (2003) · SANAA / Кадзуё Сейдзима + Рюё Нисидзава (2005) · Мона Хатум (2008) · Марлен Дюма (2011)

Это заготовка статьи об учёном-математике. Вы можете помочь проекту, исправив и дополнив её.

Диана стюарт принцесса, фильм диана с кристен стюарт смотреть онлайн, дана стюарт книги.

Light-industry-up.ru

Экосистема промышленности