Obálka

Logic in Computer Science

Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and H...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Zhang, Hantao (Autor), Zhang, Jian (Autor)
Korporativní autor: SpringerLink (Online service)
Médium: Elektronický zdroj E-kniha
Jazyk:angličtina
Vydáno: Singapore : Springer Nature Singapore : Imprint: Springer, 2025.
Vydání:1st ed. 2025.
Témata:
Computer science.
Mathematical logic.
Computer science > Mathematics.
Discrete mathematics.
Computer Science Logic and Foundations of Programming.
General Logic.
Discrete Mathematics in Computer Science.
On-line přístup:https://doi.org/10.1007/978-981-97-9816-2
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Obsah:
  • 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.

Podobné jednotky