Реальная база готовых
студенческих работ

Авторам Вопрос-ответ

Узнайте стоимость индивидуальной работы!

Тип задания

Предмет

Ваше имя

Вы нашли то, что искали?

Да, спасибо!

Нет, пока не нашел

Узнайте стоимость индивидуальной работы

Тип задания

Предмет

Ваше имя

это быстро и бесплатно

Оформите заказ сейчас и получите скидку 100 руб.!

Тип задания

Предмет

Ваше имя

Скотт, Дана Стюарт

Тип Реферат

Предмет История

Просмотров

1100

Размер файла

16 б

Ознакомительный фрагмент работы:

Скотт, Дана Стюарт

Да́на Стю́арт Скотт (англ. 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/Скотт,_Дана_Стюарт

Смотреть

Процес становлення української бібліографії
Реферат, История

Смотреть

Аршакиды Кавказской Албании
Реферат, История

Смотреть

Буржуазные реформы 60-70-х годов
Реферат, История

Смотреть

Сражение при Арси-сюр-Обе
Реферат, История

Смотреть

Нет нужной работы в каталоге?

Сделайте индивидуальный заказ на нашем сервисе. Там эксперты помогают с учебой без посредников Разместите задание – сайт бесплатно отправит его исполнителя, и они предложат цены.

Вы работаете с экспертами напрямую. Поэтому стоимость работ приятно вас удивит

Исполнитель внесет нужные правки в работу по вашему требованию без доплат. Корректировки в максимально короткие сроки

Если работа вас не устроит – мы вернем 100% суммы заказа

Наши менеджеры всегда на связи и оперативно решат любую проблему

К работе допускаются только проверенные специалисты с высшим образованием. Проверяем диплом на оценки «хорошо» и «отлично»

1 000 +

Новых работ ежедневно

Требуются доработки?
Они включены в стоимость работы

Работы выполняют эксперты в своём деле. Они ценят свою репутацию, поэтому результат выполненной работы гарантирован

Математика

История

Экономика

159599
рейтинг

3275
работ сдано

1404
отзывов

Математика

Физика

История

156804
рейтинг

6076
работ сдано

2739
отзывов

Химия

Экономика

Биология

105734
рейтинг

2110
работ сдано

1318
отзывов

Высшая математика

Информатика

Геодезия

62710
рейтинг

1046
работ сдано

598
отзывов

Тип работы

Юр

Очень рада, что нашла такого исполнителя! Все быстро и качественно! Спасибо огромное)) все...

Волгау

Отзывчивый человек, пошла на встречу и в цене и в требованиях. Рекомендую, все быстро и ка...

КемГУ

Спасибо большое за отличную работу. Выполнена раньше срока и без замечаний

Последние размещённые задания

Ежедневно эксперты готовы работать над 1000 заданиями. Контролируйте процесс написания работы в режиме онлайн

1 задание по вариант10

Контрольная, Нормативно-правовые основы проектирования систем электроснабжения

Срок сдачи к 15 мар.

только что

Сделать презентацию на 20 страниц в Power Point

Презентация, Событийный туризм

Срок сдачи к 16 мар.

1 минуту назад

Анализ эффективности бизнес - планирования на примере конкретной отрасли (например, розничная торговля, производство и т.д.)

Курсовая, Бизнес-планирование

Срок сдачи к 20 мар.

1 минуту назад

Контрольная работа сделать задание 3...

Контрольная, Гидрология

Срок сдачи к 16 мар.

2 минуты назад

Развитие зрительной памяти у детей старшего дошкольного возраста средствами дидактических игр

Диплом, Специальная психология

Срок сдачи к 21 мар.

9 минут назад

Изменить текст

Решение задач, Логистика

Срок сдачи к 14 мар.

10 минут назад

География 9 класс, ДЗ

Решение задач, География

Срок сдачи к 15 мар.

10 минут назад

Химия 9 класс, ДЗ

Решение задач, Химия

Срок сдачи к 15 мар.

10 минут назад

Эссе по фильму «Суфражистка» (Великобритания, 2015)

Эссе, Гендерное измерение истории, история

Срок сдачи к 14 мар.

11 минут назад

Выполнить реферат на тему "Управление затратами организации" и ответить на вопросы.

Реферат, Управление затратами сварочного производства

Срок сдачи к 23 мар.

11 минут назад

Настольный теннис

Другое, Физическая культура и спорт

Срок сдачи к 18 мар.

11 минут назад

Написать курсовую 30-40 страниц

Курсовая, Документационное обеспечение работы с персоналом

Срок сдачи к 10 апр.

11 минут назад

Выполнить технологие карты

Другое, Русский язык и литература

Срок сдачи к 15 мар.

11 минут назад

Сделать реферат по биохимии

Реферат, Биохимия

Срок сдачи к 28 мар.

11 минут назад

Сделать отчет по практике

Отчет по практике, Ревьюирование программных модулей, программирование

Срок сдачи к 22 мар.

11 минут назад

Разработка специализированных хлебобулочных изделий

Контрольная, Технология специализированных пищевых продуктов, кулинария

Срок сдачи к 29 мар.

11 минут назад

Изменить текст

Отчет по практике, Логистика

Срок сдачи к 14 мар.

11 минут назад

Организация производства и модернизации технологического процесса приготовления сложных горячих блюд в столовой на 300 посадочных мест

Диплом, МДК, кулинария поварское и кондитерское дело

Срок сдачи к 16 мар.

11 минут назад

Закажи индивидуальную работу за 1 минуту!

Размещенные на сайт контрольные, курсовые и иные категории работ (далее — Работы) и их содержимое предназначены исключительно для ознакомления, без целей коммерческого использования. Все права в отношении Работ и их содержимого принадлежат их законным правообладателям. Любое их использование возможно лишь с согласия законных правообладателей. Администрация сайта не несет ответственности за возможный вред и/или убытки, возникшие в связи с использованием Работ и их содержимого.