книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Predicate Logic

Код 1184850

Нет в продаже

Аннотация к книге "Predicate Logic"

High Quality Content by WIKIPEDIA articles! In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas contain variables which can be quantified. Two common quantifiers are the existential ? and universal ? quantifiers. The variables could be elements in the universe, or perhaps relations or functions over the...

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

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

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1329-7454-9
Объём: 100 страниц
Масса: 172 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

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

Просмотренные товары

Просмотренные категории

Культура, искусство, публицистика