【摘 要】
：
本文主要以计算机科学为背景,以逻辑学为主线,以科学方法论为视角,全面系统地研讨逻辑学对于计算机科学的应用。逻辑学在计算机科学中的应用既表现在硬件设计方面,也表现在软
论文部分内容阅读
本文主要以计算机科学为背景,以逻辑学为主线,以科学方法论为视角,全面系统地研讨逻辑学对于计算机科学的应用。逻辑学在计算机科学中的应用既表现在硬件设计方面,也表现在软件处理方面,特别是对形式语言系统的语法语义研究方面。在硬件设计方面,本文讨论命题逻辑及逻辑代数在电路设计中的应用,尝试提出如何设计出最优化的电路;软件处理方面,讨论逻辑学在关系数据库与人工智能中的应用。尤其探讨,谓词逻辑及公理化理论在关系数据库的数据子语言中的应用;以及如何有效地将谓词逻辑应用于人工智能中的知识表示、知识推理;还讨论谓词逻辑方法对构造程序设计语言的应用,以及谓词逻辑在计算机逻辑程序设计语言中的应用。本文最后讨论了形式化方法的重要意义及其缺陷。
其他文献
随着超宽带通信系统的发展,对其中的重要组成成分之一的超宽带天线也提出了更高的要求,使之比传统天线的设计更具挑战性,主要表现在:天线除了需要具有超宽的工作频带(一般为3
合作学习作为一种以学生之间互动为主要取向的教学理论与策略体系,以其丰富的创意和实效性,目前被许多国家在教学实践中采用并进行不断深入的研究。目前我国正在全面实施素质
伴随着科学技术的日新月异,人类迎来了信息化的知识经济时代,以知识形态存在的无形资产业逐渐成为独占鳌头的经济资源,在现代经济生活中扮演着越来越重要的角色。在发达国家
民族文化中考察教育,这是教育人类学研究的一个基本路向。教育人类学基于传统教育视野有三大转变:把目光从学校转移到整个社会,关注大社会的教育,把教育看成是社会系统中的一
教师对幼儿读经的价值取向,指实践中指导读经的幼儿教师对幼儿读经所持的相对稳定的标准与看法,包括对幼儿读经的重要性、内容、方法与评价等看法的总和。儒家文化作为传统文
19世纪五六十年代以前,英国大多数特殊教育需要儿童都被安置在具有隔离性质的教育或养护机构(主要是全日制寄宿机构和特殊学校),终日生活在残疾人这个狭小的圈子里,与正常人
随着网络的迅猛发展,计算机已普及到各个角落,它成为了我们每个人工作、学习、生活、娱乐等各方面不可缺少的工具。网络在中学生的信息交流、人际关系、视野拓展等方面显现出
向子諲是宋代的名臣。他出生于地位显赫的家庭,一生政绩卓著,素为世人敬重。北宋末期,向子諲为官正直,敢于为民请命,不畏权贵,颇得政声。靖康之变后,他毅然投笔从戎,担负起保
三七又名山漆、金不换、田漆等,为五加科植物Panax notoginseng（Burk.）F H.Chen的干燥根。利用大孔树脂、硅胶、ODS等分离手段对三七的70%乙醇提取物化学成分进行了分离鉴定,从
本文以双组元统一推进系统为研究对象,围绕系统故障模式、SDG定性建模与分析方法、定性推理策略、集成定性定量分析等问题,研究发展了推进系统定性与半定性故障诊断方法。总