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.

General

Imprint:	Upfront Publishing
Country of origin:	United Kingdom
Release date:	November 2014
Authors:	Mark Tarver
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
Categories:	Books > Science & Mathematics > Mathematics > Philosophy of mathematics Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Philosophy > Topics in philosophy > Logic
LSN:	1-78456-127-4
Barcode:	9781784561277

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!