【正文】 推理什么是聯(lián)言推理；聯(lián)言推理的規(guī)則；聯(lián)言推理的有效形式(2)選言推理什么是選言推理；選言推理的種類：相容選言推理和不相容選言推理。(3)假言推理什么是假言推理；假言推理的種類：充分條件假言推理、必要條件假言推理和充要條件假言推理。(4)二難推理什么是二難推理；二難推理的有效形式；駁斥錯(cuò)誤二難推理的方法。(5)復(fù)合命題的其他推理假言易位推理；假言連鎖推理；假言聯(lián)言推理；負(fù)命題等值推理。(七)模態(tài)命題及其推理（4學(xué)時(shí)）教學(xué)目的和要求了解什么是模態(tài)命題；掌握真值模態(tài)命題的種類及它們之間的對(duì)當(dāng)關(guān)系、真值模態(tài)推理的種類及其有效形式；掌握規(guī)范模態(tài)命題的種類及它們之間的對(duì)當(dāng)關(guān)系、規(guī)范模態(tài)推理的種類及其有效形式。重點(diǎn)和難點(diǎn)重點(diǎn)是真值模態(tài)命題之間的對(duì)當(dāng)關(guān)系，對(duì)當(dāng)關(guān)系真值模態(tài)推理的有效形式，規(guī)范模態(tài)命題之間的對(duì)當(dāng)關(guān)系，對(duì)當(dāng)關(guān)系規(guī)范模態(tài)推理的有效形式；難點(diǎn)是真值模態(tài)命題之間的對(duì)當(dāng)關(guān)系，規(guī)范模態(tài)命題之間的對(duì)當(dāng)關(guān)系。教學(xué)內(nèi)容(1)真值模態(tài)命題及其推理(2)規(guī)范模態(tài)命題及其推理(八)邏輯基本規(guī)律（5學(xué)時(shí)）教學(xué)目的和要求了解什么是邏輯思維的基本規(guī)律及其客觀基礎(chǔ)，把握同一律、矛盾律、排中律的基本內(nèi)容、邏輯要求及違反要求所犯的邏輯錯(cuò)誤，能夠識(shí)別實(shí)際思維中的邏輯錯(cuò)誤，自覺地遵守邏輯思維規(guī)律，提高邏輯思維能力和水平。重點(diǎn)和難點(diǎn)重點(diǎn)是同一律、矛盾律、排中律的基本內(nèi)容、邏輯要求及違反要求所犯的邏輯錯(cuò)誤；難點(diǎn)是正確理解“同一思維過程”及準(zhǔn)確把握矛盾律和排中律的區(qū)別。教學(xué)內(nèi)容(1)邏輯基本規(guī)律概述什么是邏輯規(guī)律；邏輯基本規(guī)律的客觀基礎(chǔ)；邏輯基本規(guī)律的強(qiáng)制性和規(guī)范性。(2)同一律同一律的基本內(nèi)容；同一律的邏輯要求及違反要求所犯的邏輯錯(cuò)誤；同一律的作用；正確理解和運(yùn)用同一律。(2)矛盾律矛盾律的基本內(nèi)容；矛盾律的邏輯要求及違反要求所犯的邏輯錯(cuò)誤；矛盾律的作用；正確理解和運(yùn)用矛盾律。(3)排中律排中律的基本內(nèi)容；排中律的邏輯要求及違反要求所犯的邏輯錯(cuò)誤；排中律的作用；正確理解和運(yùn)用排中律；排中律和矛盾律的區(qū)別。(九)歸納推理和類比推理（4學(xué)時(shí)）教學(xué)目的和要求了解什么是歸納推理和類比推理及歸納推理和演繹推理之間的關(guān)系，把握各種傳統(tǒng)歸納推理和類比推理的一般形式結(jié)構(gòu)、特點(diǎn)及提高結(jié)論可靠程度的邏輯要求。重點(diǎn)和難點(diǎn)重點(diǎn)是各種傳統(tǒng)歸納推理和類比推理的一般形式結(jié)構(gòu)和提高結(jié)論可靠程度的邏輯要求。教學(xué)內(nèi)容(1)歸納推理概述什么是歸納推理；歸納推理的種類；歸納推理與演繹推理的關(guān)系。(2)傳統(tǒng)歸納推理完全歸納推理；不完全歸納推理。(3)現(xiàn)代歸納推理概率歸納推理；統(tǒng)計(jì)歸納推理(4)類比推理什么是類比推理；類比推理的客觀基礎(chǔ)及其結(jié)論的性質(zhì)；類比推理的種類；④類比推理的基本邏輯要求；類比推理的作用(十)論證（5學(xué)時(shí)）教學(xué)目的和要求了解什么是論證，論證的結(jié)構(gòu)和規(guī)則，證明和反駁的種類；掌握證明和反駁的基本邏輯方法；能夠具體分析某一論證的邏輯結(jié)構(gòu)及其所運(yùn)用的論證方法。重點(diǎn)和難點(diǎn)重點(diǎn)是論證的結(jié)構(gòu)及論證與推理的區(qū)別、論證的規(guī)則、證明和反駁的種類及方法；難點(diǎn)是正確理解獨(dú)立證明反駁法與歸謬法、反證法的區(qū)別和聯(lián)系。教學(xué)內(nèi)容(1)論證概述論證及其種類；論證的構(gòu)成；論證與推理和實(shí)踐檢驗(yàn)的關(guān)系；論證的作用。(2)論證的規(guī)則關(guān)于論題的規(guī)則；關(guān)于論據(jù)的規(guī)則；關(guān)于論證方式的規(guī)則。(3)證明的種類必然性證明和非必然性證明；直接證明和間接證明。(4)反駁的種類反駁論題、反駁論據(jù)和反駁論證方式；直接反駁和間接反駁。八、教材及主要參考資料推薦教材(1)《邏輯學(xué)》，姜全吉、遲維東主編，高等教育出版社，2004年11月。(2)《實(shí)用邏輯教程》，張綿厘編著，中國(guó)人民大學(xué)出版社，2004年7月。參考教材(1)《形式邏輯》，蔡賢浩主編，華中師范大學(xué)出版社，2007年10月。(2)《邏輯學(xué)》，徐錦中編著，天津大學(xué)出版社，2001年9月。(3)《邏輯學(xué)教程》，何向東主編，高等教育出版社，2004年7月。(4)《邏輯學(xué)》，楚明錕主編，河南大學(xué)出版社，2000年6月。(5)《邏輯學(xué)》，南開大學(xué)哲學(xué)系邏輯學(xué)教研室編著，南開大學(xué)出版社，2003年11月。(6)《邏輯學(xué)》，中國(guó)人民大學(xué)哲學(xué)系邏輯教研室編，中國(guó)人民大學(xué)出版社，2002年11月。主要學(xué)習(xí)參考資料(1)《普通形式邏輯理論與實(shí)踐》，趙永振編著，陜西人民出版社，2010年4月。(2)《趣味邏輯新編》，彭漪漣、余式厚著，北京大學(xué)出版社，2005年7月。(3)《邏輯與智慧新編》，鄭偉宏著，北京大學(xué)出版社，2005年7月。(4)《笑話、幽默與邏輯》，譚大容著，北京大學(xué)出版社，2005年7月。第五篇：《專業(yè)英語》課程教學(xué)大綱2009《專業(yè)英語》課程教學(xué)大綱課程編號(hào)：責(zé)任學(xué)院：軟件學(xué)院學(xué)時(shí)數(shù)：40學(xué)分：2學(xué)分一、教學(xué)目的專業(yè)英語作為計(jì)算機(jī)領(lǐng)域國(guó)際通用語言，無論是查閱計(jì)算機(jī)文獻(xiàn)，還是撰寫計(jì)算機(jī)方向的論文，都顯示其作為交流工具的重要性。專業(yè)英語不同于公共英語，它是學(xué)生在掌握公共英語的基礎(chǔ)上進(jìn)一步提高計(jì)算機(jī)文獻(xiàn)閱讀和理解能力的有效途徑。本課程是計(jì)算機(jī)軟件工程碩士研究生的選修課程。其目標(biāo)是使學(xué)生掌握計(jì)算機(jī)專業(yè)英語特點(diǎn)、基本語法以及文獻(xiàn)閱讀和撰寫的應(yīng)用技能。二、課程教學(xué)內(nèi)容要求與學(xué)時(shí)分配（一）專業(yè)英語的重要語法 4學(xué)時(shí)計(jì)算機(jī)專業(yè)英語特點(diǎn)、專業(yè)英語詞匯構(gòu)成方法、專業(yè)英語的否定結(jié)構(gòu)與數(shù)字理解、專業(yè)英語的日期、時(shí)間時(shí)序表示、位置與空間表示、專業(yè)英語的詞匯、語句的翻譯技巧。（二）專業(yè)英語閱讀理解 12學(xué)時(shí)計(jì)算機(jī)各個(gè)方向的重要詞匯、術(shù)語、計(jì)算機(jī)各個(gè)方向的時(shí)文選讀與翻譯練習(xí)。具體的計(jì)算機(jī)方向包括：計(jì)算機(jī)組織與結(jié)構(gòu)、操作系統(tǒng)、數(shù)據(jù)與結(jié)構(gòu)、程序設(shè)計(jì)、數(shù)據(jù)庫、軟件工程、計(jì)算機(jī)圖形與圖像、計(jì)算機(jī)網(wǎng)絡(luò)、互聯(lián)網(wǎng)技術(shù)、電子商務(wù)、人工智能與信息安全。（三）專業(yè)英語寫作技巧 4學(xué)時(shí)英文論文基本結(jié)構(gòu)與寫作技巧、英文論文摘要寫作方法與練習(xí)、選計(jì)算機(jī)一到兩個(gè)具體研究方向的論文選讀、英文簡(jiǎn)歷寫作練習(xí)（四）外文文獻(xiàn)閱讀 20學(xué)時(shí)此部分內(nèi)容由學(xué)生根據(jù)論文選題方向查閱相關(guān)英文文獻(xiàn)并閱讀至少5篇以上論文。三、教學(xué)方式和考核方式教學(xué)方式：課堂講授（20學(xué)時(shí)）+課外計(jì)算機(jī)文獻(xiàn)閱讀（20學(xué)時(shí)）考試方式：考查四、教材及參考資料（名稱，作者，出版社，出版時(shí)間）《計(jì)算機(jī)英語實(shí)用教程》（第三版），劉兆毓，鄭家農(nóng)等編著，清華大學(xué)出版社，2006 《計(jì)算機(jī)專業(yè)英語》，劉乃琦，電子科技大學(xué)出版社，1998考查內(nèi)容：請(qǐng)參考學(xué)術(shù)論文的英文寫作方式，根據(jù)論文選題方向，查閱相關(guān)英文文獻(xiàn)，寫一篇簡(jiǎn)短的科技論文（注：主要內(nèi)容部分可以是一個(gè)框架即可）。