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