本文關(guān)鍵詞：計(jì)算機(jī)科學(xué)中的邏輯應(yīng)用研究，由筆耕文化傳播整理發(fā)布。

《燕山大學(xué)》 2011年

計(jì)算機(jī)科學(xué)中的邏輯應(yīng)用研究

車付翠  

【摘要】：目前計(jì)算機(jī)科學(xué)的發(fā)展日新月異。在成就的背后，邏輯學(xué)是推動(dòng)計(jì)算機(jī)科學(xué)前進(jìn)的主要?jiǎng)恿Γ疚闹饕獜膬纱缶�索來探討邏輯學(xué)在計(jì)算機(jī)科學(xué)中的應(yīng)用問題，一是從橫向上，邏輯學(xué)的應(yīng)用主要表現(xiàn)在計(jì)算機(jī)硬件設(shè)計(jì)和軟件處理方面。二是從縱向上，，即邏輯學(xué)在計(jì)算機(jī)產(chǎn)生和發(fā)展中的奠基和促進(jìn)作用。 橫向上，在硬件方面，本文討論了命題邏輯和邏輯代數(shù)在電路設(shè)計(jì)中的應(yīng)用狀況，并且對在命題邏輯基礎(chǔ)上發(fā)展起來的組合邏輯、時(shí)序邏輯等做了探討。最后在此基礎(chǔ)上描述了DNA邏輯門的構(gòu)造和DNA生物計(jì)算機(jī)繼2006年之后五年內(nèi)取得的最新進(jìn)展。 軟件方面，主要討論了邏輯學(xué)在計(jì)算機(jī)語言和程序的產(chǎn)生和發(fā)展中的應(yīng)用問題。第一，描繪了計(jì)算機(jī)語言的語用邏輯的特征，列舉了人工智能語言Prolog中邏輯應(yīng)用的實(shí)例；第二，總結(jié)了程序正確性證明的方法和存在的問題，提出了設(shè)計(jì)中國自己程序邏輯模型的重要性。 縱向上，可以說邏輯學(xué)貫穿了計(jì)算機(jī)產(chǎn)生和發(fā)展的整個(gè)過程。首先，因?yàn)楝F(xiàn)代的計(jì)算機(jī)理論基礎(chǔ)是二值邏輯，所以數(shù)理邏輯的出現(xiàn)為計(jì)算機(jī)的產(chǎn)生準(zhǔn)備了充分的理論條件。其次，計(jì)算機(jī)的發(fā)展離不開數(shù)理邏輯的發(fā)展。計(jì)算機(jī)開始只能進(jìn)行數(shù)字計(jì)算，后來開始能處理文字，現(xiàn)在又出現(xiàn)了多媒體，這些進(jìn)步和發(fā)展都是數(shù)字化技術(shù)不斷發(fā)展的結(jié)果。 最后我們總結(jié)了計(jì)算機(jī)智能化革命中存在的邏輯問題，對計(jì)算機(jī)未來的發(fā)展做了一個(gè)展望。 計(jì)算機(jī)科學(xué)是以邏輯學(xué)為根基的，所以計(jì)算機(jī)的發(fā)展和智能化革命中瓶頸問題的突破有賴于邏輯學(xué)的發(fā)展和突破，所以研究邏輯學(xué)在計(jì)算機(jī)科學(xué)中的應(yīng)用有重要的意義，應(yīng)該引起重視。

【關(guān)鍵詞】：
【學(xué)位授予單位】：燕山大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2011
【分類號】：B812
【目錄】：

下載全文 更多同類文獻(xiàn)

CAJ全文下載

(如何獲取全文？ 歡迎：購買知網(wǎng)充值卡、在線充值、在線咨詢)

CAJViewer閱讀器支持CAJ、PDF文件格式

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 趙永青;;談?dòng)?jì)算機(jī)語言的邏輯基礎(chǔ)[J];哈爾濱市委黨校學(xué)報(bào);2009年06期

2 胡懷亮;;人工智能發(fā)展中的哲學(xué)問題——評吉利斯對概率解釋的哲學(xué)思考[J];重慶工學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2007年03期

3 謝少萬;;順應(yīng)理論與人工智能[J];廣西民族大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年S1期

