計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)碩士研究生培養(yǎng)方案（077500）

一、培養(yǎng)目標(biāo)

培養(yǎng)德、智、體全面發(fā)展，政治思想進(jìn)步，基礎(chǔ)理論扎實(shí)，專業(yè)知識系統(tǒng)，能適應(yīng)我國社會主義現(xiàn)代化建設(shè)要求，從事計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)或相鄰專業(yè)的科研、教學(xué)、技術(shù)開發(fā)和管理工作的高級專門人才。具體培養(yǎng)要求如下：

1.掌握中國特色社會主義理論，擁護(hù)黨的基本路線、方針、政策；熱愛祖國，遵紀(jì)守法，品德良好，具有嚴(yán)謹(jǐn)?shù)闹螌W(xué)態(tài)度，恪守學(xué)術(shù)道德規(guī)范，尊重他人的知識產(chǎn)權(quán)，杜絕抄襲與剽竊、偽造與篡改等學(xué)術(shù)不端行為。團(tuán)結(jié)協(xié)作，求實(shí)創(chuàng)新和為科學(xué)獻(xiàn)身的精神，努力為科學(xué)事業(yè)，振興經(jīng)濟(jì)發(fā)展服務(wù)。

2.努力學(xué)習(xí)計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的基礎(chǔ)理論知識，熟練掌握本專業(yè)的各種應(yīng)用技術(shù)，深入系統(tǒng)地了解本專業(yè)的國內(nèi)外研究狀況及發(fā)展趨勢，開展本專業(yè)的科學(xué)研究。培養(yǎng)學(xué)生具有較強(qiáng)的綜合分析和解決實(shí)際問題的能力以及獨(dú)立從事科學(xué)技術(shù)研究、教學(xué)及開發(fā)應(yīng)用的能力，所完成的學(xué)位論文應(yīng)具有一定的創(chuàng)新性。

3.至少掌握一門外語，能熟練地閱讀本學(xué)科領(lǐng)域的外文資料，具有一定的外語寫作與表達(dá)能力。

4.具有健康的體魄、良好的心理素質(zhì)。

二、研究方向

1.數(shù)據(jù)挖掘及粒計(jì)算

2.機(jī)器學(xué)習(xí)

3.云計(jì)算與大數(shù)據(jù)

4.虛擬現(xiàn)實(shí)

5.網(wǎng)絡(luò)與信息安全

三、學(xué)習(xí)年限

學(xué)習(xí)年限一般為3年，第一年一般以課程教學(xué)為主，后兩年以研究和論文工作為主。

四、培養(yǎng)方式與方法

碩士生的培養(yǎng)，采取以導(dǎo)師為主，導(dǎo)師與指導(dǎo)小組集體培養(yǎng)相結(jié)合的方式。培養(yǎng)采用系統(tǒng)理論學(xué)習(xí)、進(jìn)行科學(xué)研究、參加學(xué)術(shù)活動和社會實(shí)踐活動相結(jié)合的方法。

碩士生的指導(dǎo)教師由學(xué)術(shù)水平較高，在研究工作中有一定成就的教授、副教授擔(dān)任。導(dǎo)師要教書育人，為人師表，全面關(guān)心研究生的成長，及時(shí)給予指導(dǎo)。

指導(dǎo)組應(yīng)對研究生的培養(yǎng)質(zhì)量全面負(fù)責(zé)，其主要職責(zé)是：（1）參與制定本專業(yè)研究生培養(yǎng)方案及研究生個(gè)人培養(yǎng)計(jì)劃；（2）審核學(xué)位課程的命題及評分結(jié)果；（3）負(fù)責(zé)對研究生進(jìn)行中期考核，對碩士學(xué)位論文質(zhì)量和進(jìn)展情況進(jìn)行檢查；（4）協(xié)助組織學(xué)位論文答辯。

五、課程設(shè)置

課程學(xué)習(xí)和實(shí)踐環(huán)節(jié)實(shí)行學(xué)分制，總學(xué)分?jǐn)?shù)不少于36學(xué)分。課程具體設(shè)置參見課程設(shè)置表。

實(shí)踐環(huán)節(jié)包括參加教學(xué)實(shí)踐、社會實(shí)踐和學(xué)術(shù)活動。教學(xué)實(shí)踐是碩士研究生的必修教學(xué)環(huán)節(jié)，一般在入學(xué)后的第三學(xué)期末前完成；教學(xué)實(shí)踐的工作量不少于36學(xué)時(shí)或18個(gè)教學(xué)工作日，并完成作業(yè)批改任務(wù)和不少于4次的習(xí)題課。社會實(shí)踐主要包括軟件項(xiàng)目開發(fā)等，至少參與1項(xiàng)導(dǎo)師或?qū)W院的軟件開發(fā)項(xiàng)目；研究生須參加社會實(shí)踐并提交社會實(shí)踐總結(jié)報(bào)告，學(xué)院對其社會實(shí)踐情況和總結(jié)報(bào)告進(jìn)行檢查及考評，不計(jì)學(xué)分。學(xué)術(shù)活動包括聽專家講座和學(xué)術(shù)討論，不少于10次，每1次必須登記，并填寫《研究生參加學(xué)術(shù)報(bào)告會登記表》，學(xué)院檢查記錄情況。

六、中期考核

1.考核內(nèi)容：研究生中期考核要求認(rèn)真填寫《研究生中期考核登記表》，學(xué)院對研究生的政治思想、課程學(xué)習(xí)、科研和教學(xué)能力等各個(gè)培養(yǎng)環(huán)節(jié)進(jìn)行全面、綜合測評。

（1）政治思想品德、學(xué)習(xí)態(tài)度評定：研究生對政治思想品德、學(xué)習(xí)態(tài)度認(rèn)真自我總結(jié)，認(rèn)真填寫中期考核表。

（2）對課程成績、完成學(xué)分情況進(jìn)行審核。

（3）學(xué)位論文開題報(bào)告審核：中期考核前，研究生的學(xué)位論文必須開題，并由各指導(dǎo)組統(tǒng)一組織學(xué)生做開題報(bào)告，一般安排在第三學(xué)期，須認(rèn)真填寫《研究生開題報(bào)告審核表》。開題報(bào)告應(yīng)包括研究背景知識和擬開展的研究工作兩方面內(nèi)容，并進(jìn)行詳細(xì)答辯。開題報(bào)告主要考察學(xué)生對研究背景知識和相關(guān)研究領(lǐng)域的最新研究動態(tài)的了解，同時(shí)考察學(xué)生的文獻(xiàn)綜述能力，采用口頭報(bào)告（10-15分鐘）和書面報(bào)告結(jié)合形式。開題第一次未通過，允許1-2月內(nèi)再進(jìn)行一次，仍未通過者，按學(xué)籍管理規(guī)定處理。

