DUYỆT THEO

HỒ SƠ TÁC GIẢ

TOPIC

    Số lượng truy cập

    Tìm kiếm theo: Tác giả Hou, Zhe

    Duyệt theo: 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
    Hoặc nhập chữ cái đầu tiên:  
    Hiển thị kết quả từ 1 đến 1 của 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

      • Tác giả : 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.