4 慈向榮;邏輯與計(jì)算機(jī)軟件[J];計(jì)算機(jī)工程與科學(xué);1984年03期

5 陳意云;華保健;葛琳;王志芳;;一種用于指針程序安全性證明的指針邏輯[J];計(jì)算機(jī)學(xué)報(bào);2008年03期

6 華保健;陳意云;李兆鵬;王志芳;葛琳;江蘇蘇州215123;;安全語言PointerC的設(shè)計(jì)及形式證明[J];計(jì)算機(jī)學(xué)報(bào);2008年04期

7 成素梅;郝中華;;BP神經(jīng)網(wǎng)絡(luò)的哲學(xué)思考[J];科學(xué)技術(shù)與辯證法;2008年04期

8 康巧茹;邏輯研究的第二次轉(zhuǎn)向[J];寧夏黨校學(xué)報(bào);2003年02期

9 韓小文;潘愛華;;第五代計(jì)算機(jī)及其認(rèn)知邏輯方法[J];前沿科學(xué);2007年01期

10 胡山立,石純一;Agent-BDI邏輯[J];軟件學(xué)報(bào);2000年10期

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 盧延鑫;邏輯學(xué)在計(jì)算機(jī)科學(xué)中的應(yīng)用[D];上海社會(huì)科學(xué)院;2008年

2 陳秋麗;安全算法并行計(jì)算研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2010年

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 單方,陳璞;注塑機(jī)鎖模機(jī)構(gòu)CAD的研究與開發(fā)[J];工程塑料應(yīng)用;2001年09期

2 李秀敏;論亞相容邏輯中的“矛盾”——達(dá)科斯塔的亞相容邏輯思想述評[J];安徽大學(xué)學(xué)報(bào);2005年01期

3 夏年喜;;邏輯學(xué)、語言學(xué)與信息科學(xué)——論自然語言邏輯的學(xué)科性質(zhì)[J];安徽大學(xué)學(xué)報(bào);2006年02期

4 田曉艷;;計(jì)算智能主要算法研究[J];安防科技;2009年12期

5 何進(jìn)波;;高校科技創(chuàng)安資源有機(jī)整合與可持續(xù)發(fā)展研究[J];安防科技;2010年01期

6 羅罹;基于門控時(shí)鐘的CMOS電路低功耗設(shè)計(jì)[J];安徽大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年03期

7 周保平;陳立平;;新疆南疆棉花高效生產(chǎn)綜合決策支持系統(tǒng)研究[J];安徽農(nóng)業(yè)科學(xué);2009年28期

8 孫敏;姚海燕;;園藝植物專家系統(tǒng)研究概況與發(fā)展趨勢[J];安徽農(nóng)業(yè)科學(xué);2012年02期

9 江景濤;;自然語言理解的體驗(yàn)性及其數(shù)據(jù)化[J];安徽文學(xué)(下半月);2009年11期

10 龔加安;吳洪博;;BR_0代數(shù)的模糊濾子與模糊素濾子[J];安康學(xué)院學(xué)報(bào);2009年06期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前10條

1 李萍;薛克敏;劉小旦;;人工智能技術(shù)在汽車覆蓋件成形過程的應(yīng)用[A];2004“安徽制造業(yè)發(fā)展”博士科技論壇論文集[C];2004年

2 王劍平;黃紅霞;李宏彪;張?jiān)粕?;基于支持向量機(jī)模型的瓦斯涌出量預(yù)測[A];第二十七屆中國控制會(huì)議論文集[C];2008年

3 王小方;吳敏;歐陽麗玉;唐青松;;一種GA-PID算法及其在DC-DC轉(zhuǎn)換器中的應(yīng)用[A];第二十九屆中國控制會(huì)議論文集[C];2010年

4 邵景峰;秦蘭雙;任克儉;黨金房;李敏;;集散式準(zhǔn)備車間計(jì)算機(jī)監(jiān)控系統(tǒng)研制[A];“豐源杯”全國漿紗、織造學(xué)術(shù)論壇暨2011織造年會(huì)論文集[C];2011年

5 姜帆;潘方勝;李紅云;;一個(gè)基于FCR算法的推理機(jī)的設(shè)計(jì)[A];第三屆全國軟件測試會(huì)議與移動(dòng)計(jì)算、柵格、智能化高級論壇論文集[C];2009年

