复旦大学：《离散数学》习题课讲稿（李弋）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
复旦大学：《离散数学》习题课讲义（李弋）12 Structure Interpretation Truth Satisfiable Consequence
文件格式: PDF大小: 173.18KB页数: 80
复旦大学：《离散数学》习题课讲义（李弋）11 Terms Formuals Formation tree
文件格式: PDF大小: 72.64KB页数: 30