Logic in Computer Science - Hantao Zhang - Bøger - Springer Verlag, Singapore - 9789819798155 - 12. januar 2025
Ved uoverensstemmelse mellem cover og titel gælder titel

Logic in Computer Science 2024 edition

Hantao Zhang

Pris
Fr. 64,49

Bestilles fra fjernlager

Forventes klar til forsendelse 6. - 12. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Logic in Computer Science 2024 edition

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

400 pages, Approx. 400 p.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 12. januar 2025
ISBN13 9789819798155
Forlag Springer Verlag, Singapore
Antal sider 483
Mål 730 g
Vis alle

Mere med Hantao Zhang

Se alt med Hantao Zhang ( f.eks. Paperback Bog )