Logic A Brief Course Unitext La Matematica Per Il 32
Daniele Mundici
Resumo
Ver tudo
Logic A Brief Course Unitext La Matematica Per Il 32
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.
Nº de Páginas:...
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.
Nº de Páginas:...
Logic A Brief Course Unitext La Matematica Per Il 32
Resumo
Logic A Brief Course Unitext La Matematica Per Il 32
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.
Nº de Páginas:
Encadernação: Capa Mole / Paperback
Tema: Mathematical foundations
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.
Nº de Páginas:
Encadernação: Capa Mole / Paperback
Tema: Mathematical foundations
Publicidade
Avaliações dos nossos clientes
Logic A Brief Course Unitext La Matematica Per Il 32
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer
- Idiomas
-
Inglês
- Número de páginas
-
141
- Peso
-
231,0
- Colecção
-
Mathematical logic
- Data de lançamento
-
02/02/2012
- Série/Edição Limitada
-
2012
- EAN
-
9788847023604
Publicidade
Publicidade