Реферат: Скотт, Дана Стюарт
💣 👉🏻👉🏻👉🏻 ВСЯ ИНФОРМАЦИЯ ДОСТУПНА ЗДЕСЬ ЖМИТЕ 👈🏻👈🏻👈🏻
Да́на Стю́арт Скотт
(англ. 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/Скотт,_Дана_Стюарт
Название: Скотт, Дана Стюарт
Раздел: Рефераты по истории
Тип: реферат
Добавлен 15:44:06 18 февраля 2011 Похожие работы
Просмотров: 12
Комментариев: 15
Оценило: 2 человек
Средний балл: 5
Оценка: неизвестно Скачать
Срочная помощь учащимся в написании различных работ. Бесплатные корректировки! Круглосуточная поддержка! Узнай стоимость твоей работы на сайте 64362.ru
Привет студентам) если возникают трудности с любой работой (от реферата и контрольных до диплома), можете обратиться на FAST-REFERAT.RU , я там обычно заказываю, все качественно и в срок) в любом случае попробуйте, за спрос денег не берут)
Да, но только в случае крайней необходимости.
Реферат: Скотт, Дана Стюарт
Сайт Эссе 2022
Сочинение Про Нецензурные Слова
Зебра Для Реферата А4
Положение Вак О Защите Докторских Диссертаций
Дипломная работа по теме Анализ дендрофлоры центрального городского парка города Приморско-Ахтарска
Сочинение Я Человек 5 Класс
Практическая Работа 1с Предприятие
Организация Исследовательской Деятельности Диссертация
Контрольная работа по теме Трехмерный анализ поверхности
Реферат: Практическое гомеопатическое лекарствоведение
Сочинение по теме Хасинто Бенавенте. Игра интересов
Сочинение По Высказыванию Говорят Мудрые
Реферат: Маркетинг в комерційному банку по проблемі Розробка стратегії комунікації (на матеріалах АКБ МТ-Банк)
Конструкции имени существительного с прилагательным в романе Р. Кено «Chiendent»: грамматика писателя и грамматика языка
Реферат: Биогенные элементы
Студент В Современном Мире Эссе
Контрольная работа по теме Учетная деятельность предприятия
Реферат Время Философия
Годовые Контрольные Работы По Математике 4
Дипломная работа по теме Социальная работа с неблагополучной семьей
Реферат: Предмет, метод и социальная ценность правовой (судебной) бухгалтерии
Реферат: Національні економічні інтереси та загрози економічній безпеці України
Реферат: Посттравматическое стрессовое расстройство