Logic in Computer Science
portes grátis
Logic in Computer Science
Zhang, Jian; Zhang, Hantao
Springer Verlag, Singapore
01/2025
442
Mole
9789819798155
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Chapter 1. Introduction to Logic.- Part I. Propositional Logic.- Chapter 2. Propositional Logic.- Chapter 3. Reasoning in Propositional Logic.- Chapter 4. Propositional Satisfiability.- Part II. First-Order Logic.- Chapter 5. First-Order Logic.- Chapter 6. Unification and Resolution.- Chapter 7. First-Order Logic with Equality.- Part III. Logic in Programming.- Chapter 8. Prolog: Programming in Logic.- Chapter 9. Hoare Logic.- Chapter 10. Temporal Logic.- Part IV. Logic of Computability.- Chapter 11. Decidable and Undecidable Problems.- Chapter 12. Decision Procedures.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
computer science;logic;Satisfiability;Decision Procedures;proof
Chapter 1. Introduction to Logic.- Part I. Propositional Logic.- Chapter 2. Propositional Logic.- Chapter 3. Reasoning in Propositional Logic.- Chapter 4. Propositional Satisfiability.- Part II. First-Order Logic.- Chapter 5. First-Order Logic.- Chapter 6. Unification and Resolution.- Chapter 7. First-Order Logic with Equality.- Part III. Logic in Programming.- Chapter 8. Prolog: Programming in Logic.- Chapter 9. Hoare Logic.- Chapter 10. Temporal Logic.- Part IV. Logic of Computability.- Chapter 11. Decidable and Undecidable Problems.- Chapter 12. Decision Procedures.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
