離散數(shù)學-學校教案(已修改)
2025-04-29 07:26 本頁面
【正文】 安徽理工大學教案首頁第 1 次課 授課時間 2017 年 9 月 14 日 教案完成時間： 2017 年 9 月 10 日課程名稱離散數(shù)學年 級2017 級專業(yè)、層次計算機學院(本科)教 師專業(yè)技術職 務講師授課方式（大、?。┐髮W時2授課題目（章、節(jié)）167。，167?；窘滩幕蛑饕獏⒖紩峨x散數(shù)學》 劉愛民 北京郵電大學出版社教學目的和要求：，存在量詞，存在唯一量詞；2. 一階語言、解釋和賦值大體內(nèi)容與時間安排，教學方法：1. 介紹全稱量詞，存在量詞，存在唯一量詞，練習將命題符號化(45min)；，對于具體的公式，給出解釋和賦值（45min）；教學重點、難點：1. 命題符號化2. 公式的解釋和賦值 （主要內(nèi)容題綱）167。1. 全稱量詞，全稱量詞(Universal Quantifier)：在自然語言中“所有的”、“一切”、“任意的”、“每一個”等表示數(shù)量的詞，稱為全稱量詞。它用于描述討論范圍中的全部個體，用符號“?”表示。2. 存在量詞，存在量詞(Existential Quantifier)：用符號“?”表示，對應自然語言中“存在一些”、“至少有一個”等表示數(shù)量的詞。?xF(x)表示個體域中存在個體具有性質(zhì)F。3. 存在唯一量詞4. 將具體命題符號化 將下列命題符號化。⑴好人自有好報。 ⑵有會說話的機器人；⑶沒有免費的午餐；⑷在北京工作的人未必都是北京人。解 在本題中沒有指定個體域，故取個體域為全總個體域。⑴設F(x)：x是好人；G(x)：x會有好報，則命題符號化為：?x(F(x)→G(x))。⑵設F(x)：x是機器人；G(x)：x是會說話的，則命題符號化為：?x(F(x)∧G(x))。⑶設M(x)：x是午餐；F(x)： x是免費的，則命題符號化為：┐?x(M(x)∧F(x))。這句話可作如下敘述，“所有的午餐都不是免費的”，故命題可符號化為：?x(M(x)→┐F(x))。因為在含義上這句話和題目的是一樣的，所以可以看出，┐?x(M(x)∧F(x))和?x(M(x)→┐F(x))是等價的，后面還將給出具體的證明。⑷
教學教案相關推薦
鄂ICP備17016276號-1