6 張春娥;李國昌;;智能Agent在冷彎成形過程中的應(yīng)用研究[A];2007年河北省電子學(xué)會(huì)、河北省計(jì)算機(jī)學(xué)會(huì)、河北省自動(dòng)化學(xué)會(huì)、河北省人工智能學(xué)會(huì)、河北省計(jì)算機(jī)輔助設(shè)計(jì)研究會(huì)、河北省軟件行業(yè)協(xié)會(huì)聯(lián)合學(xué)術(shù)年會(huì)論文集[C];2007年

7 宋巖;;搜索引擎中的人工智能技術(shù)及展望[A];’2004計(jì)算機(jī)應(yīng)用技術(shù)交流會(huì)議論文集[C];2004年

8 袁根根;;ERP系統(tǒng)下的交互式按需報(bào)告[A];中國會(huì)計(jì)學(xué)會(huì)高等工科院校分會(huì)2006年學(xué)術(shù)年會(huì)暨第十三屆年會(huì)論文集[C];2006年

9 劉奇;唐金國;李榮新;黃傳毅;;基于框架的CGF實(shí)體行為建模研究[A];'2008系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2008年

10 文斌;甘健侯;夏幼明;徐天偉;;框架表示法到擴(kuò)展描述邏輯ALC+的轉(zhuǎn)換初探[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國青年通信學(xué)術(shù)會(huì)議論文集（上）[C];2008年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 劉營;雷達(dá)圖像編碼器的并行處理研究與實(shí)現(xiàn)[D];哈爾濱工程大學(xué);2009年

2 吳德烽;計(jì)算智能在三維表面掃描機(jī)器人系統(tǒng)中的應(yīng)用研究[D];大連海事大學(xué);2010年

3 馮彥波;合并邏輯方法研究[D];南開大學(xué);2010年

4 李熹平;快速熱循環(huán)注塑模具及工藝關(guān)鍵技術(shù)研究[D];山東大學(xué);2010年

5 張愛珍;模糊語義研究[D];福建師范大學(xué);2010年

6 劉貴;精毛紡織品虛擬加工中的預(yù)報(bào)與反演模型研究[D];東華大學(xué);2010年

7 陳進(jìn)杰;城市軌道交通項(xiàng)目廣義全壽命周期成本理論與應(yīng)用研究[D];北京交通大學(xué);2011年

8 許有軍;基于擴(kuò)展規(guī)則的若干SAT問題研究[D];吉林大學(xué);2011年

9 田瑞;應(yīng)急交通保障輔助決策支持系統(tǒng)相關(guān)模型與方法研究[D];吉林大學(xué);2011年

10 游源;MPT建模方法研究及其應(yīng)用[D];華中科技大學(xué);2011年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 年軍艷;普適計(jì)算下的上下文感知計(jì)算若干關(guān)鍵技術(shù)研究[D];安徽工程大學(xué);2010年

2 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大學(xué);2010年

3 常春艷;礦山土地復(fù)墾方案論證管理系統(tǒng)研究[D];山東農(nóng)業(yè)大學(xué);2010年

4 解保忠;計(jì)算機(jī)在矽肺病早期診斷及預(yù)測中的應(yīng)用研究[D];哈爾濱工程大學(xué);2010年

5 荊奇;蟻群算法在特種機(jī)器人智能控制中的應(yīng)用研究[D];哈爾濱工程大學(xué);2010年

6 王濤;社保審計(jì)專家系統(tǒng)關(guān)鍵技術(shù)研究[D];哈爾濱工程大學(xué);2010年

7 石靈吉;壓裂裂縫方位監(jiān)測系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];大連理工大學(xué);2010年

8 楊克強(qiáng);LVQ神經(jīng)網(wǎng)絡(luò)在齒輪箱故障診斷中的研究[D];安徽農(nóng)業(yè)大學(xué);2010年

9 樊鵬;基于GPS的SCADA-EMS煤礦供電調(diào)度系統(tǒng)的研究[D];遼寧工程技術(shù)大學(xué);2009年

10 張家明;P2P模式下網(wǎng)絡(luò)路由算法的研究[D];遼寧工程技術(shù)大學(xué);2010年

