Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
A Computational Logic - Robert S. Boyer

A Computational Logic

By: Robert S. Boyer, J Strother Moore

eText | 25 June 2014 | Edition Number 1

At a Glance

eText

$89.10

or 4 interest-free payments of $22.27 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and generalization.

The publication first elaborates on a sketch of the theory and two simple examples, a precise definition of the theory, and correctness of a tautology-checker. Topics include mechanical proofs, informal development, formal specification of the problem, well-founded relations, natural numbers, and literal atoms. The book then examines the use of type information to simplify formulas, use of axioms and lemmas as rewrite rules, and the use of definitions. Topics include nonrecursive functions, computing values, free variables in hypothesis, infinite backwards chaining, infinite looping, computing type sets, and type prescriptions.

The manuscript takes a look at rewriting terms and simplifying clauses, eliminating destructors and irrelevance, using equalities, and generalization. Concerns include reasons for eliminating isolated hypotheses, precise statement of the generalization heuristic, restricting generalizations, precise use of equalities, and multiple destructors and infinite looping.

The publication is a vital source of data for researchers interested in computational logic.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionMathematicsApplied MathematicsProbability & StatisticsMathematical FoundationMathematical Logic

More in Applied Mathematics

Markov Chains : Theory and Applications - C.R. Rao

eBOOK

Markov Chains

Theory and Applications

eBook

RRP $359.04

$323.99

10%
OFF
Pi the Laws of Duality - G. Neal

eBOOK

Pi the Laws of Duality

eBook

$4.99

Grape Explications - Neal D. Hulkower

eBOOK

Grape Explications

eBook

RRP $18.69

$17.99

Discrete Mathematics - Julian Ting

eBOOK

Discrete Mathematics

eBook

$27.03

Mathematics for Engineers - Ritu Shrivastava

eBOOK

Mathematics for Engineers

eBook

$259.99

This product is categorised by