期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
第七届国际逻辑学、方法论和科学哲学代表大会将于1983年在奥地利举行
下载PDF
职称材料
导出
摘要
由国际科学史和科学哲学联合会(IUHPS)逻辑学、方法论和科学哲学部筹备的第七届国际逻辑学、方法论和科学哲学代表大会将于1983年7月11日至16日在奥地利的萨尔茨堡举行。会议将分14个专题组,它们是: 1.证明论和数学基础, 2.模型理论及其应用, 3.递归论和计算理论, 4.公理集合论, 5.哲学的逻辑,
作者
新铭
出处
《自然辩证法通讯》
1982年第4期62-62,共1页
Journal of Dialectics of Nature
关键词
科学哲学
方法论
逻辑学
代表大会
公理集合论
模型理论
科学史
国际
计算理论
递归论
分类号
N031 [自然科学总论—科学技术哲学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
王路.
第10届国际逻辑、方法论和科学哲学大会逻辑观感[J]
.哲学动态,1995(10):8-10.
2
王辉.
浅议一阶逻辑的发展与集合论公理化的关系[J]
.自然辩证法研究,2008,24(12):27-30.
3
李维岳.
系统论与集合论[J]
.系统科学学报,1996,10(1):49-52.
被引量:1
4
钱雪梅.
我国大学和科研评价研究成果摘要[J]
.中国高校科技与产业化,2004(10):40-43.
被引量:1
5
卢殿臣,郑锡忠.
关于Grzegorczyk第九问题[J]
.江苏大学学报(自然科学版),1992,22(3):94-101.
6
刘钢.
机器、思维与信息的哲学考察与莱布尼茨的二进制级数和现代计算机科学的关系[J]
.心智与计算,2007,0(1):78-87.
被引量:2
7
第十二章 巧用论证:议论文要言之有序[J]
.新作文(初中作文指南),2011(1):61-65.
8
张锦文.
集合论及其进展[J]
.自然辩证法通讯,1979,1(4):54-61.
9
季国清.
在反思的时代反思自然辩证法[J]
.自然辩证法研究,2002,18(12):43-46.
10
王杰航.
题组运用的正负面效果研究[J]
.山西师范大学学报(自然科学版),2011,25(S2):15-17.
自然辩证法通讯
1982年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部