Дејна Скот
Изглед
Дејна Скот | |
---|---|
![]() Дејна Стјуарт Скот | |
Лични подаци | |
Датум рођења | 11. октобар 1932. |
Место рођења | Беркли, САД |
Образовање | Универзитет Принстон, Универзитет Калифорније у Берклију |
Научни рад | |
Поље | рачунарство математика филозофија |
Институција | Универзитет Беркли Универзитет у Оксфорду Универзитет Карнеги Мелоун |
Награде | Тјурингова награда |
Званични веб-сајт | |
www |
Дејна Стујарт Скот (енгл. 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.
Референце
[уреди | уреди извор]- ^ „Dana Scott | Biography, A.M. Turing Award, & Facts | Britannica”. www.britannica.com (на језику: енглески). Приступљено 2023-01-27.
- ^ „Dana S Scott - A.M. Turing Award Laureate”. amturing.acm.org. Приступљено 2023-01-27.
Спољашње везе
[уреди | уреди извор]- Дејна Скот на веб-сајту MGP (језик: енглески)
- Скотова Интернет страница (језик: енглески)