Fortell venner om denne varen:
Logic in Computer Science Hantao Zhang 2024 edition
Pris
NOK 649
Bestillingsvarer
Forventes levert 5. - 13. okt
Få varsel om nye utgivelser fra Hantao Zhang
Legg til iMusic ønskeliste
eller
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.
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 12. januar 2025 |
| ISBN13 | 9789819798155 |
| Utgivere | Springer Verlag, Singapore |
| Antall sider | 483 |
| Mål | 157 × 235 × 30 mm · 754 g |
![Cover for Hantao Zhang · Automated Mathematical Induction (Pocketbok) [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-pocketbok&class=scaled&v=1608782864)
![Cover for Glycoconjugates of the Pancreas (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/669/9789819947669.jpg?2027-glycoconjugates-of-the-pancreas-innbunden-bok&class=scaled&v=1774521203)
![Cover for Yu Hui · Traditional Chinese Music Research: An Insider's Exploration (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/931/9789819763931.jpg?yu-hui-2027-traditional-chinese-music-research-an-insider-s-exploration-innbunden-bok&class=scaled&v=1774341101)
![Cover for D. S. Ramana · Arithmetical Aspects of the Large Sieve Inequality - Texts and Readings in Mathematics (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/189/9789819247189.jpg?d-s-ramana-2027-arithmetical-aspects-of-the-large-sieve-inequality-texts-and-readings-in-mathematics-innbunden-bok&class=scaled&v=1788248108)
