论文部分内容阅读
本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想为希望在该领域开拓视野之士敞开大门。
逻辑，语义和计算机科学的一些基本思想
【摘 要】
：
本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想为希望在该领域开拓视野之士敞开大门。
【出 处】
：
数学进展
【发表日期】
：
2002年5期
其他文献
这是一篇由法国科学院院士 Ｋａｈａｎｅ为纪念Ｌｅｂｅｓｇｕｅ积分 １００周年而写的文章，原文发表在《巴黎科学院通报》上，文章讲述了Ｌｅｂｅｓｇｕｅ积分创立的历史背景及其影响，经作者同意，由武汉大学范爱华教授翻译成中文在本
泛函偏差分方程是90年代初发展起来的一个新的和重要的研究领域,本文就泛函偏差分方程定性理论的研究状况和发展做一简要的评述.
设σ(n)为n的所有正因子(包括1和n本身在内)之和.正整数对(m,n)被称之为相亲数(或双亲数,因为这种数总是成双成对出现的)如果他们满足: σ(m)=σ(n) = m + n.如果n=n, σ(m)=
晶体微观结构是晶体材料在特定物理条件下其多个能量极小平衡态在空间形成的某种微尺度的规则分布.几何非线性的连续介质力学理论可以用能量极小化原理来解释晶体微观结构的
丹玉86号是辽宁省丹东市农业科学院育成的玉米新品种。已通过辽宁省农作物品种审定委员会、山东省农作物品种审定委员会的审定和推广。该品种2006年引进山东省莒县示范种植,
农村能源建设是退耕还林地区生态环境建设的战略重点,是农业可持续发展的重要保障。加快退耕还林地区的农村能源建设,不仅是党和国家实施西部大开发战略的重要内容之一,也是
亚当*斯密不仅关心一般的道德理论,还高度关注社会的道德现实.他对市场经济的道德影响做了考察,认为这种影响既有积极的方面,也有消极的方面.这就是所谓的"双重效果论".斯密
本文是一份综合报告，它基于作者的一部份研究工作和他在北京师范大学的五次讲演稿，以奇异分算子作为桥梁联结函数空间的结果和偏微分方程的结果作了阐述，它包括奇次空间上的调和
本文对动力系统这一学科的历史、理论、应用以及与其他学科的联系作一简介。
摘要：互联网技术的不断发展随之带来的是越来越突出的网络安全威胁问题，因此在实际操作中广泛应用入侵检测技术。该文主要就入侵检测系统当前发展的现状及未来的发展趋势进行了相关论述。主要论述了作者对于入侵检测技术未来发展的个人判断。 关键词：互联网技术；网络安全；入侵检测 中图分类号：TP393 文献标识码：A 文章编号：1009-3044（2015）12-0019-01 随着网络技术的不断发展，网