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