Содержание
8 отношения: ML, Правило резолюций, Алгоритм, Робинсон, Джон Алан, Теоремы Эрбрана, Теорема о дедукции, Эрбранова интерпретация, Вессио, Эрнест.
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Посмотреть Эрбран, Жак и ML
Правило резолюций
Пра́вило резолю́ций — это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике первого порядка.
Посмотреть Эрбран, Жак и Правило резолюций
Алгоритм
Алгори́тм — набор инструкций, описывающих порядок действий исполнителя для достижения некоторого результата.
Посмотреть Эрбран, Жак и Алгоритм
Робинсон, Джон Алан
Джон Алан Робинсон (John Alan Robinson; 1930, Йоркшир, Великобритания) — британский философ и логик, внёс важный вклад в становление логического программирования.
Посмотреть Эрбран, Жак и Робинсон, Джон Алан
Теоремы Эрбрана
Существует несколько теорем, связанных с именем французского математика Жака Эрбрана.
Посмотреть Эрбран, Жак и Теоремы Эрбрана
Теорема о дедукции
Теорема о дедукции (лемма о дедукции, теорема дедукции) — один из фундаментальных результатов в теории доказательств, формализует способ рассуждения, при котором для установления импликации A \Rightarrow B используется A в качестве необходимого условия вывода.
Посмотреть Эрбран, Жак и Теорема о дедукции
Эрбранова интерпретация
В математической логике, Эрбранова интерпретация — это интерпретация, в которой константам и функциональным символам присвоен очень простой смысл.
Посмотреть Эрбран, Жак и Эрбранова интерпретация
Вессио, Эрнест
Эрнест Вессио (Ernest Paul Joseph Vessiot, Эрнест Поль Жозеф Вессио) (8 марта 1865 — 17 октября 1952) — французский.
Посмотреть Эрбран, Жак и Вессио, Эрнест
Также известен как Эрбран, Жак Эрбран.