Скотт, Дана Стюарт - Упоминания в других статьях


всего найдено упоминаний этой статьи: 6
информация о статьеВольфенгаген, Вячеслав Эрнстович
В 1970-80-е годы целью являлось написание, совместно с коллегами, серии книг, отражающих современное состояние теории компьютерных наук и компьютинга. Книги серии «Компьютерные науки и информационные технологии» написаны элементарными средствами и раскрывают изложение важнейших разделов компьютерных наук на основе теории аппликативных вычислительных систем, λ-исчисления и комбинаторной логики. На применяемый подход оказала влияние математическая школа Х. Карри — Д. Скотт, Р. Хиндли, Дж. Селдин, Х. Барендрегт, П.-Л. Курьен.

информация о статьеТарский, Альфред
За свою жизнь Тарский подготовил в общей сложности 24 студента, которые защитили степень доктора философии под его руководством. Среди них такие известные имена как Андрей Мостовский, Юлия Робинсон, Соломон Феферман, Ричард Монтегю, Роберт Воут а также авторы знаменитой Теории Моделей Джером Кейслер и Чен-Чунь Чен. Кроме своих непосредственных студентов Тарский поддерживал контакты со многими другими учёными, и оказывал существенное влияние на их деятельность. Среди таких Альфред Линденбаум, Дана Скотт, Леонард Гиллман.

информация о статьеТипизированное лямбда-исчисление
λ-исчисление с типами является языком декартово-замкнутой категории, что устанавливает прямую связь с такой моделью вычислений, как категориальная абстрактная машина. С одной точки зрения типовые λ-исчисления могут рассматриваться как специализации бестиповых λ-исчислений, а с другой — наоборот, типовые языки могут считаться более фундаментальными, из которых бестиповые получаются как частные случаи. Анализ этого явления дает теория вычислений Д. Скотта.

информация о статьеСемантика вычислений
Денотационная семантика (англ. denotational semantics) выражениям в программе ставит в соответствие настоящие математические объекты. Важнейшие, в том числе пионерские, результаты построения таких семантик получены в работах Д. Скотта (D. Scott), который первым построил модель (....)-исчисления, основанную на представлении о полном частично упорядоченном множестве. Для этого им были использованы функции, непрерывные на таком множестве.

информация о статьеСкотт

информация о статьеЛямбда-исчисление
Эту трудность преодолел Д.С. Скотт, построив понятие области D (полной решётки или, более общо, полного частично упорядоченного множества со специальной топологией) и урезав D → D до непрерывных (в имеющейся топологии) функций. После этого также стало понятно, как можно строить денотационную семантику языков программирования. Это произошло благодаря тому, что с помощью конструкций Скотта можно придать значение также двум важным конструкциям языков программирования — рекурсии и типам данных.


всего найдено цитат на эту статью 6
Проект wiki-linki.ru основан на данных Wikipedia, доступной в соответствии с GNU Free Documentation License.