切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
20世纪数理逻辑的概貌
20世纪数理逻辑的概貌
来源 :自然辩证法研究 | 被引量 : 0次 | 上传用户:qinzi9509
【摘 要】
:
这篇文章从历史的视角回顾了20世纪数理逻辑的面貌,并展望了21世纪或者21世纪早期数理逻辑的发展。
【作 者】
:
李娜
【出 处】
:
自然辩证法研究
【发表日期】
:
2002年z1期
【关键词】
:
数理逻辑
公理集合论
递归论
模型论
证明论
计算机科学
【基金项目】
:
本文得到普通高等学校人文社会科学重点研究基地基金资助
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
这篇文章从历史的视角回顾了20世纪数理逻辑的面貌,并展望了21世纪或者21世纪早期数理逻辑的发展。
其他文献
亨利·福利的T型车与亨利·福特的悲剧—对20世纪技术创新史上一个重大案例的再分析
亨利·福特的T型车及其悲剧启示我们:企业技术创新成败的关键在于技术创新方向是否与市场环境的变化趋势保持一致。然而,由过去的创新成功所带来的认知模式的刚性与行为惯
期刊
认知模式
行为惯性
董事会
企业
技术创新
市场变化
亨利·福特
T型车
创新者
rigidity of cognition pattern beha
论“知、明、我”三位一体
正如海德格尔说“在”的意义问题已久被遗忘了一样,“知”的意义问题也是长期被严重忽视着。似乎人人明白“知”的意思,但传统的主客体关系其实完全不能说明“知”的义理。本文
期刊
三位一体
知
明
我
主客体关系
现象学
关系模式
思维模式
Keywords: knowingclearI
弓形虫种株DNA多态性研究
目的 分析比较3株弓形虫基因组DNA的多态性,方法 应用随机扩增的多态性DNA(randomamplifiedpolymorphicDNA-RAPD)技术对弓形虫RH株,BH株,PP株基因组DNA扩增产物进行琼脂糖电泳,结果 单一及复合引物均能扩增产生多态性的DNA指纹图谱。3株
期刊
弓形虫
RAPD
DNA
指纹图谱
基因多态性
Toxoplasma RAPD DNA fingerprint
何以拒斥社会建构论?—论拉宾格尔对科学的社会建构论的回应
社会建构论者提出了一种新的科学观,科学家对此并不认可。化学家拉宾格尔从科学争论的终结与关于科学的争论的无终结的对比、另一种科学是否可能、社会建构论者反对的科学方法
期刊
拉宾格尔
科学
社会建构论
科学方法
辉格式
Keywords:socialconstructivismalternativesciencetheWhigint
疟疾传播媒介斑须按蚊唾液腺cDNA表达基因库的构建及抗原基因的筛选
目的 为寻找编码按征求认腺分泌性蛋白质的基因。方法 应用RNeasy试剂盒提取斑须按蚊唾液腺总RNA;OrientExpress^TM Oligo(dT)cDNA Library Construction系统反转录合成双链
期刊
斑须按蚊
唾液腺
CDNA表达文库
疟疾
抗原基因
Anopheles stephensiSalivary glandscDNA library
黄土高原小流域综合整治人群的意识—行为过程分析
本文通过对黄土高原小流域综合整治典型逆向性人群的意识-行为过程中形成的案例,以及造成的负面影响进行了初步分析,在此基础上,深入对黄土高原小流域环境和经济持续发展人群的意
期刊
意识-行为过程
黄土高原小流域
综合整治
西部大开发
经济
环境
psychological behavior process small watershed
从逻辑的观点看波爱修斯的共相学说
共相问题是逻辑学和哲学研究的根本问题之一。对共相本质的争论源于古希腊,柏拉图和亚里士多德代表了在该问题上两种截然不同的观点。三世纪,波菲利提出了关于共相的三个最根本
期刊
共相
独立自存
观念
逻辑与哲学
亚里士多德主义
美国《Emerging Infectious Diseases》2005年第5期有关人兽共患病论文摘译
期刊
含弓形虫ROP1基因真核表达重组质粒DNA免疫小鼠的研究 IV.免疫鼠血清细胞因子IFN-γ、IL-2及NO的测定
用pc-ROP1重组质粒免疫小鼠,观察其对细胞因子IFN-γ、IL-2及NO的影响。方法碱裂解法大量制备pc-ROP1质粒DNA,经肌肉注射免疫BALB/c小鼠,每只鼠注射100μg,两周后同量加免疫一次,以pcDNA3空质粒及生理盐水组为对照。分别于免疫
期刊
弓形虫病
棒状体蛋白
DNA免疫
RO01基因
质粒
27例小儿猫抓病性淋巴结炎临床特点及其诊治
由于近年来国内饲养宠物者增多,家中所饲养的宠物与人朝夕相处、亲密无间.许多宠物生病是源于人,而有些人所患的疾病却是源于宠物,因此人与宠物共患病也呈不断上升的趋势.
期刊
小儿
猫抓病性淋巴结炎
临床特点
诊断
治疗
与本文相关的学术论文