この商品を友人に教える:
Logic in Computer Science Hantao Zhang 2024 edition
価格
¥ 10.781
税抜
遠隔倉庫からの取り寄せ
発送予定日 年10月16日 - 年10月28日
Hantao Zhang の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
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.
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2025年1月12日 |
| ISBN13 | 9789819798155 |
| 出版社 | Springer Verlag, Singapore |
| ページ数 | 483 |
| 寸法 | 157 × 235 × 30 mm · 754 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)
![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 Harmonious and Symbiotic Interaction in Artificial Intelligence and Robotics: Creating Co-Experience Knowledge and Wisdom (Hardcover Book) [2021 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Yu Hui · Traditional Chinese Music Research: An Insider's Exploration (Hardcover Book) [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-hardcover-book&class=scaled&v=1774341101)
![Cover for D. S. Ramana · Arithmetical Aspects of the Large Sieve Inequality - Texts and Readings in Mathematics (Hardcover Book) [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-hardcover-book&class=scaled&v=1788248108)
![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)
