离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式/可满足式矛所式1.4.2代入规则 1.5 ●000000 0000 00●00000000000000000 00 Q00 离散数学课程简介 助教：韩制帅(13166228523) ·研究对象一离散个体及其结构 。研究思想一以集合和映射为工具、体现公理化和结构的思想 。研究内容一包含不同的数学分支，模块化结构 。数理逻裙：推理，形式化方法 生集合论：高酸结构的表示，面述工灵 代数结构：散构的代型 。图论：高放结构的关系横型 组合数学：要收结将的存在性、计数，依基，优化设计 版预幸学：计课程 刘避利（上海文大-CS实验室） 离散数学 3/50l—ÍÆ{0 1.1 ·K£proposition§ 1.2 ·KÈ(c9˝äL 1.3 ‹™˙™ 1.4 ­Û™/å˜v™/gÒ™ 1.4.2 ì\5K 1.5 ·K/™z äí l—ÍÆëß{0 œµ¸R(13166228523) ÔƒÈñ—l—áN9Ÿ( Ôƒgé—±8‹⁄NèÛ‰!Ny˙nz⁄(gé ÔƒSN—ù¹ÿ”ÍÆ©|ߨz( Ín‹6µÌn!/™zê{ 8‹ÿµl—(L´!£„Û‰ ìÍ(µl—(ìÍ. „ÿµl—('X. |‹ÍƵl—(35!OÍ!qfi!`z!O l—V«(V«⁄Oëß) 4ë| (˛°å-CIS¢ø) l—ÍÆ 3 / 50