數(shù)理邏輯大綱

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

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