离散数学的主要内容几个部分之间的联系或者离散数学的纲要
一．命题逻辑重点：联结词的基本性质.真值表的应用.等价演算法.主析取范式和主合取范式的求解与应用.推理理论.
难点：命题的符号化.用构造证明法证明推理有效.
二．谓词逻辑
重点：谓词的定义.量词的概念.换名规则和代入规则的应用.前束范式的求解.
推理理论.
难点：命题的符号化.用构造证明法证明推理有效.
三．集合与关系
重点：元素与集合的关系.集合之间的关系.幂集的概念.集合的基本运算.有穷集合的计数.笛卡儿积的运算和性质.关系的三种表示法及其转换.关系的基本运算.关系的五种性质.关系闭包的求解.等价关系与划分的有关定理及其应用.偏序集中八个特定元素的求解.
难点：关系性质的证明.偏序集中八个特定元素的求解.
四．函数
重点：函数的定义和性质.函数的复合.只有双射函数才有反函数.
难点：函数性质的证明.无限集合之间双射的构造.
五．图论
绛旓細绂绘暎鏁板2锛氬熀鏈蹇 鍏紡灞傛锛氬崟涓殑鍛介鍙橀」A鏄0灞傚叕寮忋傚鏋淎鏄痭灞傚叕寮忥紝B鏄痬灞傚叕寮忥紝閭ｄ箞_A鏄痭+1灞傚叕寮忥紱C=A鈭,C=A鈭˙,C=A鈫払,C=A↔B鐨勫眰娆℃槸锛歮ax(n,m)+1銆傛瘮濡傦紙_(p鈫抇q)鈭((r鈭╯)↔_q)鐨勫眰娆¤绠楀氨鏄細01001 211 32 4 4灞傚叕寮 璁緋1,p2,p3?pn鏄...
绛旓細3. 浠ｆ暟缁撴瀯 杩閮ㄥ垎涓昏瀛︿範缇ゃ佺幆銆佸煙绛変唬鏁扮粨鏋勭殑鍩烘湰姒傚康銆佹ц川鍜岃繍绠楄鍒欍傛澶栵紝杩樹細娑夊強鏍间笌甯冨皵浠ｆ暟鐨勫唴瀹锛岃繖浜涢兘鏄绂绘暎鏁板涓噸瑕佺殑鐞嗚宸ュ叿銆傝缁嗚В閲婏細绂绘暎鏁板鏄竴闂ㄧ爺绌剁鏁ｅ璞＄殑鏁板瀛︾銆傜鏁ｅ璞℃寚鐨勬槸閭ｄ簺鍙互鏄庣‘鍖哄垎寮鏉ョ殑銆佷簰涓嶈繛缁殑涓綋鎴栦簨浠躲傚湪璁＄畻鏈虹瀛︿腑锛岃澶氬熀鏈蹇靛鏁版嵁...
绛旓細绂绘暎鏁板鏄幇浠ｆ暟瀛︾殑閲嶈缁勬垚閮ㄥ垎锛屼互绂绘暎閲忕殑缁撴瀯鍜岀浉浜掑叧绯讳负鐮旂┒瀵硅薄锛涓昏鍖呮嫭鏁扮悊閫昏緫銆侀泦鍚堣銆佸浘璁哄拰杩戜笘浠ｆ暟绛鍐呭銆傘婄鏁ｆ暟瀛︽暀绋嬨嬩粙缁嶄簡绂绘暎鏁板鐨鍩虹鐞嗚涓庡熀鏈柟娉曪紝鍏ㄤ功鐢卞懡棰橀昏緫銆佽皳璇嶉昏緫銆侀泦鍚堛佷簩鍏冨叧绯汇佸嚱鏁般佷唬鏁扮郴缁熴佸浘璁虹瓑7绔犵粍鎴愶紝姣忕珷鍧囬厤鏈変竴瀹氭暟閲忕殑涔犻锛屼究浜庢楠屽拰鍔犳繁瀛︾敓...
绛旓細绂绘暎鏁板绗簩鐗堟槸涓閮ㄦ棬鍦ㄦ弧瓒宠绠楁満涓撲笟鎵闇鍩虹鐭ヨ瘑鐨勬暀绉戜功锛屽叡鍒嗕负鍏珷鍐呭銆傞鍏堬紝瀹冩兜鐩栦簡鏁扮悊閫昏緫锛岃繖鏄悊瑙ｅ拰璁捐璁＄畻鏈虹畻娉曠殑鍩虹銆傛帴鐫锛屼功涓杩颁簡闆嗗悎璁猴紝甯姪璇昏呯悊瑙ｆ暟鎹殑缁勭粐鍜屽垎绫绘柟寮忋備簩鍏冨叧绯诲拰鍑芥暟閮ㄥ垎锛屾帰璁ㄤ簡鏁版嵁涔嬮棿鐨勫叧鑱斿拰鎿嶄綔锛岃繖瀵逛簬鐞嗚В绋嬪簭鎵ц杩囩▼鑷冲叧閲嶈銆傛棤闄愰泦鍚堝拰浠ｆ暟...
绛旓細褰㈠紡璇█鍜岃嚜鍔ㄥ垵姝ワ細鎺㈣璇█鐨勭粨鏋勫拰鑷姩鏈虹悊璁虹殑鍩虹鍐呭銆傛瘡涓閮ㄥ垎閮藉寘鍚笁涓粍鎴愰儴鍒嗭細鍐呭鎻愯锛氭鎷湰閮ㄥ垎鐨勬牳蹇冩蹇靛拰鐞嗚銆備範棰橀厤濂楋細绮惧績璁捐鐨勪範棰橈紝鏃ㄥ湪宸╁浐鐞嗚鐭ヨ瘑骞跺煿鍏婚棶棰樿В鍐宠兘鍔涖備範棰樿В绛旓細璇︾粏瑙ｇ瓟鎵鏈夐鐩紝鍖呮嫭澶氬厓瑙ｆ硶鍜屽父瑙侀敊璇В鏋愶紝鍔╀綘鎺屾彙瑙ｉ鎶宸с傛棤璁烘槸浣滀负銆绂绘暎鏁板銆鐨勪富瑕...
绛旓細绂绘暎鏁板瀛︿範鎸囧鍏稿瀷棰樿В(鏂扮増)銆嬬殑璇︾粏鍐呭姒傝濡備笅锛氭湰涔涓昏娑电洊鍥涗釜鏍稿績閮ㄥ垎锛氶泦鍚堣銆佹暟鐞嗛昏緫銆佸浘璁哄拰浠ｆ暟绯荤粺銆傛瘡涓儴鍒嗛兘绮惧績鍒掑垎锛屽寘鎷熀鏈煡璇嗙偣銆侀噸闅剧偣瑙ｆ瀽浠ュ強鍏稿瀷棰樼洰鐨勮瑙ｃ傛瘡绔犵粨灏鹃儴鍒嗚缃簡鑷垜妫娴嬮锛屼互渚胯鑰呰嚜鎴戞楠屽涔犳晥鏋溿傞檮褰旳鎻愪緵浜嗚灏界殑鑷垜妫娴嬮绛旀锛屼负璇昏呮彁渚涗簡鍙婃椂鐨勫弽棣...
绛旓細濡傛灉鐩稿簲椤剁偣涔嬮棿鏈変竴鏉¤竟锛屽垯浣跨敤涓鏉＄嚎杩炴帴涓や釜灏忓渾銆傚浣曠敾杩欎簺灏忓渾鍦堝拰杩炴帴绾挎棤鍏崇揣瑕併傞偅涔堬紝鎴戜滑浼氬彂鐜般绂绘暎鏁板銆嬪寘鍚殑妯″潡寰堝锛岃繕鏈夐珮绛夋暟璁恒佹嫇鎵戝銆佺粍鍚堟暟瀛︾瓑绛夛紝鍏跺疄浠栧氨鏄竴涓鏁板鐨缁煎悎瀛︾锛屾墍浠ユ兂瑕佸浼氫粬涓嶉毦锛屾兂瀛︽繁鍏ュ寰堥毦锛屽洜涓轰粬鍖呭惈鐨鍐呭澶澶浜嗐
绛旓細绂绘暎鏁板鍖呮嫭鏁扮悊閫昏緫銆侀泦鍚堣銆佷唬鏁扮粨鏋勩佸浘璁恒佸舰寮忚瑷銆佽嚜鍔ㄦ満鍜岃绠楀嚑浣曠瓑銆傛湰璇剧▼涓昏浠嬬粛鍏朵腑鐨勬暟鐞嗛昏緫鍜岄泦鍚堣閮ㄥ垎銆 鏁扮悊閫昏緫鏄爺绌舵帹鐞嗛昏緫瑙勫垯鐨勪竴涓暟瀛﹀垎鏀紝瀹冮噰鐢ㄦ暟瀛︾鍙峰寲鐨勬柟娉曪紝缁欏嚭鎺ㄧ悊瑙勫垯鏉ュ缓绔嬫帹鐞嗕綋绯汇傝繘鑰岃璁烘帹鐞嗕綋绯荤殑涓鑷存с佸彲闈犳у拰瀹屽锛堝叏锛夋х瓑銆傛暟鐞嗛昏緫鐨勭爺绌鍐呭鏄袱涓...
绛旓細鑷1998骞撮娆″彂琛屼互鏉ワ紝鏈功銆绂绘暎鏁板(淇鐗)銆嬪嚟鍊熷叾娣卞帤鐨勬暀瀛︿环鍊艰纭珛涓烘暀鑲查儴"涔濅簲"鍜岄潰鍚21涓栫邯鐨勮绋嬫暀鏉愩傚湪鏈鏇存柊涓紝鎴戜滑瀵瑰師鏈夌殑鍥閮ㄥ垎鍐呭鈥斺旀暟鐞嗛昏緫銆侀泦鍚堣銆佷唬鏁扮粨鏋勫拰鍥捐鈥斺旇繘琛屼簡淇濈暀锛屽悓鏃跺娣讳簡涓板瘜澶氭牱鐨勭粌涔犻锛屾棬鍦ㄦ弧瓒充笉鍚岄毦搴﹀眰娆＄殑瀛︿範闇姹傘傛柊澧炵殑瀹炶返妗堜緥澧炲己浜嗘暀鏉...
绛旓細鏈功浠嬬粛绂绘暎鏁板鐨鍩烘湰姒傚康銆佸熀鏈畾鐞嗐佽繍绠楄寰嬩互鍙婄鏁ｆ暟瀛﹀湪璁＄畻鏈虹瀛︿笌鎶鏈腑鐨勫簲鐢紝涓昏鍐呭鍖呮嫭闆嗗悎璁恒佸浘璁恒佹暟鐞嗛昏緫銆佷唬鏁扮粨鏋勩佺粍鍚堝垎鏋愮瓑銆傛湰涔﹀姏姹傛蹇甸槓杩颁弗璋紝璇佹槑鎺ㄦ紨璇﹀敖锛岃緝闅剧悊瑙ｇ殑姒傚康鐢ㄥ疄渚嬭鏄庛傛湰涔﹀彲浣滀负楂樼瓑瀛︽牎璁＄畻鏈虹瀛︿笌鎶鏈強鐩稿叧涓撲笟鐨勬暀鏉愶紝涔熷彲渚涜绠楁満缃戠粶鍜岃蒋浠跺伐绋嬫妧鏈...
