【摘 要】
:
该文在深入钻研逻辑代数创始人的原著并广泛查阅、分析二次文献的基础上,对于数理逻辑发展史上的一个重要事件——逻辑代数的产生进行了系统的研究,包括给出逻辑代数的创立背
【出 处】
:
中国科学院数学与系统科学研究所 中国科学院数学与系统科学研究院
论文部分内容阅读
该文在深入钻研逻辑代数创始人的原著并广泛查阅、分析二次文献的基础上,对于数理逻辑发展史上的一个重要事件——逻辑代数的产生进行了系统的研究,包括给出逻辑代数的创立背景与过程的历史重构,对与此有关的几位重要人物(尤其是布尔)的逻辑工作进行了新考察和评价,等等.
其他文献
9月20日,青岛市城阳区人大常委会党组召开党组扩大会议,认真学习贯彻党的十六届四中全会公报及有关精神,并进行了广泛讨论。通过学习,大家一致认为,党的十六届四
On Septem
该文用泛函分析中的C-半群理论研究M/M/1排队模型.M/M/1排队可以用常微分方程也可以用偏微分方程描述.该文的主要目的是研究偏微分方程形式的M/M/1排队模型.该文的最大特点是
随着计算机的迅速普及,网络在推动我国社会进步的同时,也在很大程度上改变了人们的日常生活。网络的普及,推动了网络语言的发展,一些初中学生在日常生活、学习中,受网络语言
在国内,视频监控系统以往方法都是采用模拟方式,即采用录像机、摄像机、磁带进行图采集和存储,功能单一、技术手段落后.该文针对视频监控系统的数码化问题提出了相应的解决方
足球是一项非常有意义的体育运动,它在世界范围内都非常普及,在我们国家也不例外,进行足球运动不仅能够强身健体,将国人的身体综合素质进行提高,还能提高团结写作的意识,所以
我们采用的方法,其理论基础是在语音识别领域获得巨大成功的隐马氏模型(HiddenMarkovModel-HMM).我们知道,汉字识别的研究中,最大的困难在于汉字的图像变化繁多.但是,不管汉
该文通过研究酉扩张问题,给出了在四,五,六维中与一类伸缩矩阵A相关的小波的明确表达式和正交小波包的构造.该文是按如下方式组织的.第一章说明了该文所讨论的伸缩矩阵类包含
中考数学首要的复习要点是基础加提高,侧重点在于掌握基础知识及基础技能.应当本着将所学知识系统化,练习专题化,专题规则化的基本宗旨来进行复习以达到记忆过关、基本方法过
该文研究文[7]中提出的一般冲击模型的非参数统计推断问题.首先由Wald定理得到系统能承受的最大冲击强度Z的表达式,然后在随机截尾数据下,利用计数过程理论建立了冲击间隔Y的