Дана Скотт — Википедия
Дана Скотт Биография Даны Скотт Дана Скотт — американский математик, известный своими работами в области денотационной семантики и теории информационных […]
1932 births, 1932 года рождения, 1994 Fellows of the Association for Computing Machinery, 1994 г. Члены Ассоциации вычислительной техники, 20th-century American engineers, 20th-century American mathematicians, 20th-century American scientists, 21st-century American engineers, 21st-century American mathematicians, 21st-century American scientists, American computer scientists, American logicians, American topologists, Berkeley College of Letters and Science faculty, California, Carnegie Mellon University faculty, Engineers from California, Fellows of Merton College, Fellows of the American Mathematical Society, Formal methods people, Lattice theorists, Living people, Mathematical logicians, Members of the United States National Academy of Sciences, Modal logicians, Model theorists, Oxford, People from Berkeley, Princeton University alumni, Programming language researchers, Rolf Schock Prize laureates, Scientists from California, Semanticists, Set theorists, Turing Award laureates, UC Berkeley College of Letters and Science alumni, University of California, University of Chicago faculty, американские инженеры 20-го века, американские инженеры 21-го века, американские логики, американские математики 20-го века, американские математики 21-го века, Американские топологи, Американские учёные 20-го века, американские учёные 21-го века, Американские ученые-компьютерщики, выпускники Колледжа литературы и науки Калифорнийского университета в Беркли, выпускники Принстонского университета, живые люди, занимающиеся формальными методами, инженеры из Калифорнии, Исследователи языка программирования, Калифорнийский университет, Калифорния, Колледж Беркли Факультет литературы и науки, Лауреаты премии Рольфа Шока, Лауреаты премии Тьюринга, Люди, люди из Беркли, Математические логики, Модальные логики, Оксфорд, преподаватели Университета Карнеги-Меллона, Преподаватели Чикагского университета, Семантики, Теоретики множеств, Теоретики моделей, Теоретики решеток, ученые из Калифорнии, члены Американского математического общества, члены Мертон-колледжа, члены Национальной академии наук США