复旦大学：《线性代数 Linear Algebra》课程教学资源（习题解答与试题）第一章部分重要题目的解答
文件格式: PDF大小: 220.93KB页数: 8
复旦大学：《线性代数 Linear Algebra》课程教学资源（习题解答与试题）第一章补充题目
文件格式: PDF大小: 152.58KB页数: 5
复旦大学：《离散数学》习题课讲稿（李弋）16 Application and Limitations
文件格式: PDF大小: 49.93KB页数: 4
复旦大学：《离散数学》习题课讲稿（李弋）15 Soundness, Completeness and Compactness
文件格式: PDF大小: 50.86KB页数: 6
复旦大学：《离散数学》习题课讲稿（李弋）14 Tableau Proof of Predicate Logic
文件格式: PDF大小: 53.66KB页数: 6
复旦大学：《离散数学》习题课讲稿（李弋）13 Semantics of Predicated Language
文件格式: PDF大小: 50.76KB页数: 6
复旦大学：《离散数学》习题课讲稿（李弋）12 Term, Formula and Formation Tree
文件格式: PDF大小: 45.26KB页数: 6
复旦大学：《离散数学》习题课讲稿（李弋）11 Predicates and Quantifiers
文件格式: PDF大小: 40.69KB页数: 5
复旦大学：《离散数学》习题课讲稿（李弋）09 Deduction from Premises,Compactness, and Applications
文件格式: PDF大小: 57.89KB页数: 7
复旦大学：《离散数学》习题课讲稿（李弋）08 Soundness and Completeness of Propositional Logic
文件格式: PDF大小: 50.58KB页数: 4