2.中期考核時(shí)間：一般安排在第四學(xué)期的4、5月份進(jìn)行。

3.考核程序：以專業(yè)為單位組成考核小組。考核小組由研究生導(dǎo)師、教研室主任、任課教師組成。對研究生的政治思想品德和學(xué)習(xí)態(tài)度、課程成績及所修學(xué)分情況、論文進(jìn)展情況、科研和教學(xué)能力、學(xué)術(shù)道德等方面進(jìn)行審核和評定。學(xué)習(xí)成績優(yōu)良，達(dá)到考核內(nèi)容要求的，進(jìn)入碩士論文寫作階段；學(xué)習(xí)成績較差，未達(dá)到考核內(nèi)容要求的，不得申請碩士學(xué)位。分管研究生的院長全面負(fù)責(zé)研究生中期考核工作，考核小組將考核意見及有關(guān)材料一并報(bào)送至研究生工作辦公室，由學(xué)院召開黨政聯(lián)席會議審核通過。在規(guī)定時(shí)間內(nèi)未按時(shí)完成中期考核者，按考核不合格處理。

七、學(xué)位論文

學(xué)位論文工作是使研究生在科學(xué)研究方面受到全面的基本訓(xùn)練為目的，是培養(yǎng)研究生具有從事科學(xué)研究和綜合運(yùn)用所學(xué)知識分析問題、解決問題能力的主要環(huán)節(jié)。在導(dǎo)師指導(dǎo)下，研究生應(yīng)用不少于一年半的時(shí)間參加科學(xué)研究及撰寫學(xué)位論文，不計(jì)學(xué)分。碩士研究生一般應(yīng)在第三學(xué)期內(nèi)完成論文的選題工作，要求最遲于第四學(xué)期開學(xué)后的前兩個(gè)月內(nèi)提交學(xué)位論文計(jì)劃，并做開題報(bào)告，經(jīng)討論認(rèn)為選題合適且計(jì)劃切實(shí)可行的，方能正式開展論文工作。

學(xué)位論文的基本要求遵照“河南師范大學(xué)授予碩士學(xué)位工作細(xì)則”的有關(guān)規(guī)定。學(xué)位論文應(yīng)包括：摘要（中、外文）、目錄、引言、主要內(nèi)容（研究背景、理論推導(dǎo)、實(shí)驗(yàn)與計(jì)算、結(jié)果與討論等）、參考文獻(xiàn)、致謝、必要的附錄和在校期間發(fā)表論文情況。學(xué)位論文應(yīng)做到具有創(chuàng)新性，概念準(zhǔn)確，推理嚴(yán)密，語意通達(dá)，數(shù)據(jù)可靠，結(jié)構(gòu)完整，達(dá)到碩士學(xué)位論文的要求。論文按規(guī)定統(tǒng)一格式排版，具體見“河南師范大學(xué)研究生學(xué)位論文及其摘要編寫格式的要求”。

八、學(xué)位授予

學(xué)位授予遵照“河南師范大學(xué)授予碩士學(xué)位工作細(xì)則”的有關(guān)規(guī)定。

指導(dǎo)教師和學(xué)院學(xué)位評定分委員會要在答辯前對相關(guān)材料認(rèn)真審核，主要材料包括：（1）成績單；（2）發(fā)表論文原件或刊用證明；（3）中期考核表；（4）參加教學(xué)實(shí)踐和社會實(shí)踐情況；（5）參加學(xué)術(shù)活動情況；（6）學(xué)位論文答辯前要求至少有一篇學(xué)術(shù)論文在核心期刊和本專業(yè)權(quán)威期刊或具有CN刊號的雜志上發(fā)表（見刊）或接受。其中學(xué)術(shù)論文內(nèi)容須符合研究生的專業(yè)方向，以河南師范大學(xué)計(jì)算機(jī)與信息工程學(xué)院為第一署名單位，學(xué)位申請者為獨(dú)著、第一作者或除導(dǎo)師以外第一作者。

對不符合授予學(xué)位條件的研究生，根據(jù)情況可建議其延長學(xué)習(xí)時(shí)間。

九、其他說明

1.碩士研究生如果通過了畢業(yè)論文答辯，且論文答辯委員會建議授予學(xué)位，但取得的科研成果未達(dá)到學(xué)院要求的，學(xué)院學(xué)位評定分委員會可做出同意畢業(yè)、暫緩授予學(xué)位的決定，待科研成果達(dá)到要求后，再決定授予學(xué)位。

2.碩士研究生如果通過了畢業(yè)論文答辯，但論文答辯委員會因論文水平或其他原因不建議授予學(xué)位的，學(xué)院學(xué)位評定分委員會可做出是否同意先畢業(yè)的決定，碩士研究生可在半年至一年內(nèi)重新答辯一次，論文答辯委員會對是否建議授予學(xué)位進(jìn)行表決，通過者方授予學(xué)位。若逾期未完成論文修改或重新答辯后仍不合格者，以后不再受理其學(xué)位申請。

3.未通過畢業(yè)論文答辯者，不能畢業(yè)也不能授予學(xué)位，碩士研究生可在半年至一年內(nèi)重新答辯一次。若逾期未完成論文修改或重新答辯后仍不合格者，以后不再受理其學(xué)位申請。

計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)碩士研究生（學(xué)術(shù)型）課程設(shè)置表

注：√表示開課學(xué)期。

主要課程介紹

課程編號：14_080101 課程名稱：算法設(shè)計(jì)與分析

總學(xué) 時(shí)：54 學(xué) 分：3

開設(shè)單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：I

教學(xué)要求：算法研究是計(jì)算機(jī)科學(xué)的重要領(lǐng)域。我們所熟悉的、與算法有關(guān)的公式：程序＝算法＋數(shù)據(jù)結(jié)構(gòu)，說明算法的研究不僅僅是數(shù)學(xué)問題，也和數(shù)據(jù)結(jié)構(gòu)密切相關(guān)，只有通過實(shí)踐才能掌握算法的實(shí)質(zhì)。根據(jù)以上觀點(diǎn)，在學(xué)習(xí)算法設(shè)計(jì)與分析時(shí)要求：掌握算法設(shè)計(jì)與分析的基本方法；理解和掌握算法的基本思想、設(shè)計(jì)模型和復(fù)雜度分析的方法；進(jìn)行必要的算法實(shí)現(xiàn)，通過上機(jī)掌握算法的實(shí)質(zhì)；基本理解計(jì)算機(jī)復(fù)雜度理論的思想。

教學(xué)內(nèi)容：1．算法設(shè)計(jì)與分析引言；2．動態(tài)規(guī)劃；3．優(yōu)先策略；4．分治策略；5．線形規(guī)劃的分解原理；6．整數(shù)規(guī)劃；7．并行計(jì)算；8．NP完備策略。

教材及主要參考書目：

