Пређи на садржај

Дејна Скот

С Википедије, слободне енциклопедије
Дејна Скот
Дејна Стјуарт Скот
Лични подаци
Датум рођења(1932-10-11)11. октобар 1932.(92 год.)
Место рођењаБеркли, САД
ОбразовањеУниверзитет Принстон, Универзитет Калифорније у Берклију
Научни рад
Пољерачунарство
математика
филозофија
ИнституцијаУниверзитет Беркли
Универзитет у Оксфорду
Универзитет Карнеги Мелоун
НаградеТјурингова награда
Званични веб-сајт
www.cs.cmu.edu/~scott

Дејна Стујарт Скот (енгл. Dana Stewart Scott; Беркли, 11. октобар 1932) јесте амерички научник. Добитник је Тјурингове награде за свој допринос на пољу теорије аутомата.[1][2]

  • Finite Automata and Their Decision Problem, коаутор, doi:10.1147/rd.32.0114, 1959.
  • A proof of the independence of the continuum hypothesis. Mathematical Systems Theory 1:89–111, 1967.
  • Advice on modal logic. In Philosophical Problems in Logic, ed. K. Lambert, pages 143–173, 1970.
  • An Introduction to Modal Logic, коаутор, Oxford: Blackwell, 1977.
  • Gierz, G.; Hofmann, K. H.; Keimel, K.; Lawson, J. D.; Mislove, M. W.; Scott, D. S. (2003). Continuous Lattices and DomainsНеопходна слободна регистрација. Encyclopedia of Mathematics and its Applications. 93. Cambridge University Press. ISBN 978-0521803380. 

Референце

[уреди | уреди извор]
  1. ^ „Dana Scott | Biography, A.M. Turing Award, & Facts | Britannica”. www.britannica.com (на језику: енглески). Приступљено 2023-01-27. 
  2. ^ „Dana S Scott - A.M. Turing Award Laureate”. amturing.acm.org. Приступљено 2023-01-27. 

Спољашње везе

[уреди | уреди извор]