離散數(shù)學(xué)-學(xué)校教案(存儲版)
【正文】 題綱）167。 集合運算，設(shè)A，B為集合，A與B的并集A∪B，A∪B＝{x|x∈A∨x∈B }，設(shè)A，B為集合，交集A∩B，A∩B＝{x|x∈A∧x∈B }，對稱差集，設(shè)A，B為集合，B對A的相對補集A－B，A－B＝{x|x∈A∧xB }設(shè)A，B為集合，A與B的對稱差集AB定義為：AB＝(A－B)∪(B－A) ，廣義并 （教案末頁）本節(jié)課小結(jié)1. 集合的基本概念(2min)；2. 集合的常見運算（2min）； 復(fù)習(xí)思考題作業(yè)題課后練習(xí)1,4安徽理工大學(xué)教案首頁第 1 次課 授課時間 2017 年 9 月 14 日 教案完成時間： 2017 年 9 月 10 日課程名稱離散數(shù)學(xué)年 級2017 級專業(yè)、層次計算機學(xué)院(本科)教 師專業(yè)技術(shù)職 務(wù)講師授課方式（大、?。┐髮W(xué)時2授課題目（章、節(jié)）167。存在量詞引入規(guī)則（簡稱EG）：①； ②3. 推理符號化并加以證明； （教案末頁）本節(jié)課小結(jié)1. 等值演算；前束范式(2min)；2. 推理定律，推理規(guī)則（2min）；復(fù)習(xí)思考題作業(yè)題課后習(xí)題5,7,8,9安徽理工大學(xué)教案首頁第 1 次課 授課時間 2017 年 9 月 14 日 教案完成時間： 2017 年 9 月 10 日課程名稱離散數(shù)學(xué)年 級2017 級專業(yè)、層次計算機學(xué)院(本科)教 師專業(yè)技術(shù)職 務(wù)講師授課方式（大、?。┐髮W(xué)時2授課題目（章、節(jié)）167。⑴?x(A(x)∧B(x))??xA(x)∧?xB(x)；⑵?x(A(x)∨B(x))??xA(x)∨?xB(x)。3. 公式的分類設(shè)A為一個謂詞公式，如果A在任何解釋下都是真的，則稱A為邏輯有效式（Universal）或稱為永真式；如果A在任何解釋下都是假的，則稱A為矛盾式（Contradiction）或稱為永假式；若
教學(xué)教案相關(guān)推薦
鄂ICP備17016276號-1