【二級參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 杜國平;馬亮;;哲思邏輯的判定問題[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2007年05期

2 周明天;譚良;;可信計(jì)算及其進(jìn)展[J];電子科技大學(xué)學(xué)報(bào);2006年S1期

3 杜國平;;經(jīng)典邏輯視野中的弗協(xié)調(diào)邏輯[J];華南師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2007年05期

4 胡澤洪;;邏輯:純邏輯與應(yīng)用邏輯——關(guān)于邏輯理論及其應(yīng)用的思考[J];湖南師范大學(xué)社會(huì)科學(xué)學(xué)報(bào);1991年01期

5 胡山立,石純一;適用于Agent非正規(guī)模態(tài)算子的一種語義解釋[J];計(jì)算機(jī)研究與發(fā)展;1999年10期

6 蔡曙山;認(rèn)知科學(xué)背景下的邏輯學(xué)——認(rèn)知邏輯的對象、方法、體系和意義[J];江海學(xué)刊;2004年06期

7 張建軍;;當(dāng)代邏輯科學(xué)“應(yīng)用轉(zhuǎn)向”探綱[J];江海學(xué)刊;2007年06期

8 陳意云;華保健;葛琳;王志芳;;一種用于指針程序安全性證明的指針邏輯[J];計(jì)算機(jī)學(xué)報(bào);2008年03期

9 劉毅;人工智能的歷史與未來[J];科技管理研究;2004年06期

10 李娜;我看21世紀(jì)的邏輯學(xué)[J];南開學(xué)報(bào);2002年01期

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 ;哲學(xué)系召開王憲鈞教授任教50周年慶祝會(huì)[J];北京大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1990年01期

2 劉培育;;偉大而可愛的人——紀(jì)念沈有鼎先生誕生100周年[J];重慶工學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2009年04期

3 于永萱;試談創(chuàng)立中國各個(gè)民族語的自然語言的邏輯學(xué)問題[J];內(nèi)蒙古師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1986年03期

4 ;沉痛悼念著名邏輯學(xué)家、哲學(xué)家沈有鼎教授[J];哲學(xué)研究;1989年05期

5 朱建平;;蒂斯茲論胡塞爾《算術(shù)哲學(xué)》中的邏輯思想[J];福建論壇(人文社會(huì)科學(xué)版);2010年07期

6 胡懷亮;;當(dāng)代條件句邏輯研究的起點(diǎn)——Ramsey測驗(yàn)初探[J];浙江社會(huì)科學(xué);2009年06期

7 約瑟夫·拉盧米亞,新蔚;常規(guī)的科學(xué)和革命的科學(xué)——庫恩和他的批評者[J];第歐根尼;1992年02期

8 池哲;;“邏輯”譯名考[J];辭書研究;1981年04期

9 周文英;;印度邏輯史稿(三) 第三章 中古邏輯學(xué)派的前驅(qū)[J];江西師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1982年01期

10 侯占香;;漫談?wù)Z言與邏輯[J];廣西財(cái)經(jīng)學(xué)院學(xué)報(bào);2006年S1期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前10條

1 朱水林;;從外延邏輯到內(nèi)涵邏輯——現(xiàn)代邏輯發(fā)展的一個(gè)重要轉(zhuǎn)向[A];1994年邏輯研究專輯[C];1994年

2 ;晏成書教授在京逝世[A];1995年邏輯研究專輯[C];1995年

3 張小燕;;皮亞杰對邏輯學(xué)與心理學(xué)之間關(guān)系的重新認(rèn)識[A];第三次金岳霖學(xué)術(shù)思想研討會(huì)論文集[C];2005年

4 ;馮契教授在滬逝世[A];1995年邏輯研究專輯[C];1995年

5 李小五;;虛擬條件句邏輯的恰當(dāng)性[A];1998年邏輯研究專輯[C];1998年

6 李先焜;;名辯學(xué)、邏輯學(xué)與符號學(xué)[A];“中國名辯學(xué)與方法論研討會(huì)、道家與西方研討會(huì)、馮友蘭哲學(xué)思想研討會(huì)”優(yōu)秀論文精選[C];1998年

7 張尚水;;二十世紀(jì)邏輯學(xué)的發(fā)展[A];邏輯學(xué)文集[C];1978年

