复旦大学：《离散数学》习题课讲稿（李弋）07 Tableau Proof System
文件格式: PDF大小: 45.16KB页数: 4
复旦大学：《离散数学》习题课讲稿（李弋）06 Truth Assignments and Valuations
文件格式: PDF大小: 40.7KB页数: 6
复旦大学：《离散数学》习题课讲稿（李弋）05 Formation Tree and Parsing Algorithm
文件格式: PDF大小: 45.42KB页数: 7
复旦大学：《离散数学》习题课讲稿（李弋）04 Proposition, Connectives and Truth Tables
文件格式: PDF大小: 50.64KB页数: 6
复旦大学：《离散数学》习题课讲稿（李弋）03 Introduction to Logic
文件格式: PDF大小: 42.28KB页数: 5
复旦大学：《离散数学》习题课讲义（李弋）15 Application of Logic Limitation of First Order Logic
文件格式: PDF大小: 48.85KB页数: 16
复旦大学：《离散数学》习题课讲义（李弋）14 Soundness Completeness Compactness
文件格式: PDF大小: 44.76KB页数: 17
复旦大学：《离散数学》习题课讲义（李弋）13 Atomic tableaux Tableau proof Property of CST
文件格式: PDF大小: 73.6KB页数: 36