Добро пожаловать! Вы можете войти или зарегистрироваться
Обратная связь
Visa MasterCard WebMoney Яндекс.Деньги PayPal
+7 (495) 638-5305
+7 (812) 380-5006
Мой регион
First-order logic

Jesse Russell, Ronald Cohn

First-order logic

бумажная книга

(0 голосов )
  • ISBN: 978-5-5133-2083-8

Аннотация к книге "First-order logic"

High Quality Content by WIKIPEDIA articles! First-order logic is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less precise term). First-order logic is distinguished from propositional logic by its use of quantifiers; each interpretation of first-order logic includes a domain of discourse over which the...