資源描述：
《計算機的過去現(xiàn)在與未來教案(總)》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在工程資料-天天文庫。
1、廣東商學院教案2009～2010學年第1學期課程名稱計算機的過去現(xiàn)在與未來院(系、部)信息學院教研室軟件工程授課班級全校公選授課教師袁志斌職稱職務講師教材名稱邏輯的引擎二○○九年八月he"governingforthepeople","Nomattertheinterestsofthemasses"conceptunderstandingisnotinplace.Thespecificworktreatswiththedeployment,afewleadingcadrescomplainthatworkistoocomplicated,toomuc
2、hresponsibility,thepressureistoolarge,toomuchemphasisonthedifficultyofthework.Forexample,noncoalmine教案（總體部分）課程名稱計算機的過去現(xiàn)在與未來總計：18學時課程類別全校公選學分1講課：18學時實驗：學時上機：學時任課教師袁志斌職稱講師授課對象先修課程課程說明教學目的要求教學目的：為學生展現(xiàn)計算機的真正本質(zhì)，揭示科學發(fā)展的模式，為學生形成科學哲學思想提供一個有益的范型，理解真正的科學創(chuàng)新是建立艱苦卓絕的探索之上的。教學要求：1.要求學生正確理解和掌握
3、各個時期科學巨匠所面臨的挑戰(zhàn)以及天才解決方案的思想。2.要求學生必須閱讀相關(guān)書籍。教學內(nèi)容和重點及難點教學內(nèi)容：萊布尼茲的夢想，布爾代數(shù)的思想，弗雷格的邏輯體系，康托爾對無限的探索，希爾伯特的形式化綱領(lǐng)，哥德爾不完備性的哲學影響，圖靈的通用機思想，馮·諾依曼的計算機模型，未來計算機與人的關(guān)系。重點：以上內(nèi)容所孕育的哲學理念。難點：各部分難點見單節(jié)教案he"governingforthepeople","Nomattertheinterestsofthemasses"conceptunderstandingisnotinplace.Thespecifi
4、cworktreatswiththedeployment,afewleadingcadrescomplainthatworkistoocomplicated,toomuchresponsibility,thepressureistoolarge,toomuchemphasisonthedifficultyofthework.Forexample,noncoalmine教材和主要參考資料推薦書目：1．馬丁·戴維斯《邏輯的引擎》，湖南科學技術(shù)出版社。2．羅素《數(shù)理哲學導論》，商務印書館。3．G·弗雷格《算術(shù)基礎(chǔ)》，商務印書館。4．麗貝卡·戈德斯坦《不完備
5、性》，湖南科學技術(shù)出版社。5．羅杰·彭羅斯《皇帝新腦》，湖南科學技術(shù)出版社。6．歐內(nèi)斯特·內(nèi)格爾，詹姆斯·紐曼《哥德爾證明》，中國人民大學出版社。7．王浩《哥德爾》，中國人民大學出版社。he"governingforthepeople","Nomattertheinterestsofthemasses"conceptunderstandingisnotinplace.Thespecificworktreatswiththedeployment,afewleadingcadrescomplainthatworkistoocomplicated,toom
6、uchresponsibility,thepressureistoolarge,toomuchemphasisonthedifficultyofthework.Forexample,noncoalmine計算機的過去現(xiàn)在與未來課程教案授課題目（教學章、節(jié)或主題）：自動推理機 ——萊布尼茲的夢想授課時間安排第1周第5-6節(jié)教學器材與工具授課類型（請打√）理論課□討論課□實驗課□習題課□雙語課程□其他□教學目的、要求（分掌握、熟悉、了解三個層次）：教學目的：理解萊布尼茲的科學成就以及這些成就對其科學直覺的影響，這些直覺直接導致了萊布尼茲對于自動演算機的奇
7、思妙想。要求：了解萊布尼茲的科學成就，掌握萊布尼茲的自動演算機的思想。教學重點及難點：萊布尼茲的自動演算機的思想教學基本內(nèi)容一．夢的孕育1．亞里士多德的邏輯系統(tǒng)對萊布尼茲的影響2．學生時代的萊布尼茲對邏輯和法律的探索3．“萊布尼茲輪”的發(fā)明4．微積分的發(fā)明加深了對符號系統(tǒng)的探索本節(jié)主要是介紹萊布尼茲的科學成就以及這些成就對其科學直覺的影響，這些直覺直接導致了萊布尼茲對于自動演算機的奇思妙想。通過以上介紹引導學生從科學哲學的角度來思考科學發(fā)展的規(guī)律。二.夢的世界1．將人類知識表達為普遍文字2．建立一種演算體系揭示所有命題間的關(guān)系3．制造自動演算機器，將
8、心靈從思考中解脫出來本節(jié)介紹萊布尼茲的夢想，引導學生從三百年后的角度來思考之一夢想，啟發(fā)學生從哲學層面來思考
