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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Mundici, Daniele (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Milano : Springer Milan : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:La Matematica per il 3+2,
Temas:
Mathematical logic.
Machine theory.
Semiotics.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares