數(shù)理邏輯大綱

數(shù)理邏輯一、說明(一)課程性質(zhì)(二)教學(xué)目的(三)教學(xué)內(nèi)容及學(xué)時(shí)數(shù)序號(hào)內(nèi)容學(xué)時(shí)數(shù)（30 序號(hào)內(nèi)容學(xué)時(shí)數(shù)（30 ）1234命題邏輯的基本概念謂詞邏輯的基本概念謂詞邏輯的等值和推理理論合計(jì)課堂學(xué)時(shí)數(shù)676625實(shí)踐學(xué)時(shí)數(shù)03025(四)教學(xué)方式時(shí)建議采用多媒體教學(xué)。(五)考核要求考核的方式及成績(jī)?cè)u(píng)定本課程的考核方式一般采用筆試，成績(jī)?cè)u(píng)定100分制，其中平時(shí)成績(jī)占50%50%“”評(píng)分細(xì)則進(jìn)行評(píng)定。考題設(shè)計(jì)考題設(shè)計(jì)原則：考題要全面，符合大綱要求，同時(shí)要做到體現(xiàn)重點(diǎn)，題量適度，難解決基本問題能力的知識(shí)點(diǎn)來安排，不過分強(qiáng)調(diào)綜合?？碱}難度比例：基礎(chǔ)知識(shí)（或基本概念）約50%15%范圍以內(nèi)?？碱}內(nèi)容結(jié)構(gòu)及比例：第一章考查約占15%，第二章考查約占30%，第三章考查約占25%，第四章考查約占30%。45%55%17~21道以內(nèi)。二、本文教學(xué)要點(diǎn):

