離散數學-學校教案(更新版)
【正文】 定理 量詞轄域收縮與擴張等值式。注意 不同名量詞間的次序是不可隨意變更的。直觀地說，把一些事物匯集到一起組成一個整體就叫集合，而這些事物就是這個集合的元素或成員。容斥原理： card(A∪B)= card(A)+ card(B) —card(A∩B) （教案末頁）本節(jié)課小結1. 集合定律(2min)；2. 容斥原理，及其推廣（2min）；復習思考題作業(yè)題課后練習5,7,8,9。這時也稱B被A包含，或A包含B，記作BA。1. 推理定律，2. 推理規(guī)則，全稱量詞消去規(guī)則（簡稱US）：①； ②。⑵①?x(A(x)∨B)??xA(x)∨B；②?x(A(x)∧B)??xA(x)∧B；③?x(A(x)→B)??xA(x)→B；④?x(B→A(x))?B→?xA(x)。167。⑷設F(x)：x在北京工作；G(x): x是北京人，則命題符號化為：216。⑴好人自有好報。安徽理工大學教案首頁第 1 次課 授課時間 2017 年 9 月 14 日 教案完成時間： 2017 年 9 月 10 日課程名稱離散數學年 級2017 級專業(yè)、層次計算機學院(本科)教 師專業(yè)技術職 務講師授課方式（大、?。┐髮W時2授課題目（章、節(jié)）167。3. 存在唯一量詞4. 將具體命題符號化 將下列命題符號化。因為在含義上這句話和題目的是一樣的，所以可以看出，┐?x(M(x)∧F(x))和?x(M(x)→┐F(x))是等價的，后面還將給出具體的證明。G(x))是等價的，后面也將給出具體的證明。⑴①?x(A(x)∨B)??xA(x)∨B；②?x(A(x)∧B)??xA(x)∧B；③?x(A(x)→B)??xA(x)→B；④?x(B→A(x))?B→?xA(x)。2. 前束范式，167。2. 元素與集合的關系，元素和集合之間的關系是隸屬關系，即屬于或不屬于，屬于記作∈，不屬于記作，3. 集合與集合的關系，設A，B為集合，如果B中的每個元素都是A中的元素，則稱B是A的子集合，簡
教學教案相關推薦
鄂ICP備17016276號-1