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

Resolution (logic)

Код 1072113

Нет в продаже

Аннотация к книге "Resolution (logic)"

High Quality Content by WIKIPEDIA articles! In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic. In other words, iteratively applying the resolution rule in a suitable way allows for telling whether a propositional formula is satisfiable and for proving that a first-order formula is unsatisfiable; this method may prove the satisfiability of a...

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

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

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

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