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