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

Second-Order Logic

Код 1106189

Нет в продаже

Аннотация к книге "Second-Order Logic"

High Quality Content by WIKIPEDIA articles! In logic and mathematics second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory.Second-order logic is more expressive than first-order logic. For example, if the domain is the set of all real numbers, one can assert in first-order logic the existence of an additive inverse of each real number by writing ?x ?y (x + y = 0)...

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

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

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

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

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

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

Художественная литература