Logic, Proof and Computation (Paperback, 2nd Revised edition)


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 Godel's incompleteness proof. LPC is designed as a multidisciplinary reader for students in computing, philosophy and mathematics.

R509

Or split into 4x interest-free payments of 25% on orders over R50
Learn more

Discovery Miles5090
Free Delivery
Delivery AdviceShips in 12 - 17 working days



Product 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 Godel's incompleteness proof. LPC is designed as a multidisciplinary reader for students in computing, philosophy and mathematics.

Customer Reviews

No reviews or ratings yet - be the first to create one!

Product Details

General

Imprint

Upfront Publishing

Country of origin

United Kingdom

Release date

November 2014

Availability

Expected to ship within 12 - 17 working days

Authors

Dimensions

229 x 152 x 15mm (L x W x T)

Format

Paperback

Pages

236

Edition

2nd Revised edition

ISBN-13

978-1-78456-127-7

Barcode

9781784561277

Categories

LSN

1-78456-127-4



Trending On Loot