BROWSE

Author Profile

TOPIC

    NUMBER OF VISITS

    Browsing by Subject Logic

    Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
    or enter first few letters:  
    Showing results 1 to 1 of 1
    • TVS.006038_TT_(Texts in Computer Science) Zhe Hou - Fundamentals of Logic and Computation_ With Practical Automated Reasoning and Verification-Springe.pdf.jpg
    • Sách/Book

    • Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

      • Authors: Hou, Zhe (2021)

    • 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.