天津大学离散数学导论课程教学大纲

《天津大学离散数学导论课程教学大纲》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、天津大学《离散数学导论》课程教学大纲课程代码：2160239课程名称：离散数学导论学时：48学分：学时分配：授课：48上机：实验：实践：实践（周）：授课学院：计算机学院更新时间：2011-06-13适用专业：计算机科学先修课程：一、课程的性质与目的离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支，在计算机科学与技术领域有着广泛的应用。离散数学导论课程是计算机专业的基础课程，是许多专业课程（如离散数学、程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析等）必不可少的先行课程。二、教学基本要求要求掌握数理逻辑、集合论、图论的基本概念、

2、基本原理和一般应用，培养学生用离散数学的观点去分析解决计算机科学及工程应用中所遇到的问题，培养逻辑推理、抽象思维的能力，培养学生的形式化数学思考观点。三、教学内容（分章节说明，包括实验、实践内容）数理逻辑（共24学时）1命题逻辑[目的要求]1．理解和掌握命题、联结词的定义2．理解和掌握范式的定义、性质3．理解和掌握推理理论[教学内容与课时]（共12学时）1．命题的定义、表示（1学时）2．联结词的定义、翻译（3学时）3．命题公式、蕴含、等价的定义和性质（2学时）4．范式的定义和性质（3学时）5．命题推理理论（3学时）2谓词逻辑[目的要求]1．理解和掌握谓词、量词的定义2．理解和掌握前

3、束范式的定义、性质3．理解和掌握推理理论[教学内容与课时]（共12学时）1．谓词的定义、表示（1学时）2．量词的定义、翻译（3学时）3．谓词公式、蕴含、等价的定义和性质（2学时）4．前束范式的定义和性质（3学时）5．谓词推理理论（3学时）四、学时分配教学内容授课上机实验实践实践(周)命题的定义、表示1　　　　联结词的定义、翻译3　　　　命题公式、蕴含、等价的定义和性质2　　　　范式的定义和性质3　　　　命题推理理论3　　　　谓词的定义、表示　1　　　　量词的定义、翻译　3　　　　谓词公式、蕴含、等价的定义和性质　2　　　　前束范式的定义和性质　3　　　　谓词推理理论　3　　　　总计

4、48五、评价与考核方式闭卷笔试六、教材与主要参考资料1左孝陵等，《离散数学》，上海科学技术出版社TUSyllabusforDiscreteMathematicsCode:2160239Title:IntroductiontoDiscreteMathematicsSemesterHours:48Credits:4SemesterHourStructureLecture：48ComputerLab：Experiment：Practice：Practice(Week)：Offeredby:ComputingSchoolDate:13-June-2011for:Dept.ofCompute

5、rSciencePrerequisite:1.ObjectiveThiscurriculumteachesthebasicdiscretemathematicalprinciples(includingmathematicallogic,settheoryandgraphtheory)underlyingcomputerscienceandtechnology.2.CourseDescriptionMathematicalLogic,SetTheory,GraphTheory.3.TopicsMathematicalLogic(24classhours)[Propositional

6、Logic]DefinitionsandexpressionsofPropositions(1classhours)DefinitionsofConnectives,Translation(3classhours)Propositionalformula,implication,equivalence(2classhours)DefinitionsandpropertiesofNormalform(3classhours)Reasoningtheory(3classhours)[PredicateLogic]DefinitionsofPredicates(1classhours)D

7、efinitionsofQuantifiers,Translation(3classhours)Predicateformula,implication,equivalence(2classhours)DefinitionsandpropertiesofPrenexNormalForm(3classhours)Reasoningtheory(3classhours)4.SemesterHourStructureTopicsLectureComputerLab.Expe