1.鄭宗漢，算法設(shè)計(jì)與分析，清華大學(xué)出版社，2005；

2.(美)萊維丁(Levitin,A.)著，潘彥譯，算法設(shè)計(jì)與分析基礎(chǔ)，清華大學(xué)出版社，2004。

預(yù)修課程：程序設(shè)計(jì)語言，高等數(shù)學(xué)

課程編號：14_080102 課程名稱：組合數(shù)學(xué)

課時(shí)總數(shù)：54 學(xué) 分：3

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：I

教學(xué)要求：組合數(shù)學(xué)研究的問題源遠(yuǎn)流長，可追溯到歐拉等著名數(shù)學(xué)家。組合數(shù)學(xué)是一門研究離散對象的科學(xué)，隨著計(jì)算機(jī)科學(xué)的日益發(fā)展，組合數(shù)學(xué)的重要性也日漸凸顯，因?yàn)橛?jì)算機(jī)科學(xué)的核心內(nèi)容是使用算法處理離散數(shù)據(jù)。因此組合數(shù)學(xué)已成為最活躍的一個(gè)數(shù)學(xué)分支，對計(jì)算機(jī)的科學(xué)研究有重要作用。組合數(shù)學(xué)主要研究是滿足一定規(guī)則的組合模型的存在、計(jì)數(shù)、構(gòu)造和最優(yōu)化等方面的問題。通過《組合數(shù)學(xué)》的學(xué)習(xí)和研究，要求研究生掌握組合數(shù)學(xué)的基本理論和基本方法，且能運(yùn)用組合數(shù)學(xué)的理論和方法分析解決實(shí)際問題，為算法設(shè)計(jì)與分析奠定理論基礎(chǔ)。

教學(xué)內(nèi)容：1．排列與組合；2．母函數(shù)與遞推關(guān)系；3．容斥原理與鴿巢原理；4．貝恩塞特(Burnside)引理與波利亞(Pólya)定理；5．區(qū)組設(shè)計(jì)與編碼；6．組合算法與復(fù)雜性分析。

教材及主要參考書目：

1.盧開澄等，組合數(shù)學(xué)(第3、4版)，清華大學(xué)出版社；

2.屈婉玲，組合數(shù)學(xué)，北京大學(xué)出版社，1989；

3.左孝凌等，離散數(shù)學(xué)，上海科學(xué)技術(shù)文獻(xiàn)出版社，1982。

預(yù)修課程：高等數(shù)學(xué)，離散數(shù)學(xué)

課程編號：14_080103 課程名稱：面向?qū)ο蠓治雠c設(shè)計(jì)

總學(xué) 時(shí)：54 學(xué) 分：3

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：通過《面向?qū)ο蠓治雠c設(shè)計(jì)》的學(xué)習(xí)，使學(xué)生掌握面向?qū)ο蟮能浖_發(fā)所使用的過程和技術(shù)，學(xué)會使用面向?qū)ο蟮募夹g(shù)編寫計(jì)算機(jī)程序。使學(xué)生知道如何設(shè)計(jì)健壯和易于維護(hù)的軟件系統(tǒng)，掌握對象描述語言UML，如何使用UML描述分析和設(shè)計(jì)模型，學(xué)會如何把設(shè)計(jì)轉(zhuǎn)換成代碼。

教學(xué)內(nèi)容：1.設(shè)置場景包括對象的概念、繼承、類型系統(tǒng)、軟件開發(fā)的方法學(xué)等內(nèi)容；2.理解問題包括收集需求、分析問題等內(nèi)容；3.設(shè)計(jì)解決方案包括設(shè)計(jì)系統(tǒng)體系結(jié)構(gòu)、選擇技術(shù)、設(shè)計(jì)子系統(tǒng)、可重用的設(shè)計(jì)模式、指定類的接口、不間斷的測試等內(nèi)容；4.實(shí)例講解。

教材及主要參考書目：

1.姚書珍，李虎．UML和模式應(yīng)用，機(jī)械工業(yè)出版社，2002；

2.I. Jacobson,G. Booch,J.Rumbaug著，周伯生等譯統(tǒng)一軟件開發(fā)過程，機(jī)械工業(yè)出版社，2002。

預(yù)修課程：軟件工程、C＋＋或JAVA

課程編號：14_080104 課程名稱：軟件開發(fā)方法學(xué)

總 學(xué) 時(shí)：54 學(xué) 分：3

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：I

教學(xué)要求：學(xué)習(xí)和掌握面向?qū)ο筌浖こ谭椒▽W(xué)，能夠保證學(xué)生適應(yīng)未來IT企業(yè)的各種挑戰(zhàn)。通過解析軟件工程中的原理及其在實(shí)際中的應(yīng)用，以指導(dǎo)本專業(yè)學(xué)生靈活運(yùn)用該理論、技術(shù)和方法，解決實(shí)際項(xiàng)目開發(fā)中的各種問題。要求研究生掌握軟件開發(fā)的基本理論和基本方法，且能運(yùn)用軟件開發(fā)方法學(xué)分析解決實(shí)際問題。

教學(xué)內(nèi)容：本課程內(nèi)容包括：可視化建模與UML，需求獲取，面向?qū)ο蠓治觯嫦驅(qū)ο笤O(shè)計(jì)，面向?qū)ο髮?shí)現(xiàn)，面向?qū)ο鬁y試，項(xiàng)目組織和溝通，項(xiàng)目管理基礎(chǔ)。

教材及主要參考書目：

1.布呂格，迪圖瓦，面向?qū)ο筌浖こ?FONT FACE="Times New Roman, serif">:使用UML、模式與Java（第三版），清華大學(xué)出版社，2011；

2.賁可榮等，軟件工程：基于項(xiàng)目的面向?qū)ο笱芯糠椒ǎ瑱C(jī)械工業(yè)出版社，2009。

預(yù)修課程：軟件工程，程序設(shè)計(jì)基礎(chǔ)

課程編號：14)080105 課程名稱：數(shù)據(jù)挖掘

總學(xué) 時(shí)：54 學(xué) 分：3

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：數(shù)據(jù)挖掘是一項(xiàng)較新的數(shù)據(jù)庫技術(shù)，它基于由日常積累的大量數(shù)據(jù)所構(gòu)成的數(shù)據(jù)庫，對海量數(shù)據(jù)進(jìn)行深入分析，從中發(fā)現(xiàn)潛在的、有價(jià)值的信息。數(shù)據(jù)挖掘可幫助人們更有效地分析和理解數(shù)據(jù)，挖掘數(shù)據(jù)背后隱藏知識，從而做出正確決策。因此，數(shù)據(jù)挖掘的研究和應(yīng)用已成為數(shù)據(jù)庫研究、開發(fā)最活躍的分支之一。數(shù)據(jù)挖掘主要研究如何通過構(gòu)建算法模型獲取知識，從而做出決策的問題。通過《數(shù)據(jù)挖掘》的學(xué)習(xí)和研究，要求研究生掌握數(shù)據(jù)挖掘的基本理論和基本方法，且能運(yùn)用數(shù)據(jù)挖掘的理論和方法分析解決實(shí)際問題，為算法設(shè)計(jì)與分析奠定理論基礎(chǔ)。

