Дана Скотт | это... Что такое Дана Скотт? (original) (raw)

Дана Скотт

Дана Скотт

Дана Скотт
Dana Stewart Scott
Дата рождения:	1932(1932)
Гражданство:	США
Научная сфера:	Топология, Математическая логика, Программирование
Научный руководитель:	Алонзо Чёрч
Известен как:	топология Скотта
Награды и премии	премия Тьюринга
Сайт:	http://www.cs.cmu.edu/~scott

Да́на Стю́арт Скотт (англ. Dana Stewart Scott , р. 1932) — американский учёный в области математики и информатики.

Исследования Скотта связанны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области оснований логики, философии математики и семантического анализа естественных языков. Сделал крупный вклад в развитие компьютерных наук, разработав математическую теорию вычислений[1]. Им была разработана модель бестипового λ-исчисления[2], для чего предварительно была развита теория аппроксимационных решеток[3].

Работы в области компьютерных наук направлены на теорию и модели вычислений, включая разработку денотационной семантики языков программирования и математических основ вычислимости.

В настоящее время работает и проживает в Беркли, Калифорния.

Ссылки

1. ↑ 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.
2. ↑ 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.
3. ↑ 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.

Основные работы

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

Русский перевод: Скотт Д.С. Советы по модальной логике. -- В кн.: Семантика модальных и интенсиональных логик. -- Под. ред. д.ф.н. В.А. Смирнова. -- М.: ``Прогресс_, 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.

Русский перевод: Скотт Д.С. Логика и языки программирования. -- Лекции лауреатов премии Тьюринга (ред.: Эшенхерст Р.). -- М.: Мир, 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.

См. также

• Модели вычислений
• Теория вычислений
• Лямбда-исчисление с типами

Wikimedia Foundation.2010.

Полезное

Смотреть что такое "Дана Скотт" в других словарях:

• Дана Стюарт Скотт — Дана Скотт Dana Stewart Scott Дата рождения: 1932(1932) Гражданство … Википедия
• Скотт, Дана Стюарт — В Википедии есть статьи о других людях с фамилией Скотт. Дана Скотт Dana Stewart Scott Дата рождения … Википедия
• Скотт, Дана — В Википедии есть статьи о других людях с такой фамилией, см. Скотт. Дана Скотт Dana Stewart Scott … Википедия
• Дана — Дана: Имя или фамилия Дана (женское имя) Дана (мужское имя) В мифологии Дана (славянская мифология) Дана (кельтская мифология) Дана (ведийская мифология) Знаменитые носители Фамилия Дана, В … Википедия
• Скотт Вальтер — (1771 1832) английский писатель, родом шотландец. (Начало статьи в сохранившейся верстке 10 тома «Литературнойэнциклопедии» отсутствует. Ред. ФЭБ.). (...); средневековья отнюдь не затушевываются. «Ужасы» феодализма (тюрьма, казни) получают… … Литературная энциклопедия
• Скотт — Скотт, Вальтер (1771 1831) знаменитый английский романист и поэт. Его исторические романы соединяют в себе важнейшие элементы романтизма: интерес к родной старине и народному творчеству, к патриархальному быту и цельному, непосредственному… … 1000 биографий
• Скотт — Содержание 1 Мужчины 1.1 A 1.2 Б 1.3 В … Википедия
• Скотт, Эшли — Эшли Скотт Ashley McCall Scott … Википедия
• Скотт, Стефани — Стефани Скотт Stefanie Scott … Википедия
• Скотт, Вальтер — (1771 1831) знаменитый английский романист и поэт. Его исторические романы соединяют в себе важнейшие элементы романтизма: интерес к родной старине и народному творчеству, к патриархальному быту и цельному, непосредственному чувствованию, любовь… … Исторический справочник русского марксиста