Articles liés à Logic, Proof and Computation second edition

Logic, Proof and Computation second edition - Couverture souple

Tarver, Mark

 
9781784561277: Logic, Proof and Computation second edition
Couverture souple
ISBN 10 : 1784561274 ISBN 13 : 9781784561277
Editeur : FastPrint Publishing, 2014

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
FastPrint Publishing
Date d'édition
2014
Langue
anglais
ISBN 10 
1784561274
ISBN 13 
9781784561277
Reliure
Broché
Nombre de pages
236
Coordonnées du fabricant
non disponible
Personne responsable
non disponible