教學(xué)內(nèi)容：1．?dāng)?shù)據(jù)預(yù)處理；2．?dāng)?shù)據(jù)倉庫與聯(lián)機(jī)分析處理；3．挖掘頻繁模式、關(guān)聯(lián)和相關(guān)性；4．分類；5．聚類；6．利群點(diǎn)檢測。

教材及主要參考書目：

1.Jiawei Han & MichelineKamber 著，數(shù)據(jù)挖掘 – 概念與技術(shù)，機(jī)械工業(yè)出版社，2001；

2.武森、高學(xué)東、(德)巴斯蒂安編著，數(shù)據(jù)倉庫與數(shù)據(jù)挖掘，冶金工業(yè)出版社，2003；

3.Inmon W.H著，數(shù)據(jù)倉庫，機(jī)械工業(yè)出版社，2001；

4.朱明著，數(shù)據(jù)挖掘（第二版），中國科學(xué)技術(shù)大學(xué)出版社，2008；

5.王珊等著，數(shù)據(jù)倉庫技術(shù)與聯(lián)機(jī)分析處理，科學(xué)出版社，1999。

預(yù)修課程：數(shù)據(jù)庫，計(jì)算機(jī)網(wǎng)絡(luò)，離散數(shù)學(xué)

課程編號：14_080106 課程名稱：高級計(jì)算機(jī)網(wǎng)絡(luò)

總學(xué) 時(shí)：54 學(xué) 分：3

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：使學(xué)生深入了解計(jì)算機(jī)網(wǎng)絡(luò)體系結(jié)構(gòu)，熟悉主要的網(wǎng)絡(luò)協(xié)議和網(wǎng)絡(luò)技術(shù)，學(xué)會基本的網(wǎng)絡(luò)協(xié)議設(shè)計(jì)和分析的方法，了解網(wǎng)絡(luò)的發(fā)展和趨勢，著重討論計(jì)算機(jī)前沿研究領(lǐng)域的重要協(xié)議和關(guān)鍵算法。

教學(xué)內(nèi)容：以TCP/IP協(xié)議棧為例，學(xué)習(xí)計(jì)算機(jī)網(wǎng)絡(luò)的體系結(jié)構(gòu)、網(wǎng)絡(luò)基本模型，網(wǎng)絡(luò)各層協(xié)議及園區(qū)網(wǎng)集成應(yīng)用技術(shù)。了解計(jì)算機(jī)網(wǎng)絡(luò)前沿研究領(lǐng)域的重要協(xié)議和關(guān)鍵算法，內(nèi)容涉及多協(xié)議標(biāo)記交換、多播、寬帶網(wǎng)絡(luò)性能分析、網(wǎng)絡(luò)管理、網(wǎng)絡(luò)安全、千兆位以太網(wǎng)、無線網(wǎng)絡(luò)技術(shù)、移動計(jì)算等內(nèi)容。

教材及主要參考書目：

1.史忠植，高級計(jì)算機(jī)網(wǎng)絡(luò)，電子工業(yè)出版社，2002；

2.謝希仁，計(jì)算機(jī)網(wǎng)絡(luò)（第五版），電子工業(yè)出版社，2006。

預(yù)修課程：計(jì)算機(jī)網(wǎng)絡(luò)基礎(chǔ)

課程編號：14_080107 課程名稱：模式識別

總學(xué) 時(shí)：36 學(xué) 分：2

開設(shè)單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：模式識別是指對表征事物或現(xiàn)象的各種形式的(數(shù)值的、文字的和邏輯關(guān)系的)信息進(jìn)行處理和分析，以對事物或現(xiàn)象進(jìn)行描述、辨認(rèn)、分類和解釋的過程，是信息科學(xué)和人工智能的重要組成部分。是研究用計(jì)算機(jī)自動識別事物的一門科學(xué)，其目的是用機(jī)器完成類似于人類智能通過視覺、聽覺等感官去識別外界環(huán)境的事物。通過本課程的學(xué)習(xí)，使學(xué)生掌握模式識別的基本概念和基本原理，有效地運(yùn)用所學(xué)模式識別知識和方法解決實(shí)際問題，了解其發(fā)展前景。

教學(xué)內(nèi)容：1．貝葉斯決策理論2．概率密度函數(shù)的估計(jì)3．線性和非線性判別函數(shù)4．近鄰法則5．特征提取和選擇6．聚類分析7．人工神經(jīng)網(wǎng)絡(luò)8．模糊模式識別方法

教材及主要參考書目：

1.張學(xué)工，模式識別（第三版），清華大學(xué)出版社，2010；

2.[美]西奧多里蒂斯（SergiosTheodoridis）著，李晶皎 等譯，模式識別（第4版），電子工業(yè)出版社，2010。

 預(yù)修課程：離散數(shù)學(xué)，模糊數(shù)學(xué)，計(jì)算機(jī)語言

課程編號：14_080108 課程名稱：粗糙集理論與方法

總學(xué) 時(shí)：54 學(xué) 分：3

開設(shè)單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：I

教學(xué)要求：粗糙集理論作為一種處理不精確、不一致、不完整等各種不完備的信息有效的工具，一方面得益于他的數(shù)學(xué)基礎(chǔ)成熟、不需要先驗(yàn)知識；另一方面在于它的易用性。由于粗糙集理論創(chuàng)建的目的和研究的出發(fā)點(diǎn)就是直接對數(shù)據(jù)進(jìn)行分析和推理，從中發(fā)現(xiàn)隱含的知識，揭示潛在的規(guī)律，因此是一種天然的數(shù)據(jù)挖掘或者知識發(fā)現(xiàn)方法，它與基于概率論的數(shù)據(jù)挖掘方法、基于模糊理論的數(shù)據(jù)挖掘方法和基于證據(jù)理論的數(shù)據(jù)挖掘方法等其他處理不確定性問題理論的方法相比較，最顯著的區(qū)別是它不需要提供問題所需處理的數(shù)據(jù)集合之外的任何先驗(yàn)知識，而且與處理其他不確定性問題的理論有很強(qiáng)的互補(bǔ)性。通過《粗糙集理論與方法》的學(xué)習(xí)和研究，要求研究生掌握粗糙集的基本理論和基本方法，且能運(yùn)用粗糙集的理論和方法分析解決實(shí)際的問題，為數(shù)據(jù)挖掘、知識發(fā)現(xiàn)奠定理論基礎(chǔ)。

教學(xué)內(nèi)容：知識；不精確范疇，近似與粗糙集；知識約簡；知識庫的依賴性；知識表達(dá)系統(tǒng)；決策表；知識推理；決策；數(shù)據(jù)分析；相異性分析；開關(guān)電路；機(jī)器學(xué)習(xí)等。

教材及主要參考書目：

1.Zdzislaw Pawlak, Rough sets theoretical aspects of reasoning aboutdata, Kluwer academic publishers, 1991；

2.張文修等，粗糙集理論與方法，科學(xué)出版社，2001；

3.劉清，rough集及Rough推論，科學(xué)出版社，2001；

4.王國胤,Rough 集理論與知識獲取，西安交通大學(xué)出版社，2001。

預(yù)修課程：離散數(shù)學(xué)，數(shù)據(jù)庫理論，概率論等

課程編號：14_080109 課程名稱：高級數(shù)據(jù)庫系統(tǒng)

總學(xué) 時(shí)：54 學(xué) 分：3

開設(shè)單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：通過本課程的學(xué)習(xí)，使學(xué)生掌握高級數(shù)據(jù)庫——多媒體數(shù)據(jù)庫的基本原理，掌握多媒體數(shù)據(jù)庫應(yīng)用系統(tǒng)的設(shè)計(jì)方法，如文本、音頻、圖像和視頻查詢等方法，了解高級數(shù)據(jù)庫技術(shù)的發(fā)展動向。

教學(xué)內(nèi)容：1.多媒體、多媒體技術(shù)及多媒體數(shù)據(jù)庫等基本概念和基本知識；2.文本處理與信息檢索基本概念和模型；3.音頻索引與檢索方法和技術(shù)；4.圖像索引與檢索方法和技術(shù)；5.視頻索引、檢索與結(jié)構(gòu)化方法。

教材及主要參考書目：

1.馬修軍編著，多媒體數(shù)據(jù)庫與內(nèi)容檢索，北京大學(xué)出版社，2007；

2.王意杰，面向?qū)ο蟮臄?shù)據(jù)庫技術(shù)，電子工業(yè)出版社，2003；

3.李逸波，多媒體數(shù)據(jù)庫技術(shù)，機(jī)械工業(yè)出版社，2004。

預(yù)修課程：數(shù)據(jù)結(jié)構(gòu)，操作系統(tǒng)，離散數(shù)學(xué)，數(shù)據(jù)庫系統(tǒng)概論，多媒體技術(shù)

課程編號：14_080110 課程名稱：形式語言與自動機(jī)理論

總 課 時(shí)：36 學(xué) 分：2

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課時(shí)間：II

教學(xué)要求：形式語言與自動機(jī)理論是計(jì)算機(jī)科學(xué)理論的重要基礎(chǔ)。主要介紹喬姆斯基文法體系的四類文法以及它們與有限自動機(jī)、下推自動機(jī)、線性界限自動機(jī)和圖靈機(jī)之間的關(guān)系。此外，對語言的各種運(yùn)算和封閉性質(zhì)、判定問題及不可判定性以及確定的上下文無關(guān)語言與LR-文法也要求掌握，并進(jìn)一步研究一些文法和自動機(jī)在文本編輯、編譯程序、標(biāo)注語言以及邏輯電路和時(shí)序電路設(shè)計(jì)中的應(yīng)用。

教學(xué)內(nèi)容：語言及其表示；正規(guī)表達(dá)式、正規(guī)文法與有限自動機(jī)；上下文無關(guān)文法與下推自動機(jī)；圖靈機(jī)；喬姆斯基文法體系；語言的運(yùn)算與封閉性質(zhì)；判定問題與不可判定性；確定的上下文無關(guān)語言和LR-文法。

教材及參考書目：

1.吳哲輝 吳振寰．形式語言與自動機(jī)理論，機(jī)械工業(yè)出版社，2007；

2. 蔣宗禮，姜守旭．形式語言與自動機(jī)理論（第二版），清華大學(xué)出版社，2007。

預(yù)修課程：離散數(shù)學(xué)，編譯原理

課程編號：14_080111 課程名稱：機(jī)器學(xué)習(xí)

總 課 時(shí)：36 學(xué) 分：2

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課時(shí)間：II

教學(xué)要求：機(jī)器學(xué)習(xí)所關(guān)注的問題是計(jì)算機(jī)程序如何隨著經(jīng)驗(yàn)積累自動提高性能。近年來機(jī)器學(xué)習(xí)已在許多領(lǐng)域得到成功的應(yīng)用。通過本課程的學(xué)習(xí)使學(xué)生掌握常用的機(jī)器學(xué)習(xí)算法，并能利用所學(xué)的算法自己設(shè)計(jì)一個(gè)學(xué)習(xí)系統(tǒng)。

教學(xué)內(nèi)容：感念學(xué)習(xí)和一般到特殊序；決策樹學(xué)習(xí)；人工神經(jīng)網(wǎng)絡(luò)；評估假設(shè)；貝葉斯學(xué)習(xí)；計(jì)算學(xué)習(xí)理論；基于實(shí)例的學(xué)習(xí)；遺傳算法；學(xué)習(xí)規(guī)則集合；分析學(xué)習(xí)；增強(qiáng)學(xué)習(xí)。

教材及主要參考書目：

1. Tom M.Mitchell著，曾華軍、張銀奎等譯，機(jī)器學(xué)習(xí)，機(jī)械工業(yè)出版社，2003。

2.李航，統(tǒng)計(jì)學(xué)習(xí)方法，清華大學(xué)出版社，2012。

預(yù)修課程：人工智能原理

課程編號：14_080112 課程名稱：網(wǎng)絡(luò)與信息安全

總 學(xué) 時(shí)：36 學(xué) 分：2

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：隨著計(jì)算機(jī)網(wǎng)絡(luò)的普及與信息經(jīng)濟(jì)的迅猛發(fā)展，人們對網(wǎng)絡(luò)與信息安全問題日益關(guān)注。通過對本課程的學(xué)習(xí)，學(xué)生可以了解和掌握網(wǎng)絡(luò)與信息安全的基本原理、技術(shù)及最新的研究成果，并具有基本的實(shí)踐能力，同時(shí)培養(yǎng)學(xué)生的抽象邏輯思維能力和軟件開發(fā)能力，為今后的科研和實(shí)際工作打下良好基礎(chǔ)。

教學(xué)內(nèi)容：經(jīng)典密碼、對稱密碼、非對稱密碼、密鑰管理技術(shù)；散列算法（Hash）、數(shù)字簽名、身份鑒別和訪問控制；電子郵件的安全、IP的安全、Web的安全、掃描、攻擊與入侵檢測；防火墻技術(shù)、操作系統(tǒng)的安全、病毒。

教材及主要參考書目：

1.William Stallings, Cryptography and network security: principles andpractice(2nd Edition), Prentice Hall, 2003；

2.楊明，胥光輝等譯，密碼編碼學(xué)與網(wǎng)絡(luò)安全：原理與實(shí)踐（第二版），電子工業(yè)出版社，2001；

3.Bruce Schneier , Applied Cryptography, Protocols, algorithms, andsource code in C (2nd Edition), Wiley 1995；

4.W. Richard Stevens，TCP/IPIllustracted Volume 1:The Protocols, 機(jī)械工業(yè)出版社，2000。

預(yù)修課程：計(jì)算機(jī)網(wǎng)絡(luò)，數(shù)據(jù)結(jié)構(gòu)，操作系統(tǒng)

課程編號：14_080113 課程名稱：高級人工智能

總學(xué) 時(shí)：54 學(xué) 分：3

開設(shè)單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期： I

教學(xué)要求：人工智能是研究、開發(fā)用于模擬、延伸和擴(kuò)展人的智能的理論、方法、技術(shù)及應(yīng)用系統(tǒng)的一門新的技術(shù)科學(xué)。人工智能是計(jì)算機(jī)科學(xué)的一個(gè)分支，它企圖了解智能的實(shí)質(zhì)，并生產(chǎn)出一種新的能以人類智能相似的方式做出反應(yīng)的智能機(jī)器，該領(lǐng)域的研究包括機(jī)器人、語言識別、圖像識別、自然語言處理和專家系統(tǒng)等。通過本課程的學(xué)習(xí)使學(xué)生了解國內(nèi)人工智能研究的基本情況，熟悉人工智能的研究領(lǐng)域和相關(guān)的主要技術(shù)，掌握狀態(tài)空間的搜索算法及知識的表示和推理方法，啟發(fā)學(xué)生對人工智能的興趣，培養(yǎng)知識創(chuàng)新和技術(shù)創(chuàng)新能力。

教學(xué)內(nèi)容：1．知識表示方法；2.確定性推理；3.非經(jīng)典推理；4.計(jì)算智能；5.專家系統(tǒng)；6.機(jī)器學(xué)習(xí)；7.自動規(guī)劃；8.分布式人工智能與Agent；9.自然語言理解。

教材及主要參考書目：

1.人工智能及其應(yīng)用，蔡自興 徐光祐，清華大學(xué)出版社，2010.

2.Nils J. Nilsson著，鄧扣根、莊越挺譯，人工智能，機(jī)械工業(yè)出版社，2000；

3.陸汝鈐著，人工智能，科學(xué)出版社，2002。

預(yù)修課程：邏輯基礎(chǔ)，離散數(shù)學(xué)，編譯原理

課程編號：14_080114 課程名稱：虛擬現(xiàn)實(shí)及應(yīng)用

總 課 時(shí)：54 　學(xué) 分：3

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課時(shí)間：II

教學(xué)要求：虛擬現(xiàn)實(shí)（VirtualReality，簡稱VR），就是采用以計(jì)算機(jī)技術(shù)為核心的現(xiàn)代高技術(shù)生成逼真的視、聽、觸覺一體化的特定范圍的虛擬環(huán)境，用戶借助必要的設(shè)備以自然的方式與虛擬環(huán)境中的對象進(jìn)行交互作用、相互影響，從而產(chǎn)生親臨等同真實(shí)環(huán)境的感受和體驗(yàn)。虛擬現(xiàn)實(shí)帶來了人機(jī)交互的新概念和新方法，使得人機(jī)交互更加自然、和諧。通過該課程的學(xué)習(xí)，使學(xué)生掌握虛擬現(xiàn)實(shí)的基本技術(shù)及其應(yīng)用情況。

教學(xué)內(nèi)容：1.VRML語言；2.虛擬現(xiàn)實(shí)X3D；3.虛擬全景技術(shù)；4.粒子系統(tǒng)；5.虛擬人運(yùn)動行為設(shè)計(jì)；6.虛擬現(xiàn)實(shí)游戲系統(tǒng)設(shè)計(jì)。

教材及主要參考書目：

1.楊寶民、朱一寧，分布式虛擬現(xiàn)實(shí)技術(shù)及其應(yīng)用，科學(xué)出版社，2000；

2.汪成為、高文、王行仁，靈境（虛擬現(xiàn)實(shí)）技術(shù)的理論、實(shí)現(xiàn)及應(yīng)用，清華大學(xué)出版社，1996。

預(yù)修課程：人工智能，計(jì)算機(jī)圖形學(xué)

課程編號：14_080115 課程名稱：多媒體技術(shù)

總課時(shí)數(shù)：54 學(xué) 分：3

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：多媒體技術(shù)集聲、文、圖、像于一體,使計(jì)算機(jī)具有了類似于人類接受外界信息所有的視覺、聽覺等感知能力和豐富的信息表現(xiàn)能力。多媒體技術(shù)是上世界90年代來飛速發(fā)展的一門技術(shù)，它的應(yīng)用已深入到各個(gè)行業(yè)。通過該課程的學(xué)習(xí)，使學(xué)生了解多媒體技術(shù)的主要原理，掌握多媒體軟硬件技術(shù)和各種應(yīng)用及多媒體信息系統(tǒng)的開發(fā)方法，為進(jìn)一步的學(xué)習(xí)打下基礎(chǔ)。本課程是多媒體信息系統(tǒng)研究方向的一門基礎(chǔ)的專業(yè)課。

教學(xué)內(nèi)容：該課程為計(jì)算機(jī)專業(yè)研究生必修課之方向課。主要內(nèi)容有：1．多媒體基礎(chǔ)，主要介紹媒體表示及數(shù)據(jù)壓縮；2．多媒體的軟件、硬件平臺及相關(guān)的多媒體設(shè)備，多媒體集成與創(chuàng)作；3．基于時(shí)間的媒體與同步、多媒體操作系統(tǒng)設(shè)計(jì)原理等；4．多媒體信息管理，主要介紹超媒體與Web技術(shù)、多媒體數(shù)據(jù)庫與基于內(nèi)容檢索等；5．多媒體通信網(wǎng)絡(luò)與分布應(yīng)用。

教材及主要參考書目：

1.胡曉峰等編著，多媒體技術(shù)教程(第3版)，人民郵電出版社，2002；

2.Ralf Steinmetz, Klara Nahrstedt, Multimedia:Computing，Communication and Applications, Prentice Hall,2002；

3.趙子江，多媒體技術(shù)應(yīng)用教程（第四版），機(jī)械工業(yè)出版社，2006；

4.馬華東，多媒體技術(shù)原理及應(yīng)用，清華大學(xué)出版社，2002。

預(yù)修課程：PhotoShop,HTML, Flash, Premiere等。

課程編號：14_080116 課程名稱：計(jì)算機(jī)視覺

總學(xué) 時(shí)：36 學(xué) 分：2

