книги Компьютеры и Интернет Программирование Среды

Conditional Quantifier

Код 1106328

Нет в продаже

Аннотация к книге "Conditional Quantifier"

High Quality Content by WIKIPEDIA articles! In mathematical logic, a Lindstrom quantifier is a generalized polyadic quantifier. They are a generalization of first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers.They were introduced by Per Lindstrom in 1966.Before we go on to Lindstrom's generalization, notice that any family of properties on dom(A) can be regarded as a monadic generalized quantifier. For example, the quantifier...

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

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

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

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

Технологии Разработка программ

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