Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Predicate Calculus, Completeness Theorems - Rilegato

Cori, René; Lascar, Daniel

Rilegato

ISBN 10: 0198500491 ISBN 13: 9780198500490

Casa editrice: OUP Oxford, 2000

Riassunto

Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides students with a clear and accessible introduction to this important subject. The concept of model underlies the whole book, giving the text a theoretical coherence whilst still covering a wide area of logic.

Su questo libro

L'autore

Rene Cori is at Universite Paris VII. Daniel Lascar is at Universite Paris VII. Donald Pelletier is at York University, Toronto and Universite Paris VII.

Contenuti

• Foreword
• Introduction
• How to use the book
• 1: Propositional Calculus
• 2: Boolean Algebras
• 3: Predicate Calculus
• 4: Completeness Theorems
• Answers to the exercises of chapters 1-4
• Bibliography
• Notations
• Index

Dettagli dell?edizione

• Editore: OUP Oxford
• Data di pubblicazione: 2000
• ISBN 10: 0198500491
• ISBN 13: 9780198500490
• Rilegatura: Copertina rigida
• Lingua: Inglese
• Numero di pagine: 358
• Contatto del produttore: non disponibile