Freunden von diesem Artikel berichten:
Logic in Computer Science 2024 edition
Hantao Zhang
Preis
€ 63,49
Bestellware
Lieferdatum: ca. 22. - 27. Jan 2025
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Logic in Computer Science 2024 edition
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.
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 14. Januar 2025 |
| ISBN13 | 9789819798155 |
| Verlag | Springer Verlag, Singapore |
| Seitenanzahl | 442 |
| Maße | 663 g (Geschätztes Gewicht) |
Alle anzeigen
Weitere Titel von Hantao Zhang
![Cover for Hantao Zhang · Automated Mathematical Induction (Taschenbuch) [Softcover reprint of the original 1st ed. 1996 edition] (2011)](https://imusic.b-cdn.net/images/item/original/502/9789401072502.jpg?hantao-zhang-2011-automated-mathematical-induction-taschenbuch&class=scaled&v=1608782864)
Alle Titel von Hantao Zhang ansehen ( u. a. Taschenbuch )