Да́на Стю́арт Скотт (англ. Dana Stewart Scott , р. 1932) — американский учёный в области математики и информатики.
Исследования Скотта связанны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области оснований логики, философии математики и семантического анализа естественных языков. Сделал крупный вклад в развитие компьютерных наук, разработав математическую теорию вычислений[1]. Им была разработана модель бестипового λ-исчисления[2], для чего предварительно была развита теория аппроксимационных решеток[3].
Работы в области компьютерных наук направлены на теорию и модели вычислений, включая разработку денотационной семантики языков программирования и математических основ вычислимости.
В настоящее время работает и проживает в Беркли, Калифорния.
Ссылки
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.
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.
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.
Источник: ru./wiki/Скотт,_Дана_Стюарт
Другие работы по теме:
Шотландская школа здравого смысла
— философская школа, образовавшаяся в Шотландии в конце 18-го начале 19-го веков. Она образовалась как критическая реакция на таких английских философов, как Джон Локк, Джордж Беркли и Дэвид Юм. Самыми заметными её представителями являются Томас Рид и Уильям Гамильтон, который соединил подход Рида с философией Иммануила Канта.Другими крупными представителями этой школы были Джеймс Битти и Дугальд Стюарт.Это школа повлияла на мыслителей не только Европы, но и Америки, среди последних, например, прагматист Ч.
Литературный герой МАРИЯ СТЮАРТ
Мария стюарт нем. Mary Stuart героиня трагедии Ф. Шиллера Мария Стюарт Исторический прототип. Мария Стюарт шотландская королева претендовавшая на английский престол.
группа Cult
Урожденный англичанин Ян Эстбери (р. 14 мая 1962) еще в детстве бы увезен своими родителями в Канаду. По возвращении на родину он осел в Брэдфорде, где познакомился с группой, в которой играли Дэвид Барроуз (гитара), Барри Джепсон (бас) и Хак Кьюереши (ударные). Яну ничего не оставалось, как возглавить эту команду, получившую название "Southern death cult".
Boy hits car
Жители солнечного города Лос-Анджелеса Луис, Крегг и Скотт дружили с глубокого детства, причем первые двое еще чуть ли не с периода памперсов. Вместе они постоянно ввязывались в различные нехорошие истории.
Eurythmics
Дэвид А. Стюарт и Энни Леннокс. Всемирную популярность дуэт завоевал благодаря замечательному слуху Стюарта в способности писать совершенные песни для своей музыкальной партнерши Леннокс.
Godsmack
Эта ню-металлическая команда из Бостона была создана парнем по имени Салли Эрна. Перед этим Эрна разминался за ударной установкой в других местных командах "Strip Mind" и "Meliagh rage", а затем он целый год отдыхал от музыки.
Hatfield and the North
Кентерберийская прог-группа "Hatfield and the north" была образована осенью 1972-го, хотя ее предыстория началась значительно раньше. Гитарист Фил Миллер и барабанщик Пип Пайл играли в ансамбле "Delivery" еще с 1966 года.
Hallows Eve
Типичный представитель питомцев "Metal blade" середины 80-х годов, группа "Hallows eve" исполняла классический агрессивный трэш. Команду организовали то ли в 1983-м, то ли в 1984-м трое музыкантов из Атланты.
Особенность сюжета в романе Вальтера Скотта Айвенго
От музейных экспонатов - рыцарского оружия и предметов быта - веет тайнами, легендарными историями о рыцарской доблести и чести и о вечной любви. Вальтер Скотт был не только писателем, а и выдающимся краеведом, исследователем истории и культуры Шотландии и Англии, которая отразилось в его исторических романах.
Сочинение об Айвенго
Вальтер Скотт - известный шотландский писатель. В его произведениях ярко переплетаются история и выдумка, наука и фантазия. Вальтер стремился правдиво отобразить быт, обычаи, мораль прошлых столетий, срисовать выдающиеся личности и реальные события. Но главным для автора было изображение на историческом фоне судьбы обычного человека, объединяя историческую правду с художественным вымыслом.
Приключения, приключения, приключения..
(по роману Вальтера Скотта «Айвенго») Вальтер Скотт - это известный английский поэт, романист, родившийся в Шотландии. Вальтер Скотт получил образование правоведа, но его увлечением является история родного края, легенды, традиции, старинные культурные памятники. В конце концов он приобретает славу выдающегося краеведа, историка.
Литература Викторианской эпохи
(1837—1901) — литературные произведения, созданные в период царствования Виктории, королевы Великобритании и Ирландии, императрицы Индии. В XIX веке жанр романа стал ведущим в литературе Англии. Работы до-викторианских писателей, таких, как Джейн Остин и Вальтер Скотт были наполнены сатирой социального характера, а также приключенческими сюжетами.
Скотт Вальтер
(1777-1832) Вальтер Скотт родился 15 августа 1777 года в Эдинбурге от Вальтера Скотта, чиновника одного из присутственных мест шотландской столицы, и Анны Скотт, дочери доктора Ротсерфорда, профессора медицины в Эдинбургском университете. Малыш родился слабеньким, но кормилица выходила его и до самой смерти любила вспоминать, как из ее "мальчугана" вырос "великий джентльмен".
Партия Патриотов
Canadian patriot support pamphlet Движение Патриотов — политическое движение, организованное в Нижней Канаде (современный Квебек) в конце XIX века. Движение было реакцией против колониального контроля правительства в Нижней Канаде и националистической реакции против британского присутствия и доминирования над бывшей территорией Франции.
Дуглас, Маргарита
Маргарита Дуглас (англ. Margaret Douglas; 1515—1578) — дочь Маргариты Тюдор, старшей сестры английского короля Генриха VIII, и её второго мужа Арчибальда Дугласа, графа Ангуса.
Клод Валуа
, или Клод Французская (фр. Claude Valois; 12 ноября 1547, Фонтенбло — 21 февраля 1575, Нанси) — вторая дочь Генриха II и Екатерины Медичи. Клод воспитывалась вместе с Елизаветой Французской и Марией Стюарт. В 1559 вышла замуж за Карла III, герцога Лотарингского. Эта скромная принцесса была любимой дочерью Екатерины Медичи.
Список персоналий на почтовых марках Гавайев
План Введение 1 Перечень 2 Прочее Список литературы style="page-break-before:always">1. Перечень На гавайских марках встречаются изображения следующих людей, связанных с историей Королевства Гавайи и последующих самостоятельных гавайских администраций (в хронологической последовательности и в порядке выхода первой марки с портретом данной персоны)[1]:
Ирландское восстание 1798
Ирландское восстание (1798) Противники Объединённые ирландцы Франция Великобритания Королевство Ирландия Гессен-ХомбургКомандующие Вольф Тон
Дорога на Санта-Фе фильм
«Дорога на Санта-Фе» — исторический вестерн 1940 года. Фильм находится в общественном достоянии в США. Сюжет 1854 год. Вест-Пойнт, первый Федеральный кавалерийский кадетский корпус. Джеймс (Джеб) Стюарт — новый кадет, который с успехом начинает проходить обучение. Молодой человек находится на хорошем счету у командиров, но, тем не менее, наживает себе врага в лице кадета Карла Райдера радикального аболициониста, настроенного изменить политическую систему Америки.
Перевёртка ЦРУ
План Введение 1 Описание 2 История обнаружения 3 Филателистическая ценность Список литературы Перевёртка ЦРУ Введение «Перевёртка ЦРУ» (англ. CIA invert) — филателистическое название почтовой марки США (Скотт #1610c) с ошибкой печати (перевёртка), номиналом в один доллар США, выпущенная Почтовой службой США в 1979 году.
Стюарт, Арабелла
Арабелла Стюарт (англ. Arbella Stuart или Arabella Stewart; 1575 — 27 сентября 1615) — претендентка на английский престол после смерти королевы Елизаветы I.
Indy Grand Prix of Sonoma 2010
План Введение 1 Общая информация 2 Результаты 2.1 Квалификация 2.2 Стартовая решётка 2.3 Гонка 3 Общий зачёт после этапа Indy Grand Prix of Sonoma 2010 Введение
Президентский выпуск
План Введение 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).
Елизавета Стюарт
О поэтессе см. Стюарт, Елизавета Короли Англии Династия Стюартов Яков I Дети Генрих, принц Уэльский Карл I Елизавета
Мадеро, Франсиско Игнасио
Стандартная марка (Скотт #387) и марка в честь Франсиско Мадеро. 1914 Франси́ско Игна́сио Маде́ро Гонса́лес (исп. Francisco Ignacio Madero Gonzбlez, по другим данным
Кинг, Коретта Скотт
План Введение 1 Биография 1.1 Дети 2 Деятельность Введение Коретта Скотт Кинг (англ. Coretta Scott King, 27 апреля 1927 г. — 30 января 2006) жена, а затем вдова известного борца за права чернокожих в США Мартина Лютера Кинга. Вместе с мужем получила известность как одна из первых афроамериканских баптистских деятелей.
Генрих Фредерик Стюарт, принц Уэльский
Генрих Фредерик Стюарт (англ. Henry Frederick Stuart; 19 февраля 1594(15940219) — 6 ноября 1612), принц Уэльский (с 1610 года), герцог Ротсей (с 1594 года) — старший сын короля Англии и Шотландии Якова I (VI) и королевы Анны Датской.
Франкен, Эл
Алан Стюарт «Эл» Франкен (англ. Alan Stuart «Al» Franken, 21 мая 1951(19510521)) — американский писатель, комик, радиоведущий и политик. С июля 2009 года является сенатором от штата Миннесота.
Генриетта Стюарт
Генриетта Анна Стюарт (англ. Henrietta Anna Stuart; 16 июня 1644(16440616), Эксетер — 30 июня 1670) — герцогиня Орлеанская, младшая дочь Карла I Стюарта и Генриетты Марии Французской.
Скотт, Уинфилд
Уинфилд Скотт (англ. Winfield Scott, род. 13 июня 1786 г. Лаурел Бранч, Виргиния — ум. 29 мая 1866 г. Уэст-Пойнт, штат Нью-Йорк) — американский генерал, дипломат и политик.
Элджернон Суинберн
Суинберн Эльджернон Чарльз (Algernon Charles Swinburne, 1837—1909) — английский поэт. Род. в семье адмирала. В 1848 был отдан в Итонский колледж. Окончив Оксфордский университет, С. провел несколько лет в Италии.
Вальтер Скотт
Родился в 1771 г. в Эдинбурге, в Шотландии, которая уже перестала быть к этому времени самостоятельным государством, принадлежал к старинному, но обедневшему дворянскому роду.