Dana Skott

Dana Styuart Skott (; ) — riyazi məntiq və kompüter elmləri sahəsindəki işləri ilə tanınan amerikalı riyaziyyatçı.

Skottun araşdırması model nəzəriyyəsi, avtomatika nəzəriyyəsi, modal və intuisist məntiq, konstruktiv riyaziyyat 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şdirScott 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.. O, tipik bir λ-hesablama modelini hazırladı, bunun üçün əvvəlcə tam lattalarda xüsusi bir topologiyanı (daha sonra onun adı ilə) təqdim etdiScott 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. və sonradan qismən sifariş edilmiş dəstləri tamamlamaq üçün ümumiləşdirdiScott 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.. 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 Berkli, 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 

 Xarici keçidlər 
 Dana Skott haqqında Encyclopaedia Britannica saytında


Kateqoriya:Riyazi məntiqçilər