Povedzte o tejto položke priateľom:
Logic in Computer Science Hantao Zhang 2024 Edition
Logic in Computer Science
Hantao Zhang
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.
| Médium | Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 12. januára 2025 |
| ISBN13 | 9789819798155 |
| Vydavatelia | Springer Verlag, Singapore |
| Strany | 483 |
| Rozmery | 157 × 235 × 30 mm · 754 g |
Vianočné darčeky je možné vrátiť do 31. januára