复旦大学:《离散数学 Discrete Mathematics》英文讲稿_overview

Discrete mathematics Software so Fudan unive February 28, 2012
Discrete Mathematics Software School Fudan University February 28, 2012 (Fudan University) Discrete Mathematics February 28, 2012 1 / 7

Overview o Instructors Name: Li Yi oEmail:liy@fudan.edu.cn o Office: Room 315, Software Building Office hour: Tuesday 13: 30-14: 30 o Phone:51355373-8008 O TAs o Ding Shenglong Gu Jiaqi o Zhao Qiong Guo Sh
Overview Instructors Name: Li Yi Email: liy@fudan.edu.cn Office: Room 315, Software Building Office hour: Tuesday 13:30 - 14:30 Phone: 51355373 - 8008 TAs Ding Shenglong Gu Jiaqi Zhao Qiong Guo Shu (Fudan University) Discrete Mathematics February 28, 2012 2 / 7

Retrospection Set theory o Combinatorics ● Graph theory o abstract algebra
Retrospection Set theory Combinatorics Graph theory Abstract algebra (Fudan University) Discrete Mathematics February 28, 2012 3 / 7

T OpICS Introduction to lattice o Proposition logic o Predict logic
Topics Introduction to lattice Proposition logic Predict logic (Fudan University) Discrete Mathematics February 28, 2012 4 / 7

Text book references 9 Text book Logic for application o Reference book o A Mathematical introduction to logic, Enderton o Set theory and logic, Shen Enshao
Text book & references Text book Logic for application Reference book A Mathematical introduction to logic, Enderton Set theory and logic, Shen Enshao (Fudan University) Discrete Mathematics February 28, 2012 5 / 7

Grading Homework and quiz o Open Examination Middle Term g Final term o Ratio ●10%( homework-+quiz) 30%(middle term) °60%( final term)
Grading Homework and quiz. Open Examination Middle Term Final Term Ratio 10%(homework+quiz) 30%(middle term) 60%(final term) (Fudan University) Discrete Mathematics February 28, 2012 6 / 7

Examination pen examination o You can bring only 2 pieces of A4 paper, scribe anything you think necessarry o It should not be a duplication of manual script of any others o No textbook exercises and other references
Examination Open examination. You can bring only 2 pieces of A4 paper, scribe anything you think necessarry. It should not be a duplication of manual script of any others. No textbook, exercises and other references. (Fudan University) Discrete Mathematics February 28, 2012 7 / 7
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_29/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_28/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_27/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_26/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_25/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_24/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_23/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_22/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_21/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_20/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_19/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_18/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_17/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_16/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_15/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_14/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_13/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_12/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_11/29.ppt
- 复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_10/29.ppt
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_01 Review of partial order set Review of abstract algebra Lattice and Sublattice.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_02 Special Lattices Boolean Algebra.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_03.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_04 Propositions Truth table Adequacy.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_05 Formation tree Parsing algorithm.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_06 Truth assignment Truth valuation Tautology Consequence.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_07 Tableau proof system.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_08 Syntax and semantics Soundness theorem Completeness theorem.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_09 Deduction from premises Compactness Applications.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_10 Application of compactness theorem Limits of propositional logic Predicates and quantifiers.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_11 Terms Formuals Formation tree.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_12 Structure Interpretation Truth Satisfiable Consequence.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_13 Atomic tableaux Tableau proof Property of CST.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_14 Soundness Completeness Compactness.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲稿_15 Application of Logic Limitation of First Order Logic.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_01 Lattice(I).pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_02 Lattice(II).pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_03 Introduction to Logic.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_04 Proposition, Connectives and Truth Tables.pdf
- 复旦大学:《离散数学 Discrete Mathematics》英文讲义_05 Formation Tree and Parsing Algorithm.pdf