切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
让风神的竖琴鸣响——读李未院士的《数理逻辑》一书有感
让风神的竖琴鸣响——读李未院士的《数理逻辑》一书有感
来源 :计算机教育 | 被引量 : 0次 | 上传用户:BluePrince
【摘 要】
:
<正>从传统逻辑到经典数理逻辑,形式逻辑的发展始终与科学和哲学的发展相伴。当今,从科学发展的角度来看,一方面,经典数理逻辑的概念、理论和方法,不仅在程序
【作 者】
:
王立柱
【机 构】
:
天津师范大学
【出 处】
:
计算机教育
【发表日期】
:
2008年13期
【关键词】
:
元语言
一阶语言
公理化方法
形式逻辑
《数理逻辑》
唯物辩证法
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>从传统逻辑到经典数理逻辑,形式逻辑的发展始终与科学和哲学的发展相伴。当今,从科学发展的角度来看,一方面,经典数理逻辑的概念、理论和方法,不仅在程序
其他文献
DPC4在不同胰腺疾病中改变的初探
期刊
胰腺疾病
DPC4基因
纯合缺失
复合PCR
抑癌基因
叶丝加料工艺参数对加料效果的影响
为了充分发挥叶丝加料的技术优势,提高叶丝加料的应用效果,分析测试了叶丝加料不同加工参数对加料效果的影响。结果表明:1烟片增温补偿蒸汽开度为10%时,切丝综合质量较好;2与
期刊
叶丝加料
加料均匀性
有效利用率
叶丝质量
上海现阶段寿险市场特征与发展对策研究报告——’98上海市民与保险调查
本文针对上海寿险市场需求潜力很大,但有效需求不足的状况,在深入调查研究的基础上以大量的问卷统计数据支撑理论分析和结论,并进而提出相应的发展对策。
期刊
寿险需求
(现代)保险服务
规范代理
社区服务的拓展及产业化探索
拓展社区服务是我国社会经济发展到一定阶段的客观要求。要突破传统观念,为社区服务赋予新的内容。社区服务的稳步发展必须以一定的经济效益为基础,要使其走上良性发展的轨道
期刊
社区服务
产业化
中医定向透药治疗联合依帕司他治疗糖尿病周围神经病临床研究
目的:观察中医定向透药联合口服依帕司他治疗糖尿病周围神经病变(DPN)的疗效。方法:将2017年9月到2019年3月收治的2型糖尿病周围神经病患者随机分为两组,每组60人,对照组给予
期刊
中医定向透药治疗
依帕司他
糖尿病周围神经病
神经传导速度
皮肤交感反应
休闲农业发展模式研究——以渭南市下邽镇为例
以渭南市下邽镇为例,通过对休闲农业发展现状的SWOT分析,将四种分析条件相互交叉匹配,得出SWOT发展模式策略矩阵,探讨适合下邽镇休闲农业发展模式,以期为渭南市下邽镇休闲农
期刊
休闲农业
乡村旅游
发展模式
SWOT分析
下邽镇
城市零散地质遗迹的特点及利用潜力——以湖南长沙为例
针对城市零散地质遗迹未能得到人们足够认识和利用的现状,以湖南省会城市长沙为例,认为城市零散地质遗迹可分为原地及非原地两类,具有多样性,良好的可接触性,同时有丰富的地质意义;并针对其特点,结合国外成功案例,探讨了城市零散地质遗迹的可利用潜力,认为其可丰富城市景点的科学内涵、有效串联城市景观,延长旅游路线,通过融入互联网、移动等技术可将零散地质遗迹的利用拓展到旅游、教育、文创、广告、电子竞技等领域,为
期刊
城市零散地质遗迹
利用潜能
长沙
湖南
urban scattered geoheritageutilization potentialChangshaHuna
浅谈建筑施工中防水防渗技术
在进行建筑工程的施工时,防水防渗施工是极为重要的一项工作,因此,在施工过程中严格进行施工质量控制工作,能够将渗漏问题的发生率降到最低。现今的建筑工程施工中,最常出现
期刊
建筑施工
防水防渗
施工技术
约翰·厄里论全球复杂性及其挑战
在全球化时代,社会世界呈现为一个复杂系统。复杂性科学既为我们理解全球复杂性提供概念和方法,也为我们应对全球复杂性挑战提供有益启示。
期刊
社会
复杂系统
全球化
全球复杂性
复杂性科学
约翰·厄里
从PNdS到DSH——德国大学外国学生入学考试的变更
【正】外国人要在德国上大学,除了必须具备相当于德国九年制中学的毕业证书外,还必须通过德语入学考试。这个考试以前叫PNdS(全称为:Prüfung zum Nachweis deutscher Sp
期刊
德国大学
入学考试
外国学生
语言知识
考试机构
语言行为能力
听力复述
功能动词结构
文章段落
外国人
其他学术论文