Conte aos seus amigos sobre este item:
Logic in Computer Science 2024 edition
Hantao Zhang
O que dizem nossos clientes:
Adicione à sua lista de desejos do 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ídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 12 de janeiro de 2025 |
| ISBN13 | 9789819798155 |
| Editoras | Springer Verlag, Singapore |
| Páginas | 483 |
| Dimensões | 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)