Logics for Computer Science
-15%
portes grátis
Logics for Computer Science
Classical and Non-Classical
Wasilewska, Anita
Springer International Publishing AG
11/2018
535
Dura
Inglês
9783319925905
15 a 20 dias
1233
Descrição não disponível.
1: Introduction: Paradoxes and Puzzles.- 2: Introduction to Classical Logic.- 3: Propositional Semantics: Classical and Many Valued.- 4: General Proof Systems: Syntax and Semantics.- 5: Hilbert Proof Systems: Deduction and Completeness Theorems for Classical Propositional Logic.- 6: Automated Proof Systems.- 7: Introduction to Intuitionistic and Modal Logics.- 8: Classical Predicate Semantics and Proof Systems.- 9: Completeness and Deduction Theorems for Classical Predicate Logic.- 10: Predicate Automated Proof Systems.- 11: Formal Theories and Godel Theorems.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Symbolic logic;propositional languages;predicate languages;classical semantics;non-classical semantics;intuitionistic logic;modal logics;Hilbert style formalizations;Gentzen style formalizations;automated theorem proving;Formal methods;completeness theorem;Godel Theorems;many-valued logics;Boolean algebras
1: Introduction: Paradoxes and Puzzles.- 2: Introduction to Classical Logic.- 3: Propositional Semantics: Classical and Many Valued.- 4: General Proof Systems: Syntax and Semantics.- 5: Hilbert Proof Systems: Deduction and Completeness Theorems for Classical Propositional Logic.- 6: Automated Proof Systems.- 7: Introduction to Intuitionistic and Modal Logics.- 8: Classical Predicate Semantics and Proof Systems.- 9: Completeness and Deduction Theorems for Classical Predicate Logic.- 10: Predicate Automated Proof Systems.- 11: Formal Theories and Godel Theorems.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Symbolic logic;propositional languages;predicate languages;classical semantics;non-classical semantics;intuitionistic logic;modal logics;Hilbert style formalizations;Gentzen style formalizations;automated theorem proving;Formal methods;completeness theorem;Godel Theorems;many-valued logics;Boolean algebras
