Logic: a Brief Course

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Mundici, Daniele (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Milano : Springer Milan : Imprint: Springer, 2012.
Edition:1st ed. 2012.
Series:La Matematica per il 3+2,
Subjects:
Mathematical logic.
Machine theory.
Semiotics.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Online Access:Texto Completo
Table of Contents:
  • Introduction
  • Fundamental Logical Notions
  • The Resolution Method
  • Robinson Completeness Theorem
  • Fast Classes for DPP
  • Godel Compactness Theorem
  • Propositional Logic: Syntax
  • Propositional Logic: Semantics
  • Normal Forms
  • Recap: Expressivity and Efficiency
  • The Quantifiers 'There Exists' and 'For All'
  • Syntax of Predicate Logic
  • The Meaning of Clauses
  • Godel Completeness Theorem for the Logic of Clauses
  • Equality Axioms
  • The Predicate Logic L.

Similar Items