Copertina

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

Descrizione completa

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Hantao (Autore), Zhang, Jian (Autore)
Ente Autore:	SpringerLink (Online service)
Natura:	Elettronico eBook
Lingua:	inglese
Pubblicazione:	Singapore : Springer Nature Singapore : Imprint: Springer, 2025.
Edizione:	1st ed. 2025.
Soggetti:	Computer science. Mathematical logic. Computer science > Mathematics. Discrete mathematics. Computer Science Logic and Foundations of Programming. General Logic. Discrete Mathematics in Computer Science.
Accesso online:	https://doi.org/10.1007/978-981-97-9816-2
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Maths For Computing A Beginner's Guide /
di: Charatan, Quentin, et al.
Pubblicazione: (2025)

The New Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of Its Creators /
di: Soifer, Alexander
Pubblicazione: (2024)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Pubblicazione: (2024)

Multi-valued Logic for Decision-Making Under Uncertainty
di: Kagan, Evgeny, et al.
Pubblicazione: (2025)

Combinatorial Set Theory With a Gentle Introduction to Forcing /
di: Halbeisen, Lorenz J.
Pubblicazione: (2025)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Pubblicazione: (2023)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Pubblicazione: (2024)

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
Pubblicazione: (2024)

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Pubblicazione: (2023)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Pubblicazione: (2023)

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
Pubblicazione: (2025)

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Pubblicazione: (2023)

Discrete Mathematics
di: Soss, S.
Pubblicazione: (2002)

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /
Pubblicazione: (2024)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
di: Farmer, William M.
Pubblicazione: (2025)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
di: Farmer, William M.
Pubblicazione: (2023)

Mathematical Foundations of Data Science
di: Hrycej, Tomas, et al.
Pubblicazione: (2023)

Mathematical Foundations of Software Engineering A Practical Guide to Essentials /
di: O'Regan, Gerard
Pubblicazione: (2023)

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3–6, 2024, Proceedings /
Pubblicazione: (2024)

Implementation and Application of Automata 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings /
Pubblicazione: (2023)

An Invitation to Mathematical Logic
di: Marker, David
Pubblicazione: (2024)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Pubblicazione: (2024)

Mathematics in Programming
di: Liu, Xinyu
Pubblicazione: (2024)

Theory of Computation Automata, Formal Languages, Computation and Complexity /
di: Chowdhary, K.R
Pubblicazione: (2025)

New Directions in Relevant Logic
Pubblicazione: (2025)

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Pubblicazione: (2024)

R-Calculus, VI: Finite Injury Priority Method
di: Li, Wei, et al.
Pubblicazione: (2025)

Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
Pubblicazione: (2025)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Pubblicazione: (2025)

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /
Pubblicazione: (2024)

R-Calculus, IV: Propositional Logic
di: Li, Wei, et al.
Pubblicazione: (2023)

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
Pubblicazione: (2024)

The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
di: Viale, Matteo
Pubblicazione: (2024)

Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
Pubblicazione: (2024)

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13–15, 2024, Proceedings /
Pubblicazione: (2024)

Graph Theory
di: Diestel, Reinhard
Pubblicazione: (2025)

Discrete Structures
di: Klappenecker, Andreas, et al.
Pubblicazione: (2025)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Pubblicazione: (2023)

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
di: Rodríguez-Consuegra, Francisco
Pubblicazione: (2025)

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
Pubblicazione: (2023)