Thông tin tài liệu
Thông tin siêu dữ liệu biểu ghi
| Trường DC | Giá trị | Ngôn ngữ |
|---|---|---|
| dc.contributor.author | Hou, Zhe | - |
| dc.date.accessioned | 2024-03-30T07:16:46Z | - |
| dc.date.available | 2024-03-30T07:16:46Z | - |
| dc.date.issued | 2021 | - |
| dc.identifier.uri | http://thuvienso.thanglong.edu.vn//handle/TLU/9724 | - |
| dc.description.abstract | This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. | vi |
| dc.format.extent | 320ps | vi |
| dc.language.iso | en | vi |
| dc.publisher | Springer | vi |
| dc.subject | Logic | vi |
| dc.subject | Lý thuyết tính toán | vi |
| dc.subject | Suy luận | vi |
| dc.title | Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification | vi |
| dc.type | Sách/Book | vi |
| Bộ sưu tập | Tin học | |
Danh sách tệp tin đính kèm:
