Dana Styuart Skott ing Dana Stewart Scott 11 oktyabr 1932 Berkli Kaliforniya riyazi məntiq və kompüter elmləri sahəsində

Dana Styuart Skott (ing. Dana Stewart Scott; 11 oktyabr 1932, Berkli, Kaliforniya) — riyazi məntiq və kompüter elmləri sahəsindəki işləri ilə tanınan amerikalı riyaziyyatçı.

Dana Skott
ing. Dana Stewart Scott

Doğum tarixi	11 oktyabr 1932(1932-10-11) (91 yaş)
Doğum yeri	Berkli, Alamida qraflığı, Kaliforniya, ABŞ
Elm sahələri	riyazi məntiq, Məntiqi modelləşdirmə, topologiya, proqramlaşdırma, avtomatlar nəzəriyyəsi, semantika^[d], proqramlaşdırma dili
Elmi dərəcəsi	fəlsəfə doktoru (1958)
İş yerləri	Berkli Kaliforniya Universiteti, Çikaqo Universiteti, Karnegi Mellon Universiteti
Təhsili	Prinston Universiteti, Berkli Kaliforniya Universiteti
Elmi rəhbəri	Alonzo Çörç
Üzvlüyü	ABŞ Milli Elmlər Akademiyası, Amerika İncəsənət və Elmlər Akademiyası, Hesablama Texnikası Assosiasiyası, Amerika Riyaziyyat Cəmiyyəti^[d] (2012–)
cs.cmu.edu/~scott
Vikianbarda əlaqəli mediafayllar

Skottun araşdırması model nəzəriyyəsi, , modal və intuisist məntiq, və məntiqlə kateqoriya nəzəriyyəsi arasındakı birləşmə ilə əlaqədardır. Fəlsəfi maraqlar məntiq əsasları, riyaziyyat fəlsəfəsi və təbii dillərin semantik təhlili sahəsində işləmişdir.

Riyazi hesablama nəzəriyyəsini inkişaf etdirərək kompüter elminin inkişafına böyük töhfə vermişdir. O, tipik bir λ-hesablama modelini hazırladı, bunun üçün əvvəlcə tam lattalarda xüsusi bir topologiyanı (daha sonra onun adı ilə) təqdim etdi və sonradan qismən sifariş edilmiş dəstləri tamamlamaq üçün ümumiləşdirdi. Bu model çərçivəsində hesablama nəzəriyyəsi və modellərini inkişaf etdirdi, proqramlaşdırma dillərinin denotasion semantikası prinsiplərini inkişaf etdirdi və hesablama anlayışını dərinləşdirdi.

2012-ci ilə kimi , Kaliforniya ştatında işləyib və yaşamışdır.

Əhəmiyyətli işləri

Scott D. S. Advice on modal logic. — Philosophical problems in logic. Some recent developments.-- Lambert K. (ed.), Dordrecht; Holland: Reidel, 1970.

Rus dilində tərcüməsi: Скотт Д. С. Советы по модальной логике. — В кн.: Семантика модальных и интенсиональных логик. — Под. ред. д.ф.н. В. А. Смирнова. — М.: ``Прогресс, 1981. — с.~280–317.

Scott D. S., Strachey C. Towards a mathematical semantics for computer languages. — In: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, 21, 1971. — pp.~19–46.
Scott D. S. Logic and programming languages. — Comm. Assoc. for Comp. Mach. 20, 1977. — pp. 634–641.

Rus dilində tərcüməsi: Скотт Д. С. Логика и языки программирования. — Лекции лауреатов премии Тьюринга (ред.: Эшенхерст Р.). — М.: Мир, 1993. — с.~65–83.

Scott D. S. Relating theories of the lambda calculus. — Hindley J., Seldin J. (eds.) To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism.-- N. Y. & L.: Academic Press, 1980, pp.~403–450.

İstinadlar

Scott, Dana S. // Çex Milli Hakimiyyət Məlumat bazası.
http://www.ams.org/fellows_by_year.cgi?year=2013.
http://www.ams.org/news?news_id=1680.
Scott D. S. Outline of mathematical theory of computation. In: Proc. 4th Annual Princeton Conf. on Information Sciences and Systems, Princeton University, 1970. — pp.~169–176.
Scott D. S. Lattice-theoretic models for various type-free calculi. — In: Proc. 4th Int. Congress for Logic, Methodology, and the Philosophy of Science, Bucharest, 1972.
Scott D. S. The lattice of flow diagrams.-- Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages.-- Berlin, Heidelberg, New York: Springer-Verlag, 1971, pp.~311–372.
Барендрегт, Хенк. Ламбда-исчисление. Его синтаксис и семантика (4800 nüs.). М.: Мир (издательство). 1985 [The Lambda Calculus. Its syntax and semantics]. 24.

Xarici keçidlər

Dana Skott haqqında Encyclopaedia Britannica saytında
Byron Spice. "Carnegie Mellon's Dana Scott Awarded Sobolev Institute Gold Medal" (ingilis). Karnegi Mellon Universiteti. 2009-04-13.

[_2a31ae565d0dc9f8-1] Scott, Dana S. // Çex Milli Hakimiyyət Məlumat bazası.

[_da5f51a29c371071-2] ttp://www.ams.org/fellows_by_year.cgi?year=2013.

[_de411c66dc7b5467-3] ttp://www.ams.org/news?news_id=1680.

[4] Scott D. S. Outline of mathematical theory of computation. In: Proc. 4th Annual Princeton Conf. on Information Sciences and Systems, Princeton University, 1970. — pp.~169–176.

[5] Scott D. S. Lattice-theoretic models for various type-free calculi. — In: Proc. 4th Int. Congress for Logic, Methodology, and the Philosophy of Science, Bucharest, 1972.

[6] Scott D. S. The lattice of flow diagrams.-- Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages.-- Berlin, Heidelberg, New York: Springer-Verlag, 1971, pp.~311–372.

[7] Барендрегт, Хенк. Ламбда-исчисление. Его синтаксис и семантика (4800 nüs.). М.: Мир (издательство). 1985 [The Lambda Calculus. Its syntax and semantics]. 24.