PTTC.PNG
Skip to main content.

логика (предикатов) первого порядка
Дата последнего изменения:2016.02.05
Сообщить об ошибке
  логика (предикатов) первого порядка
 Формальная логическая система, используемая в математике, лингвистике и языках логического программирования. Основными синтаксическими элементами логики первого порядка являются символы, которые обозначают объекты (константные символы, constant symbol), отношения (предикатные символы, predicate symbol) и функции (функциональные символы, functional symbol).
[Э.М. Пройдаков, Л.А. Теплицкий]
EN

FR

Тематики

  • информационные технологии в целом

EN

  • first-order logic
  • first-order predicate calculus
  • lower predicate calculus
  • quantification theory
  • predicate logic

 

Внимание!

Закрыть