Содержание
11 отношения: DuPont, ML, Кембриджский университет, Принстонский университет, Пролог (язык программирования), Орегонский университет, Алгоритмическая разрешимость, Университет Райса, Эрбран, Жак, Великобритания, Йоркшир.
- Выпускники Орегонского университета
- Преподаватели Сиракузского университета
- Учёные в области информатики Великобритании
DuPont
«Дюпо́н» («DuPont», «E.I. du Pont de Nemours and Company») — американская химическая компания, одна из крупнейших в мире.
Посмотреть Робинсон, Джон Алан и DuPont
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Посмотреть Робинсон, Джон Алан и ML
Кембриджский университет
Ке́мбриджский университет (University of Cambridge, Universitas Cantabrigiensis) — университет Великобритании, один из старейших (второй после Оксфордского) и крупнейших в стране.
Посмотреть Робинсон, Джон Алан и Кембриджский университет
Принстонский университет
При́нстонский университет (Princeton University) — частный исследовательский университет, один из старейших и известнейших университетов в США.
Посмотреть Робинсон, Джон Алан и Принстонский университет
Пролог (язык программирования)
Пролог (англ. Prolog) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Посмотреть Робинсон, Джон Алан и Пролог (язык программирования)
Орегонский университет
Орегонский университет или Университе́т Орего́на (University of Oregon) — публичный исследовательский университет в США, расположенный в Юджине, штат (Орегон).
Посмотреть Робинсон, Джон Алан и Орегонский университет
Алгоритмическая разрешимость
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет.
Посмотреть Робинсон, Джон Алан и Алгоритмическая разрешимость
Университет Райса
Университет Уильяма Марша Райса (William Marsh Rice University) или Университет Райса (Rice University) или просто Райс — частный исследовательский университет США, расположенный в Хьюстоне, штат Техас, вблизи и Техасского медицинского центра.
Посмотреть Робинсон, Джон Алан и Университет Райса
Эрбран, Жак
Жак Эрбран (Jacques Herbrand; 12 февраля 1908, Париж — 27 июля 1931, Ла-Берард, Изер) — французский математик и логик.
Посмотреть Робинсон, Джон Алан и Эрбран, Жак
Великобритания
Великобрита́ния (русское название от Great Britain) или Соединённое Короле́вство (United Kingdom, сокращённо: UK), полная официальная форма — Соединённое Королевство Великобрита́нии и Се́верной Ирла́ндии (The United Kingdom of Great Britain and Northern Ireland), — островное государство на северо-западе от континентальной Европы.
Посмотреть Робинсон, Джон Алан и Великобритания
Йоркшир
Йо́ркши́р (Yorkshire) — историческое графство в северной Англии, самое большое территориальное образование такого рода в регионе.
Посмотреть Робинсон, Джон Алан и Йоркшир
См. также
Выпускники Орегонского университета
- Айвори, Джеймс (режиссёр)
- Баррелл, Тай
- Брайант, Луиза
- Браттейн, Уолтер Хаузер
- Бьоркман, Памела
- Бэнкрофт, Энн (исследователь)
- Вагнер, Линдси
- Ващиковский, Витольд
- Воспер, Роберт
- Ву, Дэниел
- Ганн, Трей
- Гриффин, Дэвид Рэй
- Дарст, Моуз
- Джадж, Кристофер
- Джонсон, Роберт Алекс
- Джордан, Леонард Бек
- Ефименко, Олег Дмитриевич
- Карри, Энн
- Келлог, Уэнди
- Кеннел, Стивен
- Кизи, Кен
- Левитин, Дэниел
- Лэйдлоу, Марк
- Ляпьер, Дарси
- Мастерс, Бен
- Мерфи, Уильям
- Мюллер, Джин
- Найт, Фил
- Нитлинг, Марисса
- Олсон, Кейтлин
- Паланик, Чак
- Робинсон, Джон Алан
- Руттан, Сьюзан
- Рязановский, Николай Валентинович
- Симпсон, Дон
- Скотт, Гордон
- Снельсон, Кеннет
- Тейлор, Джоди
- Тизон, Алекс
- Тэмкин, Дэвид
- Хайн, Хильда
- Холленс, Питер
- Холлидей, Бекки
- Хофф, Бенджамен
- Хофштадтер, Дуглас
- Хэнсон, Вики Линн
- Центровиц, Мэттью
- Чейни-Коукер, Сил
- Эллиотт, Сэм
Преподаватели Сиракузского университета
- Андервуд, Люсьен Маркус
- Аштекар, Абэй
- Баркун, Майкл
- Барут, Асым Орхан
- Берс, Липман
- Бирдж, Раймонд Тайер
- Бредичану, Михай
- Бхарати, Агехананда
- Гауди, Фредерик
- Гросс, Бертрам Майрон
- Карвер, Раймонд
- Коммонс, Джон Роджерс
- Крэйдер, Лоренс
- Лернер, Тина Осиповна
- Марретт, Роберт
- Мештрович, Иван
- Мойнихэн, Дэниэл Патрик
- Мондлане, Эдуарду
- Мостоу, Джордж
- Нэгиси, Эйити
- Робинсон, Джон Алан
- Сайдер, Теодор
- Сондерс, Джордж
- Сударшан, Джордж
- Фиш, Джанет
- Христодулу, Димитриос
- Эгнью, Джон
- Эллис, Чарльз Дэвид
- Эрдёш, Пал
Учёные в области информатики Великобритании
- Вэлиант, Лесли
- Джонс, Карен Спарк
- Кей, Мартин
- Милнер, Робин
- Нидхем, Роджер
- Пейтон-Джонс, Саймон
- Петру, Мария
- Робинсон, Джон Алан
- Тёрнер, Дэвид
- Уилкинсон, Джеймс Харди
- Уилкс, Йорик
- Уилкс, Морис Винсент
- Фербер, Стивен
- Хинтон, Джеффри
- Хоар, Чарльз Энтони Ричард
- Ын, Эндрю
Также известен как Джон Алан Робинсон.