Faites connaître cet article à vos amis:
Logic in Computer Science 2024 edition
Hantao Zhang
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
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.
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 12 janvier 2025 |
| ISBN13 | 9789819798155 |
| Éditeurs | Springer Verlag, Singapore |
| Pages | 483 |
| Dimensions | 730 g |
![Cover for Hantao Zhang · Automated Mathematical Induction (Paperback Book) [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-paperback-book&class=scaled&v=1608782864)