Item Infomation
Full metadata record
DC Field | Value | Language |
---|---|---|
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 |
Appears in Collections | Tin học |
Files in This Item: