院校排名函數(shù)的應(yīng)用推薦 1.復(fù)旦大學(xué)

教師隊(duì)伍情況
經(jīng)過近10年的課程建設(shè)，圍繞本課程，形成了由廣西首批教學(xué)團(tuán)隊(duì)負(fù)責(zé)人、學(xué)校示范教授、教學(xué)名師董榮勝具體負(fù)責(zé)，由全國模范教師、廣西教學(xué)名師古天龍教授指導(dǎo)，擁有學(xué)?！笆褞煹隆睒?biāo)兵稱號(hào)的，多次獲得國家和省部級(jí)有關(guān)教學(xué)獎(jiǎng)，發(fā)表多篇（部）在國內(nèi)較有影響教學(xué)論著、結(jié)構(gòu)合理、年輕而又有富有朝氣的師資隊(duì)伍。
一、課程負(fù)責(zé)人

董榮勝，男，廣西高等學(xué)校教學(xué)名師，桂林電子科技大學(xué)計(jì)算思維及應(yīng)用研究室主任、教授、碩士生導(dǎo)師。

二、教學(xué)指導(dǎo)及專題講座

古天龍，男，博士，桂林電子科技大學(xué)副校長、教授、博士生導(dǎo)師。

三、主講教師

鐘艷如，女，碩士，桂林電子科技大學(xué)計(jì)算機(jī)與控制學(xué)院副院長，計(jì)算思維及應(yīng)用研究室教授、碩士生導(dǎo)師。

陳光喜，男，博士，桂林電子科技大學(xué)現(xiàn)代教育技術(shù)中心主任、副教授、碩士生導(dǎo)師。

趙嶺忠，男，博士，桂林電子科技大學(xué)計(jì)算思維及應(yīng)用研究室副教授、碩士生導(dǎo)師。

常 亮，男，博士，桂林電子科技大學(xué)計(jì)算思維及應(yīng)用研究室副教授、碩士生導(dǎo)師。

李鳳英，女，碩士，桂林電子科技大學(xué)計(jì)算思維及應(yīng)用研究室講師。

課程負(fù)責(zé)人董榮勝教授
董榮勝，男，廣西高等學(xué)校教學(xué)名師，桂林電子科技大學(xué)計(jì)算思維及應(yīng)用研究室主任、教授、碩士研究生導(dǎo)師。1989年7月畢業(yè)于中國地質(zhì)大學(xué)計(jì)算機(jī)科學(xué)系，現(xiàn)為全國高等學(xué)校計(jì)算機(jī)教育研究會(huì)理事、中國計(jì)算機(jī)學(xué)會(huì)教育專業(yè)委員會(huì)委員、廣西計(jì)算機(jī)學(xué)會(huì)理事、廣西首批區(qū)級(jí)教學(xué)團(tuán)隊(duì)負(fù)責(zé)人、桂林電子科技大學(xué)教學(xué)指導(dǎo)委員會(huì)委員、學(xué)校示范教授、教學(xué)名師。

研究方向：網(wǎng)絡(luò)安全協(xié)議、形式化技術(shù)、計(jì)算思維與計(jì)算機(jī)方法論。承擔(dān)了國家八五攻關(guān)項(xiàng)目、總裝備部項(xiàng)目、國家863計(jì)劃項(xiàng)目、國家自然科學(xué)基金、國防預(yù)研項(xiàng)目、廣西科學(xué)基金等國家和省部級(jí)科研項(xiàng)目10余項(xiàng)，是計(jì)算學(xué)科認(rèn)知理論――計(jì)算機(jī)科學(xué)與技術(shù)方法論的構(gòu)建者和倡導(dǎo)者，在國內(nèi)外重要學(xué)術(shù)刊物和會(huì)議發(fā)表學(xué)術(shù)論文80余篇，出版著作型教材2部，以第一作者撰寫的論文和著作分別被他人引用160多次，主要成果被美國計(jì)算學(xué)科教程（CC2001）和《中國計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科教程2002》采用，撰寫的教材《計(jì)算機(jī)科學(xué)導(dǎo)論――思想與方法》（高等教育出版社，2007年9月出版）被北京大學(xué)國家級(jí)精品課程“計(jì)算概論”列為推薦教材的首位、撰寫的《計(jì)算機(jī)科學(xué)與技術(shù)方法論》（人民郵電出版社，2002年9月出版）與《計(jì)算機(jī)科學(xué)導(dǎo)論――思想與方法》分別被華中科技大學(xué)等國內(nèi)數(shù)十所高校選為教材，主持和參與的教改項(xiàng)目分別獲廣西優(yōu)秀教學(xué)成果獎(jiǎng)一等獎(jiǎng)2次、三等獎(jiǎng)2次，撰寫的教材分別獲廣西優(yōu)秀教材一等獎(jiǎng)1次、廣西社會(huì)科學(xué)優(yōu)秀成果三等獎(jiǎng)1次。

主講教師古天龍教授
古天龍（教授/博導(dǎo)/博士）1964.10生于山西、芮城，分別于1984.08、1986.12、1996.01在太原理工大學(xué)、西安電子科技大學(xué)、浙江大學(xué)獲工學(xué)學(xué)士、碩士、博士學(xué)位。1998.01至2002.03在澳大利亞CURTIN理工大學(xué)、MURDOCH大學(xué)進(jìn)行博士后研究。1998年破格晉升教授，2001.03至今為西安電子科技大學(xué)博士生導(dǎo)師。2003.08至今任桂林電子科技大學(xué)副校長?，F(xiàn)為IEEE高級(jí)會(huì)員、ACM會(huì)員、教育部高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)教學(xué)指導(dǎo)委員會(huì)軟件工程專業(yè)分會(huì)委員、中國計(jì)算機(jī)學(xué)會(huì)Petri網(wǎng)專委會(huì)委員、中國計(jì)算機(jī)學(xué)會(huì)計(jì)算機(jī)工程與工藝專委會(huì)委員、中國人工智能學(xué)會(huì)知識(shí)工程與分布式智能專委會(huì)委員、廣西計(jì)算機(jī)學(xué)會(huì)副理事長、《計(jì)算機(jī)科學(xué)》編委。

多年來一直從事計(jì)算機(jī)科學(xué)與技術(shù)和控制科學(xué)與工程交叉學(xué)科的教學(xué)和科研工作，主要研究領(lǐng)域?yàn)椋很浖こ膛c形式化方法；知識(shí)工程與符號(hào)計(jì)算；嵌入式系統(tǒng)；傳感器網(wǎng)絡(luò)與協(xié)議工程；離散事件/混雜系統(tǒng)等。近年來主持國家863計(jì)劃項(xiàng)目、國家自然科學(xué)基金、國防預(yù)研重點(diǎn)項(xiàng)目、國防預(yù)研基金、中澳國際合作項(xiàng)目、教育部留學(xué)回國人員基金等20余項(xiàng)。出版學(xué)術(shù)著作/教材《軟件開發(fā)的形式化方法》（高等教育出版社，2005）、《網(wǎng)絡(luò)協(xié)議的形式化分析與設(shè)計(jì)》（電子工業(yè)出版社，2003）、《軟件工程》（電子工業(yè)出版社，2004）、《計(jì)算機(jī)科學(xué)與技術(shù)方法論》（人民郵電出版社，2002）、《離散數(shù)學(xué)》（電子工業(yè)出版社，2008）等5部，在國內(nèi)外重要學(xué)術(shù)刊物和會(huì)議發(fā)表學(xué)術(shù)論文130篇（其中EI、SCI收錄51篇）。入選“國家百千萬人才工程”(2004)、“廣西十百千人才工程”（2000）、“廣西高校跨世紀(jì)中青年學(xué)科帶頭人”（1996），并榮獲全國模范教師（1998）、國務(wù)院*特殊津貼專家（2004）、廣西優(yōu)秀專家（2007）、廣西優(yōu)秀留學(xué)回國人員（2006）、廣西教學(xué)名師（2008）、電子工業(yè)部優(yōu)秀科技青年（1996）、電子工業(yè)系統(tǒng)優(yōu)秀教師（1997）、廣西高校科技進(jìn)步二等獎(jiǎng)（1998）、廣西優(yōu)秀教材一等獎(jiǎng)（2006）、廣西優(yōu)秀教材一等獎(jiǎng)（2003）、廣西優(yōu)秀教學(xué)成果一等獎(jiǎng)（2004）、廣西社會(huì)科學(xué)優(yōu)秀成果三等獎(jiǎng)（2004）等。

主講教師鐘艷如教授
鐘艷如（教授/碩導(dǎo)） 1965.3生于江西、宜春，分別于1986.07、2000.03于桂林電子科技大學(xué)獲工學(xué)學(xué)士、碩士學(xué)位。2007.12晉升教授?，F(xiàn)任全國高等學(xué)校計(jì)算機(jī)教育研究會(huì)計(jì)算機(jī)網(wǎng)絡(luò)教育分會(huì)理事，廣西計(jì)算機(jī)學(xué)會(huì)會(huì)員，桂林電子科技大學(xué)計(jì)算機(jī)與控制學(xué)院副院長。多年來一直從事計(jì)算機(jī)學(xué)科科學(xué)與工程交叉學(xué)科的教學(xué)和科研工作。

主要研究領(lǐng)域?yàn)椋褐R(shí)工程與符號(hào)計(jì)算、計(jì)算機(jī)輔助精度設(shè)計(jì)、新一代GPS標(biāo)準(zhǔn)體系的理論等。共承擔(dān)和完成科研項(xiàng)目12項(xiàng)，其中包括，主持區(qū)自然科學(xué)基金(2007年)、區(qū)教育廳項(xiàng)目(2004年)、橫向課題(2005年)和?？蒲姓n題(2003年)各1項(xiàng)，參加國家自然科學(xué)基金排名第二(2006年和2009年)2項(xiàng)和排名第四(2003年) 1項(xiàng)，參加（排名第二,2004年）教育部科學(xué)技術(shù)研究重大項(xiàng)目子課題1項(xiàng)，參加（排名第二，2006年）區(qū)自然科學(xué)基金1項(xiàng)，參加（排名第二，2004年）教育部科學(xué)技術(shù)研究重點(diǎn)項(xiàng)目1項(xiàng)，參加區(qū)教育廳科研項(xiàng)目（排名第二，2002年）和（排名第三，2006年）各1項(xiàng)。共承擔(dān)和完成教改項(xiàng)目6項(xiàng)：主持廣西教育科學(xué)“十五”規(guī)劃立項(xiàng)課題1項(xiàng)，參加區(qū)高等學(xué)校精品課程排名2項(xiàng)（排均為名第三），校級(jí)教改項(xiàng)目3項(xiàng)（其中兩項(xiàng)排名第一，一項(xiàng)排名第二）。共發(fā)表論文40多篇，其中，國際四大索引（SCI、EI、ISR、ISTP）收錄期刊15篇。榮獲廣西優(yōu)秀教學(xué)成果一等獎(jiǎng)(“計(jì)算機(jī)科學(xué)與技術(shù)方法論的建立及其教學(xué)實(shí)踐”，2004，第四)、、《多媒體技術(shù)》網(wǎng)絡(luò)課程獲得廣西教育廳多媒體課件優(yōu)秀獎(jiǎng)（2004，負(fù)責(zé)人）、曾出席中國*廣西壯族自治區(qū)第八次代表大會(huì)，獲得十佳師德標(biāo)兵（2008）等。

主講教師陳光喜副教授
陳光喜（副教授/博士），男，漢族，1971年生。1997年7月復(fù)旦大學(xué)數(shù)學(xué)研究所計(jì)算數(shù)學(xué)專業(yè)碩士畢業(yè)；2002年7月中國科學(xué)院成都計(jì)算所計(jì)算機(jī)軟件與理論專業(yè)博士畢業(yè)。

1997年7月至2003年8月中國科學(xué)院成都計(jì)算所自動(dòng)推理實(shí)驗(yàn)室助理研究員；2003年8月至今，桂林電子科技大學(xué)副教授。2005年6月起任桂林電子科技大學(xué)現(xiàn)代教育技術(shù)中心主任。從事計(jì)算機(jī)軟件與理論、應(yīng)用數(shù)學(xué)專業(yè)的教學(xué)與科研工作。廣西教育技術(shù)協(xié)會(huì)常務(wù)理事。

近3年來參加國家自然基金項(xiàng)目2項(xiàng)，主持廣西教育廳科研和教改項(xiàng)目6項(xiàng)，其它科研項(xiàng)目8項(xiàng)；發(fā)表科研論文24篇,其中EI檢索4篇；發(fā)表教學(xué)論文12篇；主編教材1部。獲桂林市科技進(jìn)步三等獎(jiǎng)1項(xiàng),全國多媒體課件大賽一等獎(jiǎng)1項(xiàng), 全國多媒體課件大賽三等獎(jiǎng)1項(xiàng)，廣西教育教學(xué)軟件大賽一等獎(jiǎng)2項(xiàng)。

主講教師趙嶺忠副教授
趙嶺忠(副教授/博士)，1977.11生于河南、南陽。分別于2002.06、2007.1在桂林電子科技大學(xué)、西安電子科技大學(xué)獲工學(xué)碩士、博士學(xué)位. 近年來主持和參與國家自然科學(xué)基金、廣西自然科學(xué)基金等項(xiàng)目10余項(xiàng)。

涉及領(lǐng)域包括：復(fù)雜生產(chǎn)過程的符號(hào)調(diào)度、面向?qū)ο蠓植际綄?shí)時(shí)系統(tǒng)的建模與任務(wù)調(diào)度、安全協(xié)議分析及模型檢驗(yàn)等. 參與計(jì)算機(jī)科學(xué)與技術(shù)方法論的研究，并于2005年獲廣西區(qū)高等教育教學(xué)成果一等獎(jiǎng). 在《Software Quality Journal》、《計(jì)算機(jī)研究與發(fā)展》、《計(jì)算機(jī)科學(xué)》、《計(jì)算機(jī)集成*系統(tǒng)》、《通信學(xué)報(bào)》、《計(jì)算機(jī)工程》等國內(nèi)核心期刊及“APLAS’07”、“TASE’07”、“PRICAI’06”、“AI’06”、“SEKE’06”等重要的軟件工程和人工智能國際學(xué)術(shù)會(huì)議上發(fā)表和錄用論文近40篇. 目前的研究興趣包括：邏輯程序在人工智能和軟件驗(yàn)證領(lǐng)域的應(yīng)用，抽象解釋理論及其在邏輯程序的分析和驗(yàn)證、軟件安全領(lǐng)域的應(yīng)用,符號(hào)計(jì)算等。

主講教師常亮副教授
常亮(副教授/博士)，1980年6月生，2008年7月畢業(yè)于中國科學(xué)院計(jì)算技術(shù)研究所，獲工學(xué)博士學(xué)位。

主要研究方向?yàn)樾袆?dòng)理論、描述邏輯、語義Web服務(wù)、智能主體、以及形式化方法。作為主要成員先后參與或完成了1項(xiàng)973項(xiàng)目子項(xiàng)目、1項(xiàng)國家863項(xiàng)目、2項(xiàng)國家自然科學(xué)基金項(xiàng)目。在《計(jì)算機(jī)學(xué)報(bào)》、《軟件學(xué)報(bào)》、《計(jì)算機(jī)研究與發(fā)展》、《Service Oriented Computing and Applications》等國內(nèi)外期刊以及“DL’07”、“KSEM’07”、“PRICAI’08”、“ICWS’08”等重要國際學(xué)術(shù)會(huì)議上發(fā)表論文20余篇，其中被EI收錄11篇。

《計(jì)算機(jī)科學(xué)導(dǎo)論》課程教學(xué)大綱
課程類別：專業(yè)基礎(chǔ)必修課 課程代碼：

總 學(xué) 時(shí)：48學(xué)時(shí)（其中，理論課32學(xué)時(shí)，實(shí)驗(yàn)課16學(xué)時(shí)） 學(xué)分：3

適用專業(yè)：計(jì)算機(jī)科學(xué)與技術(shù)、軟件工程、網(wǎng)絡(luò)工程、信息安全、信息系統(tǒng)與信息管理、數(shù)字媒體、教育技術(shù)學(xué)等

先修課程：無

一、課程的地位、性質(zhì)和任務(wù)

本課程是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)學(xué)生入學(xué)學(xué)習(xí)的第一門專業(yè)必修課，它構(gòu)建在計(jì)算學(xué)科認(rèn)知模型的基礎(chǔ)上，以計(jì)算思維能力的培養(yǎng)為核心，從學(xué)科思想與方法層面對計(jì)算學(xué)科進(jìn)行導(dǎo)引。

本課程來源于ACM教育委員會(huì)對“整個(gè)計(jì)算學(xué)科綜述性導(dǎo)引”（計(jì)算機(jī)導(dǎo)論）課程構(gòu)建的要求，即用嚴(yán)密的方式將學(xué)生引入計(jì)算學(xué)科各個(gè)富有挑戰(zhàn)性的領(lǐng)域之中。本課程為學(xué)生正確認(rèn)知計(jì)算學(xué)科提供方法，為今后深入學(xué)習(xí)計(jì)算機(jī)課程作鋪墊。

二、課程教學(xué)的基本要求

本課程要求學(xué)生了解計(jì)算學(xué)科專業(yè)名稱的演變，學(xué)科的描述、培養(yǎng)側(cè)重點(diǎn)，學(xué)科各專業(yè)方向的知識(shí)體與核心課程，“計(jì)算機(jī)導(dǎo)論”課程的構(gòu)建，了解計(jì)算學(xué)科的歷史，計(jì)算學(xué)科的基本問題；計(jì)算學(xué)科中的抽象、理論和設(shè)計(jì)三個(gè)過程及其內(nèi)在聯(lián)系；了解計(jì)算學(xué)科各主領(lǐng)域的基本內(nèi)容及其相應(yīng)的課程設(shè)置、計(jì)算學(xué)科中的核心概念、數(shù)學(xué)方法、系統(tǒng)科學(xué)方法、社會(huì)和職業(yè)問題、學(xué)科若干問題、學(xué)科教育發(fā)展與展望等內(nèi)容。

三、教學(xué)內(nèi)容與學(xué)時(shí)分配

1．緒論（2學(xué)時(shí)）

計(jì)算學(xué)科的定義；計(jì)算學(xué)科的根本問題；計(jì)算學(xué)科專業(yè)名稱的演變；分支學(xué)科及其培養(yǎng)側(cè)重點(diǎn)；計(jì)算機(jī)科學(xué)、計(jì)算機(jī)工程、軟件工程和信息技術(shù)等4個(gè)主要分支學(xué)科的知識(shí)體和核心課程；最后，“計(jì)算機(jī)導(dǎo)論”課程的構(gòu)建問題；計(jì)算學(xué)科認(rèn)知模型――計(jì)算學(xué)科二維定義矩陣；計(jì)算學(xué)科若干問題的介紹。

2．計(jì)算學(xué)科的基本問題（6學(xué)時(shí)）

計(jì)算的歷史；對問題進(jìn)行抽象的典型實(shí)例――哥尼斯堡七橋問題；“梵天塔”問題；“停機(jī)問題”；算法復(fù)雜性中的難解性問題、P類問題和NP類問題；證比求易算法；P＝NP是否成立的問題；旅行商問題與組合爆炸問題；找零問題、背包問題與貪婪算法；“GOTO語句”與程序設(shè)計(jì)中的結(jié)構(gòu)問題；“哲學(xué)家共餐”問題與計(jì)算機(jī)系統(tǒng)中的軟硬件資源的管理；“兩軍問題”與計(jì)算機(jī)網(wǎng)絡(luò)；“圖靈測試”；“中文屋子”；計(jì)算機(jī)中的博弈問題。

3．計(jì)算學(xué)科中的3個(gè)學(xué)科形態(tài)（6學(xué)時(shí)）

一個(gè)關(guān)于“學(xué)生選課”的例子；抽象形態(tài)；理論形態(tài)；設(shè)計(jì)形態(tài)；3個(gè)學(xué)科形態(tài)的內(nèi)在聯(lián)系；計(jì)算機(jī)語言的發(fā)展及其3個(gè)學(xué)科形態(tài)的內(nèi)在聯(lián)系。

4．計(jì)算學(xué)科中的核心概念（5學(xué)時(shí)）

算法；數(shù)據(jù)結(jié)構(gòu)；程序；軟件；硬件；計(jì)算機(jī)中的數(shù)據(jù)（含進(jìn)位制數(shù)及其相互轉(zhuǎn)換，原碼、反碼和補(bǔ)碼及其轉(zhuǎn)換，字符、字符串和漢字，圖像數(shù)據(jù)的表示，聲音數(shù)據(jù)的表示等）；CC1991報(bào)告提取的核心概念。

5．計(jì)算學(xué)科中的數(shù)學(xué)方法（5學(xué)時(shí)，含1個(gè)學(xué)時(shí)的講座）

數(shù)學(xué)的基本特征；數(shù)學(xué)方法的作用；*，函數(shù)和關(guān)系，代數(shù)系統(tǒng)（含群、環(huán)、格、布爾代數(shù)，布爾代數(shù)與數(shù)字邏輯電路）；定義、定理和證明，必要條件和充分條件；證明方法；遞歸和迭代；公理化方法；形式化方法。

6．計(jì)算學(xué)科中的系統(tǒng)科學(xué)方法（3學(xué)時(shí)）

系統(tǒng)科學(xué)的基本思想；軟件開發(fā)中為什么要引入系統(tǒng)科學(xué)方法；結(jié)構(gòu)化方法；面向?qū)ο蠓椒ā?

7．社會(huì)和職業(yè)的問題（3學(xué)時(shí)）

計(jì)算的社會(huì)背景；道德分析的方法；職業(yè)和道德責(zé)任；基于計(jì)算機(jī)系統(tǒng)的風(fēng)險(xiǎn)和責(zé)任；團(tuán)隊(duì)工作；知識(shí)產(chǎn)權(quán)；隱私和公民自由；計(jì)算機(jī)犯罪。

8.探討與展望(2學(xué)時(shí))

學(xué)科中的若干問題進(jìn)行探討，計(jì)算教育的發(fā)展與展望等內(nèi)容。

四、實(shí)驗(yàn)教學(xué)內(nèi)容與要求

1.存儲(chǔ)程序式虛擬機(jī)（4學(xué)時(shí)）

掌握機(jī)器指令的格式，理解機(jī)器指令系統(tǒng)的組成；理解“程序與數(shù)據(jù)”的同等看待；理解算法與機(jī)器的關(guān)系，了解程序在機(jī)器上的執(zhí)行過程。

2.結(jié)構(gòu)化程序設(shè)計(jì)（3學(xué)時(shí)）

熟悉順序、選擇、循環(huán)3種程序結(jié)構(gòu)；掌握C語言編寫選擇、循環(huán)語句的方法。

3.遞歸與迭代（3學(xué)時(shí)）

加深理解遞歸及迭代的概念；掌握用C語言編寫遞歸及迭代程序的方法；了解遞歸和迭代之間的差別。

4.算法綜合練習(xí)（4學(xué)時(shí)）

熟悉結(jié)構(gòu)化程序設(shè)計(jì)在算法中的應(yīng)用；理解二分查找法的思想。

5.實(shí)驗(yàn)考試（2學(xué)時(shí)）

五、教學(xué)方法的原則建議

建議由各學(xué)校學(xué)科帶頭人或骨干教師擔(dān)任本課程的主講，并使用投影儀進(jìn)行教學(xué)，在教學(xué)過程中可穿插介紹一些計(jì)算機(jī)界著名學(xué)者的生平事跡以及我國計(jì)算機(jī)的發(fā)展歷史

六、考核方式及成績構(gòu)成

成績評(píng)定：平時(shí)成績占10%，理論考試（開卷）成績占70%，實(shí)驗(yàn)考試成績占20%。

七、教材與參考書目

推薦教材：董榮勝.計(jì)算機(jī)科學(xué)導(dǎo)論――思想與方法.高等教育出版社.2007

參考書目：

1.董榮勝，古天龍.計(jì)算機(jī)科學(xué)與技術(shù)方法論.人民郵電出版社.2002

2.J.Glenn Brookshear著，劉藝等譯.計(jì)算機(jī)科學(xué)概論（第9版）.人民郵電出版社.2007

3.許卓群，李文新，羅英偉.計(jì)算概論.清華大學(xué)出版社.2005

4.趙致琢.計(jì)算科學(xué)導(dǎo)論（第三版）.科學(xué)出版社.2004

5.王玉龍.計(jì)算機(jī)導(dǎo)論（第二版）.電子工業(yè)出版社.2004

6.黃國興，陶樹平，丁岳偉.計(jì)算機(jī)導(dǎo)論（第二版）.清華大學(xué)出版社.2008

八、說明

本大綱根據(jù)美國計(jì)算機(jī)協(xié)會(huì)（ACM）教育委員會(huì)對“整個(gè)計(jì)算學(xué)科綜述性導(dǎo)引課程”課程的要求，以及教育部高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)教學(xué)指導(dǎo)委員會(huì)編制的高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)規(guī)范和IEEE/ACM制定的CC2001－CC2005有關(guān)教程編寫。

主講教師李鳳英講師
李鳳英（講師） 1974.3生于遼寧、朝陽，分別于1998.07、12003.03在桂林電子工業(yè)學(xué)院獲工學(xué)學(xué)士、碩士學(xué)位。2002.03至今一直在桂林電子科技大學(xué)計(jì)算機(jī)與控制學(xué)院任教，現(xiàn)在西安電子科技大學(xué)攻讀博士學(xué)位。

主要研究領(lǐng)域?yàn)椋悍?hào)模型檢驗(yàn)、Petri網(wǎng)、符號(hào)調(diào)度技術(shù)等的研究。近年來參加了國家自然科學(xué)基金、中澳國際合作等項(xiàng)目。