開設(shè)單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：本課程立足于介紹機(jī)器視覺的基本概念、原理、技術(shù)和方法，使學(xué)生能追蹤最新發(fā)展而奠定基礎(chǔ)。通過這門課程的學(xué)習(xí)，學(xué)生系統(tǒng)掌握從低層的視覺信息處理、圖像描述、模式識別到高層的圖像理解和三維視覺等與機(jī)器視覺相關(guān)的基本概念和最新的技術(shù)發(fā)展趨勢。

教學(xué)內(nèi)容：圖像構(gòu)成、二值圖像分析、數(shù)字幾何學(xué)、邊緣檢測、紋理分析、明暗分析、彩色感知、立體視覺、視覺系統(tǒng)標(biāo)定、物體表示、二維運(yùn)動分析、三維運(yùn)動分析、物體識別等，另外還介紹機(jī)器視覺的硬件和軟件技術(shù)以及一些具體應(yīng)用實(shí)例。

教材及主要參考書目：

1.韓九強(qiáng)，機(jī)器視覺及應(yīng)用，高等教育出版社，2009；

2.賈云得 ，機(jī)器視覺，科學(xué)出版社，2000。

 預(yù)修課程：計(jì)算機(jī)圖形學(xué)，算法設(shè)計(jì)與分析，計(jì)算機(jī)語言

課程編號：14_080117 課程名稱：高級操作系統(tǒng)

總 課 時(shí)：36 學(xué) 分：2

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：《操作系統(tǒng)》是計(jì)算機(jī)軟件系統(tǒng)中最復(fù)雜、最核心的軟件，隨著計(jì)算機(jī)網(wǎng)絡(luò)、計(jì)算機(jī)體系結(jié)構(gòu)的發(fā)展，出現(xiàn)了比傳統(tǒng)的單機(jī)或集中式操作系統(tǒng)更復(fù)雜、更先進(jìn)、更高級的反映了當(dāng)代計(jì)算機(jī)操作系統(tǒng)發(fā)展動向和新水平的高級操作系統(tǒng)。通過《高級操作系統(tǒng)》的學(xué)習(xí)，使學(xué)生深入理解操作系統(tǒng)的結(jié)構(gòu)模式、網(wǎng)絡(luò)操作系統(tǒng)、分布式操作系統(tǒng)和多處理機(jī)操作系統(tǒng)，達(dá)到學(xué)、用、開發(fā)相結(jié)合的目的。

教學(xué)內(nèi)容：操作系統(tǒng)的結(jié)構(gòu)設(shè)計(jì)；網(wǎng)絡(luò)操作系統(tǒng)；網(wǎng)絡(luò)操作系統(tǒng)NetWare；分布式操作系統(tǒng)；分布式操作系統(tǒng)中的通信和同步；多處理機(jī)操作系統(tǒng)；多處理機(jī)操作系統(tǒng)的發(fā)展。

教材與主要參考書目：

1.徐甲同著，高級操作系統(tǒng)（第二版），西安電子科技大學(xué)出版社，2006；

2. LlreshVahalia 著 聊鴻斌、曲廣之等譯，UNIX高級教程系統(tǒng)技術(shù)內(nèi)幕，清華大學(xué)出版，1999；

3.李善平、陳文智等，Linux內(nèi)核指導(dǎo)，浙江大學(xué)出版社，2002；

4. WilliamStallings, Operating Systems Internal And Design Principles (3rded.), Prentice Hall ,1998。

預(yù)修課程：數(shù)據(jù)結(jié)構(gòu)，操作系統(tǒng)，數(shù)據(jù)庫原理，計(jì)算機(jī)網(wǎng)絡(luò)

課程編號：14_080118 課程名稱：并行算法

總 課 時(shí)：36 學(xué) 分：2

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：并行算法是計(jì)算機(jī)科學(xué)理論的重要分支。通過本課程的學(xué)習(xí)要求研究生掌握并行算法的基礎(chǔ)和設(shè)計(jì)與分析方法以及本學(xué)科的最新成就和發(fā)展趨勢。

教學(xué)內(nèi)容：并行計(jì)算的硬件基礎(chǔ)，當(dāng)代并行計(jì)算系統(tǒng)及其結(jié)構(gòu)模型，并行計(jì)算的核心內(nèi)容，并行算法設(shè)計(jì)及并行數(shù)值算法及并行計(jì)算的軟件支持，并行程序的設(shè)計(jì)原理與方法。

教材及主要參考書目：

1.陳國良著，并行算法實(shí)踐，高等教育出版社，2002。

預(yù)修課程：算法分析與設(shè)計(jì)

課程編號：14_080119 課程名稱：計(jì)算機(jī)體系結(jié)構(gòu)

總課 時(shí)：54 學(xué) 分：3

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：該課程主要介紹計(jì)算機(jī)體系結(jié)構(gòu)以及計(jì)算機(jī)組織與設(shè)計(jì)。學(xué)習(xí)計(jì)算機(jī)硬件操作所必需的基本知識，熟練掌握計(jì)算機(jī)組織和設(shè)計(jì)的各種部件，設(shè)計(jì)組織計(jì)算機(jī)的詳細(xì)步驟。

教學(xué)內(nèi)容：數(shù)字邏輯電路、數(shù)字部件、數(shù)據(jù)表示法；寄存器傳輸與微操作、微程序控制、中央處理機(jī)、程序設(shè)計(jì)、流水處理與向量處理；輸入輸出組織、存儲器組織、多處理機(jī)。

教材及主要參考書目：

1.張晨曦，計(jì)算機(jī)體系結(jié)構(gòu)（第二版），高等教育出版社，2005；

2.何友鳴，計(jì)算機(jī)組成與結(jié)構(gòu)，清華大學(xué)出版社，2007；

3.馬禮，計(jì)算機(jī)原理與系統(tǒng)結(jié)構(gòu)，人民郵電出版社，2004。

預(yù)修課程：數(shù)字邏輯電路，模擬電路，匯編語言

課程編號：14_080125 課程名稱：網(wǎng)絡(luò)科學(xué)

總學(xué) 時(shí)：36 學(xué) 分：2

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：網(wǎng)絡(luò)科學(xué)是研究復(fù)雜網(wǎng)絡(luò)系統(tǒng)的定性和定量規(guī)律的一門嶄新的交叉科學(xué)。通過課程學(xué)習(xí)，使學(xué)生能夠具備把網(wǎng)絡(luò)科學(xué)方法用于實(shí)際網(wǎng)絡(luò)分析的能力，包括真實(shí)網(wǎng)絡(luò)的統(tǒng)計(jì)屬性分析、真實(shí)網(wǎng)絡(luò)建模以及網(wǎng)絡(luò)結(jié)構(gòu)的行為動力學(xué)分析。

