计算机科学中的逻辑应用研究

发布时间：2016-09-29 07:39

  本文关键词：计算机科学中的逻辑应用研究，由笔耕文化传播整理发布。

《燕山大学》 2011年

计算机科学中的逻辑应用研究

车付翠  

【摘要】：目前计算机科学的发展日新月异。在成就的背后，逻辑学是推动计算机科学前进的主要动力，本文主要从两大线索来探讨逻辑学在计算机科学中的应用问题，一是从横向上，逻辑学的应用主要表现在计算机硬件设计和软件处理方面。二是从纵向上，，即逻辑学在计算机产生和发展中的奠基和促进作用。 横向上，在硬件方面，本文讨论了命题逻辑和逻辑代数在电路设计中的应用状况，并且对在命题逻辑基础上发展起来的组合逻辑、时序逻辑等做了探讨。最后在此基础上描述了DNA逻辑门的构造和DNA生物计算机继2006年之后五年内取得的最新进展。 软件方面，主要讨论了逻辑学在计算机语言和程序的产生和发展中的应用问题。第一，描绘了计算机语言的语用逻辑的特征，列举了人工智能语言Prolog中逻辑应用的实例；第二，总结了程序正确性证明的方法和存在的问题，提出了设计中国自己程序逻辑模型的重要性。 纵向上，可以说逻辑学贯穿了计算机产生和发展的整个过程。首先，因为现代的计算机理论基础是二值逻辑，所以数理逻辑的出现为计算机的产生准备了充分的理论条件。其次，计算机的发展离不开数理逻辑的发展。计算机开始只能进行数字计算，后来开始能处理文字，现在又出现了多媒体，这些进步和发展都是数字化技术不断发展的结果。 最后我们总结了计算机智能化革命中存在的逻辑问题，对计算机未来的发展做了一个展望。 计算机科学是以逻辑学为根基的，所以计算机的发展和智能化革命中瓶颈问题的突破有赖于逻辑学的发展和突破，所以研究逻辑学在计算机科学中的应用有重要的意义，应该引起重视。

【关键词】：
【学位授予单位】：燕山大学
【学位级别】：硕士
【学位授予年份】：2011
【分类号】：B812
【目录】：

下载全文 更多同类文献

CAJ全文下载