第一章 命題邏輯的基本概念教學(xué)時(shí)數(shù)：6學(xué)時(shí)第一節(jié)命題及其符號(hào)化（3學(xué)時(shí)）1.命題及其分類（命題與真值，命題的分類，簡(jiǎn)單命題的符號(hào)化）2.命題聯(lián)結(jié)詞及其真值表第二節(jié)命題公式及其真值學(xué)時(shí)）命題變項(xiàng)與合式公式（命題變項(xiàng)，合式公式，合式公式的層次）公式的賦值與真值表（公式的賦值，公式的類型，真值表教學(xué)要求：題變項(xiàng)、命題公式及其真值表；掌握永真式、矛盾式與可滿足式及其判定。考核要求：式與可滿足式及其判定。第二章 命題邏輯的等值和推理演算教學(xué)要點(diǎn):教學(xué)時(shí)數(shù)：10學(xué)時(shí)（3學(xué)時(shí)實(shí)踐學(xué)時(shí)數(shù)，包括習(xí)題課、課堂討論等教學(xué)內(nèi)容：第一節(jié)基本等值式（2學(xué)時(shí)）等值式與基本等值式等值演算與置換規(guī)則等值演算的應(yīng)用舉例第二節(jié)命題邏輯公式的范式（2+2學(xué)時(shí)）析取范式與合取范式主析取范式與主合取范式第三節(jié)命題邏輯的基本推理定律（2學(xué)時(shí)）推理及證明的概念正確的方法，推理定律。第四節(jié)命題邏輯的自然推理系統(tǒng)（1+1學(xué)時(shí)）推理形式系統(tǒng)；自然推理系統(tǒng)（字母表，合式公式，推理規(guī)則）在自然推理系統(tǒng)中構(gòu)造證明（直接證明法，附加前提證明法，歸謬法教學(xué)要求：的形式結(jié)構(gòu)及證明方法。考核要求：理解并掌握等值式與基本等值式，等值演算與置換規(guī)則；會(huì)計(jì)算公式的范式與主范式；理解并掌握自然推理系統(tǒng)的推理規(guī)則，會(huì)在自然推理系統(tǒng)中構(gòu)造證明。第三章 一階謂詞邏輯的基本概念教學(xué)要點(diǎn):教學(xué)時(shí)數(shù)：6學(xué)時(shí)第一節(jié)一階謂詞邏輯的概念（2學(xué)時(shí)）基本概念：個(gè)體詞，謂詞，量詞一階謂詞邏輯中命題符號(hào)化否定式的使用第二節(jié)一階謂詞邏輯公式及其解釋（4學(xué)時(shí)）（一階謂詞邏輯的合式公式）封閉的公式（量詞的轄域、個(gè)體變項(xiàng)的約束與自由出現(xiàn)，閉式）一階謂詞邏輯中的解釋（解釋，閉式的性質(zhì)，一階謂詞邏輯公式的類型）命題邏輯公式在一階謂詞邏輯公式中的代換實(shí)例（判定定理）教學(xué)要求：考核要求：掌握個(gè)體、謂詞、量詞的概念；掌握自然語言命題的符號(hào)化、量詞的轄域、一階邏輯公式的解釋；掌握一階邏輯公式類型的判定等。第四章 謂詞邏輯的等值和推理理論教學(xué)要點(diǎn):值的前束范式，一階謂詞邏輯公式的基本推理定律與推理理論。教學(xué)時(shí)數(shù)：8學(xué)時(shí)（2學(xué)時(shí)實(shí)踐學(xué)時(shí)數(shù)，包括習(xí)題課、課堂討論等教學(xué)內(nèi)容：第一節(jié)(一階謂詞邏輯的等值式與等值變換規(guī)則（2學(xué)時(shí)）(分配等值式）置換規(guī)則、換名及代替規(guī)則第二節(jié)一階謂詞邏輯的前束范式（1+1學(xué)時(shí)）前束范式公式的前束范式求公式的前束范式的方法（否定深入，改名，量詞提前第三節(jié)一階謂詞邏輯公式的基本推理定律學(xué)時(shí)）推理的形式結(jié)構(gòu)以及推理的正確與錯(cuò)誤：形式結(jié)構(gòu)，判斷方法重要推理定律量詞消去或引入規(guī)則第四節(jié)一階謂詞邏輯的推理理論學(xué)時(shí)(字母表，合式公式，推理規(guī)則）教學(xué)要求：(一階謂詞邏輯自然推理證明。考核要求：()謂詞邏輯公式的推理定律、推()謂詞邏輯中構(gòu)造證明。三、參考書目，第1版。，第5版。。。2版。四、使用說明根據(jù)數(shù)理邏輯課程的性質(zhì)和教學(xué)要求，對(duì)本大綱做以下幾點(diǎn)說明：本大綱設(shè)定的章節(jié)、內(nèi)容順序代課教師可根據(jù)教材、學(xué)生的具體情況作適當(dāng)調(diào)節(jié)。大綱中的教學(xué)時(shí)數(shù)作為指導(dǎo)意見，代課教師可適當(dāng)調(diào)整。由于本課程講授內(nèi)容信息量大，建議教學(xué)過程中板書和多媒體穿插使用，其中板書五、課外學(xué)習(xí)（一）課外閱讀目標(biāo)能力和提高自我擴(kuò)充知識(shí)領(lǐng)域的能力。閱讀書目，第1版。，第5版。。。2版。學(xué)習(xí)要求過程中采用選讀、精讀、摘錄批注等方法閱讀內(nèi)容，做好讀書筆記。時(shí)間安排利用課余時(shí)間完成課外閱讀。評(píng)價(jià)方式依據(jù)學(xué)生的讀書筆記的完成質(zhì)量按百分制評(píng)價(jià)，計(jì)入平時(shí)成績(jī)。（二）課外討論目標(biāo)問題并提出多種思路進(jìn)行研究解決問題的能力。討論內(nèi)容教師根據(jù)授課班級(jí)學(xué)生的學(xué)習(xí)程度討論要求時(shí)間安排利用課余時(shí)間完成課外討論。評(píng)價(jià)方式根據(jù)課外討論書面報(bào)告的完成質(zhì)量按百分制評(píng)價(jià)，計(jì)入平時(shí)成績(jī)。（三）課外作業(yè)目標(biāo)路去清晰、整潔地表達(dá)自己解決問題的思路和步驟。作業(yè)內(nèi)容學(xué)內(nèi)容，每堂課以基本概念和基本方法為主，難度適中，擬布置34題的習(xí)題為宜。作業(yè)要求作業(yè)