教學(xué)內(nèi)容：網(wǎng)絡(luò)科學(xué)的基本概念、網(wǎng)絡(luò)基本拓?fù)湫再|(zhì)、度相關(guān)性與社區(qū)結(jié)構(gòu)、節(jié)點(diǎn)重要性與相似性、隨即網(wǎng)絡(luò)模型、小世界網(wǎng)絡(luò)模型、無標(biāo)度網(wǎng)絡(luò)模型、網(wǎng)絡(luò)傳播和擴(kuò)散以及網(wǎng)絡(luò)博弈等。

教材及主要參考書目：

1.王小帆等，網(wǎng)絡(luò)科學(xué)導(dǎo)論，高等教育出版社，2012；

2. MarkNewman，Networks:An Introduction，OxfordUniversity Press，2010。

預(yù)修課程：線性代數(shù)，概率與統(tǒng)計(jì)，程序設(shè)計(jì)基礎(chǔ)

課程編號：14_080121 課程名稱：數(shù)理邏輯

總學(xué) 時(shí)：54 學(xué) 分：3

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：I

教學(xué)要求：數(shù)理邏輯是用數(shù)學(xué)方法研究邏輯學(xué)問題，特別是研究數(shù)學(xué)中的邏輯問題的科學(xué)。它與計(jì)算機(jī)科學(xué)有著緊密的聯(lián)系，是計(jì)算機(jī)推理的理論基礎(chǔ)。學(xué)習(xí)該課程的目的就是培養(yǎng)學(xué)生的抽象思維能力，為進(jìn)一步學(xué)習(xí)計(jì)算機(jī)科學(xué)的其它知識奠定基礎(chǔ)。

教學(xué)內(nèi)容：1．經(jīng)典命題邏輯和一階邏輯；2．可靠性和完備性；3．公理推演系統(tǒng)；4．構(gòu)造性邏輯；5．模態(tài)命題邏輯；6．模態(tài)一階邏輯等。

教材及主要參考書目：

1.閆林，數(shù)理邏輯基礎(chǔ)與粒計(jì)算，科學(xué)出版社，2007；

2.陸鐘萬，面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯，科學(xué)出版社，1998；

3.王元元，計(jì)算機(jī)科學(xué)中的邏輯學(xué)，科學(xué)出版社，1989；

4.周昌樂，認(rèn)識邏輯導(dǎo)論，清華大學(xué)出版社，2001。

預(yù)修課程：離散數(shù)學(xué)

課程編號：14_080122 課程名稱：嵌入式系統(tǒng)設(shè)計(jì)

總學(xué) 時(shí)：54 學(xué) 分：3

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：嵌入式系統(tǒng)設(shè)計(jì)融合了計(jì)算機(jī)軟/硬件技術(shù)、通信技術(shù)和半導(dǎo)體微電子技術(shù)。該技術(shù)在軍事、航空、工業(yè)控制、汽車電子、機(jī)器人、數(shù)字家庭和通信等領(lǐng)域得到廣泛應(yīng)用。通過本課程的學(xué)習(xí)，使學(xué)生了解和熟悉嵌入式系統(tǒng)設(shè)計(jì)的基本思想，掌握嵌入式Linux系統(tǒng)開發(fā)的基本方法，提高解決實(shí)際問題的能力。

教學(xué)內(nèi)容：1．嵌入式系統(tǒng)開發(fā)基礎(chǔ)；2．嵌入式Linux內(nèi)核、引導(dǎo)系統(tǒng)和文件系統(tǒng)的配置及編譯；3．嵌入式驅(qū)動程序開發(fā)；4．嵌入式圖形界面編程；5．嵌入式網(wǎng)絡(luò)程序設(shè)計(jì)；6．嵌入式系統(tǒng)開發(fā)實(shí)例等。

教材及主要參考書目：

1.俞輝，嵌入式Linux程序設(shè)計(jì)案例與實(shí)驗(yàn)教程，機(jī)械工業(yè)出版社，2009；

2.田澤，嵌入式系統(tǒng)開發(fā)與應(yīng)用教程，北京航空航天大學(xué)出版社，2005。

預(yù)修課程：單片機(jī)原理

課程編號：14_080123 課程名稱：微處理器設(shè)計(jì)

總學(xué) 時(shí)：36 學(xué) 分：2

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：II

教學(xué)要求：微處理器設(shè)計(jì)技術(shù)涵蓋了微處理器架構(gòu)、邏輯設(shè)計(jì)、電路設(shè)計(jì)、版圖、半導(dǎo)體制造、微處理器封裝以及硅片的調(diào)試和測試等過程。通過本課程的學(xué)習(xí)，使學(xué)生理解低功耗微處理器設(shè)計(jì)技術(shù)，掌握基于ARM的微處理器體系結(jié)構(gòu)，熟悉微處理器系統(tǒng)的外部接口。

教學(xué)內(nèi)容：1．微處理器簡介；2．微處理器低功耗技術(shù)；3．ARM微處理器系統(tǒng)結(jié)構(gòu)；4．微處理器存儲控制、輸入輸出、通信接口等。

教材及主要參考書目：

1.杜春雷，ARM體系結(jié)構(gòu)與編程，清華大學(xué)出版社，2003；

2.石光明，微處理器原理及其系統(tǒng)設(shè)計(jì)，高等教育出版社，2013。

預(yù)修課程：計(jì)算機(jī)組成

課程編號：14_080124 課程名稱：專業(yè)英語

總學(xué) 時(shí)：36 學(xué) 分：1

開課單位：計(jì)算機(jī)與信息工程學(xué)院 開課學(xué)期：I

教學(xué)要求：計(jì)算機(jī)專業(yè)英語是計(jì)算機(jī)及相關(guān)專業(yè)的一門專業(yè)基礎(chǔ)課程。通過本課程的學(xué)習(xí)，使學(xué)生熟悉計(jì)算機(jī)相關(guān)領(lǐng)域的知識點(diǎn)和英漢專業(yè)術(shù)語的對應(yīng)關(guān)系。

教學(xué)內(nèi)容：計(jì)算機(jī)基礎(chǔ)、計(jì)算機(jī)網(wǎng)絡(luò)、云計(jì)算、數(shù)據(jù)庫、程序設(shè)計(jì)語言、MSDN、編譯原理、離散數(shù)學(xué)、軟件工程、嵌入式系統(tǒng)、數(shù)據(jù)結(jié)構(gòu)與算法、操作系統(tǒng)等相關(guān)知識的英語專業(yè)詞匯、難句分析、語法、技能訓(xùn)練和閱讀材料等。

教材及主要參考書目：

1.邱曉紅，吳滄海，計(jì)算機(jī)專業(yè)英語，清華大學(xué)出版社，2011；

2.林延葵，韋樹梅，李曉霞，計(jì)算機(jī)實(shí)用英語，電子工業(yè)出版社，2010。

預(yù)修課程：大學(xué)英語