Automated Theorem Proving

Name: Automated Theorem Proving
Brand: Springer-Verlag New York Inc.
SKU: 9781461265191
Price: 3023 CZK
Availability: InStock

Theory and Practice

Autor: Monty Newborn

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag New York Inc.

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 11-15 dnů

3 023 Kč

This text and software package introduces readers to automated theorem proving, while providing two...

Informace o knize

Autor

Monty Newborn

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2013

Stránek

231

EAN

9781461265191

ISBN

1461265193

Enbook ID

02174450

Vydavatel

Springer-Verlag New York Inc.

Hmotnost

385

Rozměry

155 x 235 x 14

Kompletní popis

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the software, and answers to many of the problems.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Automated Theorem Proving

Theory and Practice

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také