Дејна Скот
| Дејна Скот | |
|---|---|
 Дејна Стјуарт Скот | |
| Лични подаци | |
| Датум рођења | 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 (језик: енглески)
- Скотова Интернет страница (језик: енглески)
| Међународне | |
|---|---|
| Државне | |
| Академске | |
| Људи | |
| Остале | |
