Logic, Proof and Computation second edition

Save £1.95
filler

Title: Paperback
Price:
Sale price£13.05 Regular price£15.00

Description

Beginning with a review of formal languages and their syntax and semantics, Logic, Proof and Computation conducts a computer assisted course in formal reasoning and the relevance of logic to mathematical proof, information processing and philosophy. Topics covered include formal grammars, semantics of formal languages, sequent systems, truth-tables, propositional and first order logic, identity, proof heuristics, regimentation, set theory, databases, automated deduction, proof by induction, Turing machines, undecidability and a computer illustration of the reasoning underpinning G?del's incompleteness proof. LPC is designed as a multidisciplinary reader for students in computing, philosophy and mathematics.

Details

Publisher -

Author(s) - Mark Tarver

Paperback

Published Date -

ISBN - 9781784561277

Dimensions - 22.9 x 15.2 x 1.3 cm

Page Count - 236

Payment & Security

American Express Apple Pay Diners Club Discover Maestro Mastercard Shop Pay Union Pay Visa

Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.

You may also like

Recently viewed