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
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.