Pastāsti draugiem par šo preci:
Logic in Computer Science Hantao Zhang 2024 edition
Cena
€ 66,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 31. jūl. - . gada 10. aug.
Saņemiet paziņojumus par jauniem Hantao Zhang izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2025. gada 12. janvāris |
| ISBN13 | 9789819798155 |
| Izdevēji | Springer Verlag, Singapore |
| Lapas | 483 |
| Izmēri | 157 × 235 × 30 mm · 754 g |
Vairāk no Hantao Zhang
Rādīt visu![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)
Vairāk no tā paša izdevēja
![Cover for Glycoconjugates of the Pancreas (Hardcover Book) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/669/9789819947669.jpg?2027-glycoconjugates-of-the-pancreas-hardcover-book&class=scaled&v=1774521203)
![Cover for Ram Kumar Mishra · Government Performance Management: Experiences and Lessons for India - SpringerBriefs in Business (Paperback Book) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/647/9789811613647.jpg?ram-kumar-mishra-2026-government-performance-management-experiences-and-lessons-for-india-springerbriefs-in-business-paperback-book&class=scaled&v=1694194972)
![Cover for Fady Alajaji · An Introduction to Single-User Information Theory - Springer Undergraduate Texts in Mathematics and Technology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/485/9789819215485.jpg?fady-alajaji-2026-an-introduction-to-single-user-information-theory-springer-undergraduate-texts-in-mathematics-and-technology-hardcover-book&class=scaled&v=1780322464)
![Cover for Shiyun Dong · Laser Additive Remanufacturing and Life Extension Technology - Additive Manufacturing Technology (Hardcover Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/097/9789819742097.jpg?shiyun-dong-2026-laser-additive-remanufacturing-and-life-extension-technology-additive-manufacturing-technology-hardcover-book&class=scaled&v=1782176738)
Skatīt visus Hantao Zhang ( piem., Paperback Book )