Referat.me

Название: Скотт, Дана Стюарт

Вид работы: реферат

Рубрика: История

Размер файла: 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).