книги Наука, техника, медицина Гуманитарные науки Общественные науки Социология Общая и теоретическая социология Анализ данных и исследования

First-order logic

Код 3092560

  • 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...

Оставить комментарий

Оцените книгу:

ISBN: 978-5-5133-2083-8

Книга находится в категориях

Прикладная философия Техника

Вместе с этой книгой покупают