Мы работаем над восстановлением приложения Unionpedia в Google Play Store
ИсходящиеВходящий
🌟Мы упростили наш дизайн для улучшения навигации!
Instagram Facebook X LinkedIn

Робинсон, Джон Алан

Индекс Робинсон, Джон Алан

Джон Алан Робинсон (John Alan Robinson; 1930, Йоркшир, Великобритания) — британский философ и логик, внёс важный вклад в становление логического программирования.

Содержание

  1. 11 отношения: DuPont, ML, Кембриджский университет, Принстонский университет, Пролог (язык программирования), Орегонский университет, Алгоритмическая разрешимость, Университет Райса, Эрбран, Жак, Великобритания, Йоркшир.

  2. Выпускники Орегонского университета
  3. Преподаватели Сиракузского университета
  4. Учёные в области информатики Великобритании

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) — историческое графство в северной Англии, самое большое территориальное образование такого рода в регионе.

Посмотреть Робинсон, Джон Алан и Йоркшир

См. также

Выпускники Орегонского университета

Преподаватели Сиракузского университета

Учёные в области информатики Великобритании

Также известен как Джон Алан Робинсон.