收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

逻辑学在计算机科学中的应用

卢延鑫  
【摘要】: 本文主要以计算机科学为背景,以逻辑学为主线,以科学方法论为视角,全面系统地研讨逻辑学对于计算机科学的应用。逻辑学在计算机科学中的应用既表现在硬件设计方面,也表现在软件处理方面,特别是对形式语言系统的语法语义研究方面。在硬件设计方面,本文讨论命题逻辑及逻辑代数在电路设计中的应用,尝试提出如何设计出最优化的电路;软件处理方面,讨论逻辑学在关系数据库与人工智能中的应用。尤其探讨,谓词逻辑及公理化理论在关系数据库的数据子语言中的应用;以及如何有效地将谓词逻辑应用于人工智能中的知识表示、知识推理;还讨论谓词逻辑方法对构造程序设计语言的应用,以及谓词逻辑在计算机逻辑程序设计语言中的应用。本文最后讨论了形式化方法的重要意义及其缺陷。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 鞠实儿;论逻辑学发展的方向[J];中山大学学报(社会科学版);2003年S1期
2 李剑锋;论逻辑在中国的社会化水平[J];唐山学院学报;2004年04期
3 李包庚;简论逻辑学在大学教育中的地位[J];大学教育科学;2004年04期
4 王志艳;《波尔——罗亚尔逻辑学》对逻辑学发展的影响[J];辽宁教育行政学院学报;2004年09期
5 张建蓉;;高师院校逻辑学课程改革之我见[J];湛江师范学院学报;2006年01期
6 陈慕泽;;逻辑的非形式转向[J];河池学院学报(哲学社会科学版);2006年01期
7 连丽霞;刘巍;;素质教育视野下的逻辑学精品课建设[J];当代教育论坛;2006年09期
8 鞠实儿;;逻辑学的问题与未来[J];中国社会科学;2006年06期
9 蔡曙山;;第十三届国际逻辑学、方法论和科学哲学大会综述[J];哲学研究;2007年11期
10 何向东;李章吕;;论中国逻辑学的繁荣与发展——纪念改革开放30周年[J];哲学动态;2008年12期
11 温习勇;;对逻辑学地位和作用的再认识[J];安康学院学报;2009年03期
12 马佩;;再驳中国古代(先秦)无逻辑学论——对程仲棠教授“答马佩教授”的回复[J];中州学刊;2010年01期
13 陈超;;第3届逻辑、理性与互动国际研讨会综述[J];逻辑学研究;2011年04期
14 吴雁;;阿拉伯逻辑学的形成与特点[J];中国穆斯林;2013年04期
15 赵紀彬;逻辑学的法则[J];安徽大学学报;1982年03期
16 J.M.鲍亨斯基;王路;;一位逻辑学家的回忆[J];哲学译丛;1987年01期
17 高丰;;《今日逻辑科学》评介[J];逻辑与语言学习;1989年04期
18 刘敦正;简论哲学与逻辑学的关系[J];内蒙古社会科学(文史哲版);1990年06期
19 瞿麦生;;论当代逻辑学发展的特征[J];逻辑与语言学习;1991年05期
20 郭泽深;现代逻辑学发展片断的哲学思考[J];现代哲学;1996年03期
中国重要会议论文全文数据库 前10条
1 苏逻;;江苏省逻辑学会实施“三益一工程”[A];1998年逻辑研究专辑[C];1998年
2 关兴丽;;试论逻辑学对和谐社会中民主的支撑作用[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
3 张晓光;;关于逻辑学功能定位的思考:兼谈逻辑学与素质教育[A];法律逻辑与法学教育——第十五届全国法律逻辑学术讨论会论文集[C];2007年
4 黄伟力;;略论法律逻辑学的研究视角[A];第十四届全国法律逻辑学术讨论会论文集[C];2006年
5 王克喜;;论逻辑与语言——逻辑的个性[A];1996年逻辑研究专辑[C];1996年
6 李永铭;;逻辑学的走向[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
7 刘宗棠;;论辩逻辑的复兴与创新——三论“承认”[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
8 彭漪涟;;一位严谨而宽厚的逻辑学家——我所景慕的周礼全先生[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年
9 蔡曙山;;谈谈逻辑学的学科建设[A];小康社会:创新与发展——2002·学术前沿论坛文集[C];2002年
10 周祯祥;;美国实用主义哲学视野下的法律和逻辑[A];第十六届全国法律逻辑学术讨论会论文(成就·反思·前瞻——中国法律逻辑三十年)[C];2008年
中国硕士学位论文全文数据库 前10条
1 肖秋芳;论逻辑学在素质教育中的地位与作用[D];西南大学;2009年
2 丁亮;从公务员考试中的逻辑试题的设置看逻辑学的教学促进[D];西南大学;2013年
3 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年
4 谢颖;归纳逻辑程序设计初探[D];北京师范大学;2008年
5 王仲华;试论逻辑在经济决策过程中的作用[D];山西大学;2010年
6 田灿;蕴涵理论与逻辑学发展关系研究[D];河北大学;2013年
7 洪晔;逻辑主体及其变异研究[D];黑龙江大学;2012年
8 王华;命题泛逻辑学的包容性研究[D];西北工业大学;2004年
9 梁真;群体动态认知偏好逻辑[D];西南大学;2011年
10 刘蕊;逻辑行动主义方法论视角下的空名意义理论探析[D];燕山大学;2012年
中国重要报纸全文数据库 前10条
1 中共云南省楚雄州委党校副校长、副教授 李志昌;现实呼唤逻辑学回归[N];中国社会科学报;2013年
2 ;中国逻辑学:回顾、反省与前瞻[N];光明日报;2003年
3 沈跃春;现代逻辑学及其发展趋势[N];人民日报;2004年
4 陈波;逻辑学的2005年[N];光明日报;2006年
5 草庐公;打开战争“黑箱”的第一把钥匙[N];中国国防报;2004年
6 彭漪涟;逻辑科学需要进行系统反思[N];光明日报;2006年
7 戈莱格·莱斯特尔 墨尔本大学哲学、人类学和社会研究学院,焦兵编译,熊明辉校;《澳洲逻辑学杂志》简介[N];中国社会科学报;2009年
8 沈跃春;加强悖论的跨学科研究[N];光明日报;2006年
9 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年
10 沈跃春;繁荣和发展逻辑科学[N];安徽日报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978