Dana Scott
Narzędzia
Ogólne
Drukuj lub eksportuj
W innych projektach
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.
XX wiek |
|
---|---|
XXI wiek |
|