Реферат

Реферат Скотт, Дана Стюарт

Работа добавлена на сайт bukvasha.net: 2015-10-28

Поможем написать учебную работу

Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.

Предоплата всего

от 25%

Подписываем

договор

Выберите тип работы:

Скидка 25% при заказе до 3.6.2025



Да́на Стю́арт Скотт (англ. 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. Реферат Анализ концепций смерти в философии С.Кьеркегора и М.Хайдеггера
3. Кодекс и Законы Адвокатская тайна
4. Кодекс и Законы Прокуратура РФ 2
5. Реферат на тему POLITICS AND THE ENGLISH LANGUAGE Essay Research
6. Реферат Стереотипы и предрассудки в коммуникации
7. Контрольная работа Пищевые биологически активные добавки
8. Реферат на тему Народные механизмы языковой традиции
9. Реферат на тему The Development Of Marriage Essay Research Paper
10. Диплом Правовой режим имущества супругов Исторические аспекты