Название: Скотт, Дана Стюарт
Вид работы: реферат
Рубрика: История
Размер файла: 16.24 Kb
Скачать файл: referat.me-154792.docx
Краткое описание работы: Да́на Стю́арт Скотт (англ. Dana Stewart Scott , р. 1932) — американский учёный в области математики и информатики. Исследования Скотта связанны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий.
Скотт, Дана Стюарт
Да́на Стю́арт Скотт (англ. 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.
Источник: http://ru.wikipedia.org/wiki/Скотт,_Дана_Стюарт
Похожие работы
-
Почтовые марки Ирака периода британской оккупации
Введение 1 Организация почты и выпуски марок 2 Филателистическая ценность Список литературы Почтовые марки Ирака периода британской оккупации Введение
-
Список персоналий на почтовых марках Гавайев
План Введение 1 Перечень 2 Прочее Список литературы style="page-break-before:always">1. Перечень На гавайских марках встречаются изображения следующих людей, связанных с историей Королевства Гавайи и последующих самостоятельных гавайских администраций (в хронологической последовательности и в порядке выхода первой марки с портретом данной персоны)[1]:
-
Австрийская почта в Османской империи
План Введение 1 Ранняя история 2 Эмиссии почтовых марок 3 Цельные вещи 4 Закрытие почты Список литературы Австрийская почта в Османской империи Введение
-
Французская почта в Османской империи
План Введение 1 Ранняя история 2 Выпуски марок 2.1 Марки Франции 2.1.1 Гашение марок Франции 2.2 Марки для Османской империи 3 Список почтовых отделений
-
Перевёртка ЦРУ
План Введение 1 Описание 2 История обнаружения 3 Филателистическая ценность Список литературы Перевёртка ЦРУ Введение «Перевёртка ЦРУ» (англ. CIA invert) — филателистическое название почтовой марки США (Скотт #1610c) с ошибкой печати (перевёртка), номиналом в один доллар США, выпущенная Почтовой службой США в 1979 году.
-
Стюарт, Арабелла
Арабелла Стюарт (англ. Arbella Stuart или Arabella Stewart; 1575 — 27 сентября 1615) — претендентка на английский престол после смерти королевы Елизаветы I.
-
Оустерхаут, Джон
План Введение 1 Биография 2 Проблемы со здоровьем Список литературы Введение Джон О́устерхаут (англ. John Ousterhout) — американский учёный, создатель Tcl и Tk.
-
Кларк, Эдмунд Мельсон
План Введение 1 Биография 2 Книги 3 Награды Список литературы Введение Эдмунд Мельсон Кларк младший (англ. Edmund Melson Clarke, Jr., 27 июля 1945 года, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Карнеги — Меллон.
-
Президентский выпуск
План Введение 1 Краткое описание 2 Конкурс дизайна 3 Выпущенные марки 4 Филателистическая ценность Список литературы Введение «Президентский выпуск» (англ. "Presidential Issue"; расхожее сокращённое название среди коллекционеров — "Prexies", то есть «Президенты») — серия из 32 стандартных почтовых марок (Скотт #803—834), которая вышла в США в 1938 году, с последующей допечаткой части марок в 1939 году (Скотт #839—851).
-
Голубая Александрия
План Введение 1 Описание 2 История 3 Филателистические аспекты Список литературы Голубая Александрия Введение «Голуба́я Александри́я» (англ. Alexandria «Blue Boy» Postmaster's Provisional) — филателистическое название почтмейстерской марки (провизория) города Александрия (Виргиния, США), которая была в ограниченном почтовом обращении в 1847 году (Ивер #2; Скотт #1X2).