论文部分内容阅读
本文对理论计算机科学,特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述,旨在使上述思想能为希望在该领域开拓视野之士敞开大门.
逻辑,语义和计算机科学中的一些基本思想
【摘 要】
：
本文对理论计算机科学,特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述,旨在使上述思想能为希望在该领域开拓视野之士敞开大门.
【机 构】
：
Department of Electrical Engineering and Computer Science Case Western Reserve University, Cleveland
【出 处】
：
数学进展
【发表日期】
：
2002年5期
其他文献
[中国石化新闻网讯]广州石化仪控中心动力二班的张文伟师傅,有个独具特色的外号——“蒙古佬”。因为他个子高,身材魁梧,虎背熊腰,看上去粗犷之极。外刚内柔的他做事不但有动
期刊
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
对来自我国南方6个科研机构饲养的KM小鼠的外形进行了调查,测量了成年KM小鼠(每个机构20♂,20♀)的体全长、尾长和头体长3个主要外形指标.结果显示:各群体间在这3项指标上存
随着科技发展、电脑普及,学科基础课程常常被大家忽略,使学生的视觉表现力在传统艺术表现方面相对比较薄弱,本文以“书籍设计”课程为例,探讨书法艺术如何与设计课程相融合,
目的:探讨循证护理在预防手术压疮中的作用.方法:通过循证护理找出手术压疮发生的原因,制订干预措施.结果:通过循证护理干预,120例手术患者无1例发生手术压疮.结论:在预防手
一、现实与思考如何搞好作文教学一直是语文老师们头疼的问题。我们经常会看到这样的现象:很多学生语文基础知识掌握得很牢靠,但作文水平却不敢恭维。需要反思的是古人所讲的
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
通过多年的儿童福利单位档案工作的具体实践,我们深刻的体会到,随着计算机技术的不断提高,电子档案作为高科技的成果是现代档案管理的非常重要的手段,确立切合实际的电子档案
1.点和线在影视广告的作用抽象形态里最基本的元素包括点、线、面、体等,它们是在一种抽象的视觉方式下呈现的,是对形态归纳与提炼的结果。从涉及和运用的广度考虑,我们只谈