论文部分内容阅读
本文简要介绍了数理逻辑的基本思想和特点,数理逻辑思想在计算机科学领域中的应用,数理逻辑所采用的计算机研究方法,以及考虑问题的思维模式对计算机科学发展带来的启迪。
数理逻辑在计算机科学中的应用浅析
【摘 要】
：
本文简要介绍了数理逻辑的基本思想和特点,数理逻辑思想在计算机科学领域中的应用,数理逻辑所采用的计算机研究方法,以及考虑问题的思维模式对计算机科学发展带来的启迪。
【机 构】
：
青海省人工影响天气办公室,青海省气象局
【出 处】
：
青海科技
【发表日期】
：
2004年06期
其他文献
随着社会经济的快速发展,教育事业发展蒸蒸日上,并且受到了人们的高度重视。为了有效提高教育水平,达到国际化水准,我国一直在推进素质教育,以此促进教育事业的可持续发展。
<正>应县总人口中农业人口占72%。实践工作中,该县把解决农民身边的腐败问题作为头等大事,重点围绕农村改革发展稳定的主线,在队伍建设、职能发挥、强化制度"三个点"上,大力
随着经济的不断发展,我国房地产行业市场竞争越来越激烈,再加上资金等矛盾的激化,为资金管理工作带来了严重影响。本文根据以往工作经验,对房地产开发企业资金管理背景与重要
科技引领时代,创新驱动发展,随着移动端设备的普及,LTE牌照通过审查、发布后,中国三大网络运营商电信、移动、联通都紧随其后的公布了关于提升网速发展4G网络的发展计划。但
<正>保护好客户信息,有助于银行提高风险防控能力,更高效地服务客户,实现银行、客户、社会多方共赢《征信业管理条例》(以下简称《条例》)正式颁布实施至今四年有余,已成为规
<正> 笔者搜集经手术病理证实的41例胰癌患者的CT资料,在复习有关文献的基础上,着重讨论胰头癌的CT表现,以期提高对胰头癌的CT诊断率。报告如下。1 资料与方法 41例胰头癌患
期刊
目的分析糖尿病并发周围血管病变的临床流行病学特点,为其治疗提供理论依据。方法收集2012年12月-2013年9月我院就诊的糖尿病患者100例,按其是否并发周围血管病变将其分成试
目的探讨超声雾化治疗在耳鼻喉科疾病治疗中的应用。方法随机选取2012年5月-2014年5月我院收治的120例耳鼻喉疾病患者随机分为观察组(n=60)和对照组(n=60),对观察组患者予以
新课程理念下进行解决问题教学。要防止和克服数学教学活动内容偏离目标的倾向,防止数学课程性质的异化。有效地对数学活动进监控,借助编数学童话故事的方法,更好地将学生的
<正>看上去很美要说当前互联网最火爆的电商无疑是农产品电商。这与政策的推动有相当大的关系,年初的1号文件就提出农业要大力培育现代流通方式和新型流通业态,发展农产品网