Logic, Proof and Computation second edition

Mark Tarver (Autor)

Buch | Softcover

236 Seiten

2014
FastPrint Publishing (Verlag)
9781784561277 (ISBN)

Infos

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.

Produkt-Details

• Erscheint lt. Verlag: 25.11.2014
• Zusatzinfo: Not illustrated
• Verlagsort: Peterborough
• Sprache: englisch
• Maße: 152 x 229 mm
• Themenwelt: Geisteswissenschaften ► Philosophie ► Logik
• Themenwelt: Mathematik / Informatik ► Mathematik
• ISBN-13: 9781784561277 / 9781784561277
• Zustand: Neuware