8 陳波;;從《哲學(xué)邏輯手冊》(第二版)看當(dāng)代邏輯的發(fā)展趨勢[A];小康社會(huì)：文化生態(tài)與全面發(fā)展——2003學(xué)術(shù)前沿論壇論文集[C];2004年

9 張家龍;;沿著金岳霖開辟的邏輯研究現(xiàn)代化道路奮進(jìn)[A];1995年邏輯研究專輯[C];1995年

10 張曉光;;關(guān)于邏輯學(xué)功能定位的思考:兼談邏輯學(xué)與素質(zhì)教育[A];法律邏輯與法學(xué)教育——第十五屆全國法律邏輯學(xué)術(shù)討論會(huì)論文集[C];2007年

中國重要報(bào)紙全文數(shù)據(jù)庫 前10條

1 陳波;[N];光明日報(bào);2006年

2 本報(bào)記者 賀修平;[N];云南科技報(bào);2009年

3 林可濟(jì);[N];中華讀書報(bào);2010年

4 周山;[N];文匯報(bào);2011年

5 黃雪斌;[N];人民政協(xié)報(bào);2001年

6 金海洋;[N];科技日報(bào);2007年

7 劉麗傅 秋瑛;[N];科技日報(bào);2005年

8 韓菊　編譯;[N];計(jì)算機(jī)世界;2010年

9 劉寧;[N];新清華;2008年

10 劉麗 劉穎;[N];科技日報(bào);2005年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 張留華;數(shù)學(xué)、指號學(xué)與實(shí)用主義[D];華東師范大學(xué);2011年

2 奚穎瑞;從“算術(shù)哲學(xué)”到“邏輯研究”[D];浙江大學(xué);2010年

3 聶海軍;邏輯、圖與存在—皮爾斯存在圖的三種解讀[D];南開大學(xué);2013年

4 李琪;集成化鉆井智能決策支持系統(tǒng)的理論與應(yīng)用研究[D];西南石油學(xué)院;2002年

5 劉建嶺;胡塞爾的現(xiàn)象學(xué)心理學(xué)研究[D];吉林大學(xué);2010年

6 雷銀彬;Domain理論及Rough集理論若干相關(guān)問題研究[D];四川大學(xué);2007年

7 俞俏燕;中國單科性院校專業(yè)趨同問題研究[D];廈門大學(xué);2008年

8 顏中軍;蘇珊·哈克邏輯哲學(xué)思想研究[D];華東師范大學(xué);2012年

9 王擴(kuò)建;轉(zhuǎn)型期地方核心行動(dòng)者行動(dòng)邏輯研究[D];蘇州大學(xué);2011年

10 郭建萍;真與意義的融合與分離之爭的邏輯探究[D];山西大學(xué);2012年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 車付翠;計(jì)算機(jī)科學(xué)中的邏輯應(yīng)用研究[D];燕山大學(xué);2011年

2 盧延鑫;邏輯學(xué)在計(jì)算機(jī)科學(xué)中的應(yīng)用[D];上海社會(huì)科學(xué)院;2008年

3 劉蕊;邏輯行動(dòng)主義方法論視角下的空名意義理論探析[D];燕山大學(xué);2012年

4 王靖;大學(xué)生計(jì)算機(jī)自我效能感量表的開發(fā)與應(yīng)用[D];山東師范大學(xué);2010年

5 王鳴九;計(jì)算機(jī)師范專業(yè)培養(yǎng)方案問題分析及優(yōu)化策略研究[D];上海師范大學(xué);2013年

6 李初然;美國高校計(jì)算機(jī)通識教育研究[D];河北大學(xué);2010年

7 陳磊;計(jì)算機(jī)圍棋領(lǐng)域概念網(wǎng)的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2010年

8 王彤;河北省高師計(jì)算機(jī)專業(yè)課程設(shè)置現(xiàn)狀與對策研究[D];河北師范大學(xué);2010年

9 陳思國;計(jì)算機(jī)兵棋裁決子系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];東北大學(xué);2009年

10 李志恒;試論自然語言邏輯研究中的語法與語義[D];山西大學(xué);2012年

  本文關(guān)鍵詞：計(jì)算機(jī)科學(xué)中的邏輯應(yīng)用研究，由筆耕文化傳播整理發(fā)布。

本文編號：126055