Logic, Proof and Computation second edition - Softcover

Tarver, Mark

 
9781784561277: Logic, Proof and Computation second edition
Softcover
ISBN 10: 1784561274 ISBN 13: 9781784561277
Verlag: FastPrint Publishing, 2014

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
FastPrint Publishing
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
1784561274
ISBN 13 
9781784561277
Einband
Taschenbuch
Anzahl der Seiten
236
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar