Movatterモバイル変換


[0]ホーム

URL:


Przejdź do zawartości
Wikipediawolna encyklopedia
Szukaj

Dana Scott

Z Wikipedii, wolnej encyklopedii
Dana Scott

Dana Stewart Scott (ur.11 października1932) – amerykańskiinformatyk,logik,filozof.

W 1976 roku wraz zMichaelem Rabinem otrzymałnagrodę Turinga za pracęFinite Automata and Their Decision Problem, w której doteorii automatów wprowadzonomaszyny niedeterministyczne.

Zobacz też

[edytuj |edytuj kod]
LaureaciNagrody Turinga
XX wiek
XXI wiek
LaureaciNagrody Schocka w dziedzinie logiki i filozofii
XX wiek
XXI wiek
Identyfikatory zewnętrzne:
Źródło: „https://pl.wikipedia.org/w/index.php?title=Dana_Scott&oldid=70814486
Kategorie:

[8]ページ先頭

©2009-2025 Movatter.jp