(如何获取全文？ 欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式

【参考文献】

中国期刊全文数据库 前10条

1 赵永青;;谈计算机语言的逻辑基础[J];哈尔滨市委党校学报;2009年06期

2 胡怀亮;;人工智能发展中的哲学问题——评吉利斯对概率解释的哲学思考[J];重庆工学院学报(社会科学版);2007年03期

3 谢少万;;顺应理论与人工智能[J];广西民族大学学报(哲学社会科学版);2008年S1期

4 慈向荣;逻辑与计算机软件[J];计算机工程与科学;1984年03期

5 陈意云;华保健;葛琳;王志芳;;一种用于指针程序安全性证明的指针逻辑[J];计算机学报;2008年03期

6 华保健;陈意云;李兆鹏;王志芳;葛琳;江苏苏州215123;;安全语言PointerC的设计及形式证明[J];计算机学报;2008年04期

7 成素梅;郝中华;;BP神经网络的哲学思考[J];科学技术与辩证法;2008年04期

8 康巧茹;逻辑研究的第二次转向[J];宁夏党校学报;2003年02期

9 韩小文;潘爱华;;第五代计算机及其认知逻辑方法[J];前沿科学;2007年01期

10 胡山立,石纯一;Agent-BDI逻辑[J];软件学报;2000年10期

中国硕士学位论文全文数据库 前2条

1 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年

2 陈秋丽;安全算法并行计算研究与实现[D];西安电子科技大学;2010年

【共引文献】

中国期刊全文数据库 前10条

1 单方,陈璞;注塑机锁模机构CAD的研究与开发[J];工程塑料应用;2001年09期

2 李秀敏;论亚相容逻辑中的“矛盾”——达科斯塔的亚相容逻辑思想述评[J];安徽大学学报;2005年01期

3 夏年喜;;逻辑学、语言学与信息科学——论自然语言逻辑的学科性质[J];安徽大学学报;2006年02期

4 田晓艳;;计算智能主要算法研究[J];安防科技;2009年12期

5 何进波;;高校科技创安资源有机整合与可持续发展研究[J];安防科技;2010年01期

6 罗罹;基于门控时钟的CMOS电路低功耗设计[J];安徽大学学报(自然科学版);2005年03期

7 周保平;陈立平;;新疆南疆棉花高效生产综合决策支持系统研究[J];安徽农业科学;2009年28期

8 孙敏;姚海燕;;园艺植物专家系统研究概况与发展趋势[J];安徽农业科学;2012年02期

9 江景涛;;自然语言理解的体验性及其数据化[J];安徽文学(下半月);2009年11期

10 龚加安;吴洪博;;BR_0代数的模糊滤子与模糊素滤子[J];安康学院学报;2009年06期

中国重要会议论文全文数据库 前10条

1 李萍;薛克敏;刘小旦;;人工智能技术在汽车覆盖件成形过程的应用[A];2004“安徽制造业发展”博士科技论坛论文集[C];2004年

2 王剑平;黄红霞;李宏彪;张云生;;基于支持向量机模型的瓦斯涌出量预测[A];第二十七届中国控制会议论文集[C];2008年

3 王小方;吴敏;欧阳丽玉;唐青松;;一种GA-PID算法及其在DC-DC转换器中的应用[A];第二十九届中国控制会议论文集[C];2010年

4 邵景峰;秦兰双;任克俭;党金房;李敏;;集散式准备车间计算机监控系统研制[A];“丰源杯”全国浆纱、织造学术论坛暨2011织造年会论文集[C];2011年

5 姜帆;潘方胜;李红云;;一个基于FCR算法的推理机的设计[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

6 张春娥;李国昌;;智能Agent在冷弯成形过程中的应用研究[A];2007年河北省电子学会、河北省计算机学会、河北省自动化学会、河北省人工智能学会、河北省计算机辅助设计研究会、河北省软件行业协会联合学术年会论文集[C];2007年

7 宋岩;;搜索引擎中的人工智能技术及展望[A];’2004计算机应用技术交流会议论文集[C];2004年

8 袁根根;;ERP系统下的交互式按需报告[A];中国会计学会高等工科院校分会2006年学术年会暨第十三届年会论文集[C];2006年

9 刘奇;唐金国;李荣新;黄传毅;;基于框架的CGF实体行为建模研究[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年

10 文斌;甘健侯;夏幼明;徐天伟;;框架表示法到扩展描述逻辑ALC+的转换初探[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年

中国博士学位论文全文数据库 前10条

1 刘营;雷达图像编码器的并行处理研究与实现[D];哈尔滨工程大学;2009年

2 吴德烽;计算智能在三维表面扫描机器人系统中的应用研究[D];大连海事大学;2010年

3 冯彦波;合并逻辑方法研究[D];南开大学;2010年

4 李熹平;快速热循环注塑模具及工艺关键技术研究[D];山东大学;2010年

5 张爱珍;模糊语义研究[D];福建师范大学;2010年

6 刘贵;精毛纺织品虚拟加工中的预报与反演模型研究[D];东华大学;2010年

7 陈进杰;城市轨道交通项目广义全寿命周期成本理论与应用研究[D];北京交通大学;2011年

8 许有军;基于扩展规则的若干SAT问题研究[D];吉林大学;2011年

9 田瑞;应急交通保障辅助决策支持系统相关模型与方法研究[D];吉林大学;2011年

10 游源;MPT建模方法研究及其应用[D];华中科技大学;2011年

中国硕士学位论文全文数据库 前10条

1 年军艳;普适计算下的上下文感知计算若干关键技术研究[D];安徽工程大学;2010年

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

3 常春艳;矿山土地复垦方案论证管理系统研究[D];山东农业大学;2010年

4 解保忠;计算机在矽肺病早期诊断及预测中的应用研究[D];哈尔滨工程大学;2010年

5 荆奇;蚁群算法在特种机器人智能控制中的应用研究[D];哈尔滨工程大学;2010年

6 王涛;社保审计专家系统关键技术研究[D];哈尔滨工程大学;2010年

7 石灵吉;压裂裂缝方位监测系统设计与实现[D];大连理工大学;2010年

8 杨克强;LVQ神经网络在齿轮箱故障诊断中的研究[D];安徽农业大学;2010年

9 樊鹏;基于GPS的SCADA-EMS煤矿供电调度系统的研究[D];辽宁工程技术大学;2009年

10 张家明;P2P模式下网络路由算法的研究[D];辽宁工程技术大学;2010年

【二级参考文献】

中国期刊全文数据库 前10条

1 杜国平;马亮;;哲思逻辑的判定问题[J];安徽大学学报(哲学社会科学版);2007年05期

2 周明天;谭良;;可信计算及其进展[J];电子科技大学学报;2006年S1期

3 杜国平;;经典逻辑视野中的弗协调逻辑[J];华南师范大学学报(社会科学版);2007年05期

4 胡泽洪;;逻辑:纯逻辑与应用逻辑——关于逻辑理论及其应用的思考[J];湖南师范大学社会科学学报;1991年01期

5 胡山立,石纯一;适用于Agent非正规模态算子的一种语义解释[J];计算机研究与发展;1999年10期

6 蔡曙山;认知科学背景下的逻辑学——认知逻辑的对象、方法、体系和意义[J];江海学刊;2004年06期

7 张建军;;当代逻辑科学“应用转向”探纲[J];江海学刊;2007年06期

8 陈意云;华保健;葛琳;王志芳;;一种用于指针程序安全性证明的指针逻辑[J];计算机学报;2008年03期

9 刘毅;人工智能的历史与未来[J];科技管理研究;2004年06期

10 李娜;我看21世纪的逻辑学[J];南开学报;2002年01期

【相似文献】

中国期刊全文数据库 前10条

1 ;哲学系召开王宪钧教授任教50周年庆祝会[J];北京大学学报(哲学社会科学版);1990年01期

2 刘培育;;伟大而可爱的人——纪念沈有鼎先生诞生100周年[J];重庆工学院学报(社会科学版);2009年04期

3 于永萱;试谈创立中国各个民族语的自然语言的逻辑学问题[J];内蒙古师范大学学报(哲学社会科学版);1986年03期

4 ;沉痛悼念著名逻辑学家、哲学家沈有鼎教授[J];哲学研究;1989年05期

5 朱建平;;蒂斯兹论胡塞尔《算术哲学》中的逻辑思想[J];福建论坛(人文社会科学版);2010年07期

6 胡怀亮;;当代条件句逻辑研究的起点——Ramsey测验初探[J];浙江社会科学;2009年06期

7 约瑟夫·拉卢米亚,新蔚;常规的科学和革命的科学——库恩和他的批评者[J];第欧根尼;1992年02期

8 池哲;;“逻辑”译名考[J];辞书研究;1981年04期

9 周文英;;印度逻辑史稿(三) 第三章 中古逻辑学派的前驱[J];江西师范大学学报(哲学社会科学版);1982年01期

10 侯占香;;漫谈语言与逻辑[J];广西财经学院学报;2006年S1期

中国重要会议论文全文数据库 前10条

1 朱水林;;从外延逻辑到内涵逻辑——现代逻辑发展的一个重要转向[A];1994年逻辑研究专辑[C];1994年

2 ;晏成书教授在京逝世[A];1995年逻辑研究专辑[C];1995年

3 张小燕;;皮亚杰对逻辑学与心理学之间关系的重新认识[A];第三次金岳霖学术思想研讨会论文集[C];2005年

4 ;冯契教授在沪逝世[A];1995年逻辑研究专辑[C];1995年

5 李小五;;虚拟条件句逻辑的恰当性[A];1998年逻辑研究专辑[C];1998年

6 李先焜;;名辩学、逻辑学与符号学[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年

7 张尚水;;二十世纪逻辑学的发展[A];逻辑学文集[C];1978年

8 陈波;;从《哲学逻辑手册》(第二版)看当代逻辑的发展趋势[A];小康社会：文化生态与全面发展——2003学术前沿论坛论文集[C];2004年

9 张家龙;;沿着金岳霖开辟的逻辑研究现代化道路奋进[A];1995年逻辑研究专辑[C];1995年

10 张晓光;;关于逻辑学功能定位的思考:兼谈逻辑学与素质教育[A];法律逻辑与法学教育——第十五届全国法律逻辑学术讨论会论文集[C];2007年

中国重要报纸全文数据库 前10条

1 陈波;[N];光明日报;2006年

2 本报记者 贺修平;[N];云南科技报;2009年

3 林可济;[N];中华读书报;2010年

4 周山;[N];文汇报;2011年

5 黄雪斌;[N];人民政协报;2001年

6 金海洋;[N];科技日报;2007年

7 刘丽傅 秋瑛;[N];科技日报;2005年

8 韩菊　编译;[N];计算机世界;2010年

9 刘宁;[N];新清华;2008年

10 刘丽 刘颖;[N];科技日报;2005年

中国博士学位论文全文数据库 前10条

1 张留华;数学、指号学与实用主义[D];华东师范大学;2011年

2 奚颖瑞;从“算术哲学”到“逻辑研究”[D];浙江大学;2010年

3 聂海军;逻辑、图与存在—皮尔斯存在图的三种解读[D];南开大学;2013年

4 李琪;集成化钻井智能决策支持系统的理论与应用研究[D];西南石油学院;2002年

5 刘建岭;胡塞尔的现象学心理学研究[D];吉林大学;2010年

6 雷银彬;Domain理论及Rough集理论若干相关问题研究[D];四川大学;2007年

7 俞俏燕;中国单科性院校专业趋同问题研究[D];厦门大学;2008年

8 颜中军;苏珊·哈克逻辑哲学思想研究[D];华东师范大学;2012年

9 王扩建;转型期地方核心行动者行动逻辑研究[D];苏州大学;2011年

10 郭建萍;真与意义的融合与分离之争的逻辑探究[D];山西大学;2012年

中国硕士学位论文全文数据库 前10条

1 车付翠;计算机科学中的逻辑应用研究[D];燕山大学;2011年

2 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年

3 刘蕊;逻辑行动主义方法论视角下的空名意义理论探析[D];燕山大学;2012年

4 王靖;大学生计算机自我效能感量表的开发与应用[D];山东师范大学;2010年

5 王鸣九;计算机师范专业培养方案问题分析及优化策略研究[D];上海师范大学;2013年

6 李初然;美国高校计算机通识教育研究[D];河北大学;2010年

7 陈磊;计算机围棋领域概念网的设计与实现[D];北京邮电大学;2010年

8 王彤;河北省高师计算机专业课程设置现状与对策研究[D];河北师范大学;2010年

9 陈思国;计算机兵棋裁决子系统的设计与实现[D];东北大学;2009年

10 李志恒;试论自然语言逻辑研究中的语法与语义[D];山西大学;2012年

  本文关键词：计算机科学中的逻辑应用研究，由笔耕文化传播整理发布。

本文编号：126055