Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Hou, Zhe
- 出版商: Springer
- 出版日期: 2021-12-04
- 售價: $2,810
- 貴賓價: 9.5 折 $2,670
- 語言: 英文
- 頁數: 232
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 3030878813
- ISBN-13: 9783030878818
海外代購書籍(需單獨結帳)
相關主題
商品描述
1. Introduction to Logic.- 2. First-order Logic.- 3. Non-classical Logics.- 4. Automata Theory and Formal Languages.- 5. Turing Machines and Computability.- 6. Logic is Computation.
