论文部分内容阅读
【正】 数理逻辑又称符号逻辑,是用数学方法研究思维形式的逻辑结构及其规律的学科。所谓数学方法,是指用一套表意符号(即形式语言系统)表达思维的形式结构和规律,从而把对思维的研究转化为对符号的研究。以便摆脱自然语言的歧义性,构成能像算术或代数那样的严格精确的演算系统。从逻辑
数理逻辑的发展
【摘 要】
：
【正】 数理逻辑又称符号逻辑,是用数学方法研究思维形式的逻辑结构及其规律的学科。所谓数学方法,是指用一套表意符号(即形式语言系统)表达思维的形式结构和规律,从而把对思
【出 处】
：
社会科学
【发表日期】
：
1985年8期
其他文献
采用木瓜蛋白酶水解文蛤蛋白制备小分子肽后利用凝胶层析初步分离并对抗氧化性进行了相关研究,自由基清除率是反应抗氧化性的重要指标,因此研究的重点是测定羟自由基和超氧自
为提高湿热地区青贮饲料的品质,本研究首先分析了从西南高温高湿地区青贮饲料中分离到的227株天然乳酸菌种群结构,再根据乳酸菌在高温条件下的生长活性和产酸能力筛选到4株优
费用粘性是现代公司成本管理研究的重要内容。本文将公司盈余管理动机分为向上盈余管理动机和向下盈余管理动机,深入系统研究盈余管理动机对费用粘性的影响,并以2008-2014年
经过两年多的谋划筹备,2014年8月,深圳市印猫科技电子商务有限公司在深圳前海注册成立。2015年3月18日,印猫网在北京隆重的举行了平台上线启动仪式以及线下服务中心揭牌仪式,
近年来,建筑工程项目如雨后春笋般迅速涌现,为了保证建筑业的健康发展,建筑工程合同管理是必不可少的。对于施工项目,合同规定了双方必须履行的义务和各自的权利,是施工项目
从水环境监测的应用需求出发,提出了水下空间节点三维部署的目标和约束条件。同时,为了解决在三层水下无线传感器网络结构模型下,节点稀疏部署后,网络存在的能耗不均衡问题,
花药开裂是开花植物生殖生长中非常重要的一个环节,花药能否适时开裂直接影响授粉和受精。水稻花药开裂与浆片膨大所导致的颖花开放同步发生。植物激素茉莉酸（JA）是调控花药开
在分析食用菌产业特殊性的基础上,对产业链各个环节的技术与质量问题进行探讨,研究了食用菌产品质量问题产生的原因,提出了产品质量管理必须注重实际执行效果,改变被动的管理
栖霞寺是南京千年名刹。明朝中期，栖霞寺佛教衰微至极。嘉靖三十三年（1554）前后，华严名僧素庵真节应请至栖霞寺，讲经说法近四十年，弘传华严宗学，兼弘天台、唯识、禅宗、净土等宗思想
目的探讨人血白蛋白在创伤性骨折患者的合理应用.方法回顾性分析86例创伤性骨折后低蛋白血症患者的临床资料,其中闭合骨折患者（43例）,开放骨折患者（43例）,根据是否使用人血白蛋白