离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式可满足式闭所式14.2代入规则 1.5 ●000000 0000 00000000000000000000 00 Q00 离散数学课程简介 助教：韩制帅(13166228523) ·研究对象一离散个体及其结构 ●研究思想一以集合和映射为工具、体现公理化和结构的思想 。研究内容一包含不同的数学分支，模块化结构 。数理逻裙：推理，形式化方法 。集合论：离散结构的表示，描述工具 代结构：图散构的代模园 。图论：高改结物的关系损型 组合数学：头收结将的存在性，计数、散基，优化设计 版预幸学：计课程 重0Q0 刘避利（上海文大-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