论文部分内容阅读
本文介绍了数理逻辑的发展史，论述了数理逻辑中的置换和代换的定义、置换定理和代换定理、二者区别及关系，说明了置换和代换在整个数理逻辑中的地位及重要作用。最后，简单谈了学习数理逻辑对思维和行为的指导作用。
论数理逻辑中的置换与代换
【摘 要】
：
本文介绍了数理逻辑的发展史，论述了数理逻辑中的置换和代换的定义、置换定理和代换定理、二者区别及关系，说明了置换和代换在整个数理逻辑中的地位及重要作用。最后，简单谈了学
【机 构】
：
南京信息工程大学计算机与软件学院
【出 处】
：
黑龙江科技信息
【发表日期】
：
2011年28期
其他文献
简要介绍了上海市《展览建筑及布展设计防火规程》的编制依据和概况,说明了《规程》的编制特点。概括介绍了《规程》的主要内容,并指出《规程》的主要创新点与存在问题。《规
传统节日是民众生产、生活节律和文化实践的记忆活动。理解传统节日起源的文化记忆如何转变成节日主体生活中的有意义的历史,是节日起源解释层面上的真实意图。传统节日包含
微小RNA（miRNAs）是一类内源性的非编码小分子RNA，广泛存在于真核生物细胞中。miRNAs通过抑制mRNA翻译或降解mRNA的方式下调目的基因的表达水平，被认为是基因转录后表达调控的主要
龙岩市是以马来丝虫病为主的马来丝虫和班氏丝虫中、低度混合流行区,中华按蚊和嗜人按蚊为其传播媒介.1953年龙岩市首次在漳平县应征体检青年中查出微丝蚴,微丝蚴率为54%(27/
通过对A335-P92钢的焊接及焊接性分析,焊接材料的选择与试验及焊接工艺评定试验,提出A335-P92钢GTAW＋SMAW＋SAW的工厂化组合焊接技术,为突破A335-P92钢的焊接工艺,及解决焊缝冲
本文从消防救援现场与日常管理中人员信息管理现实需求出发,分析了RFID与可穿戴设备的发展现状,提出了一种嵌入了RFID的消防指战员信息管理用智能手表来进行人员信息管理的新
Toll样受体（TLRs）是先天性免疫的病原模式识别受体，在病原体的识别、获得性免疫反应的调节、信号转导等方面起重要作用。随着对感染性角膜炎和角膜移植术后急性、慢性排斥反应发
应用Ｒｉｅｃｋｍａｎｎ体外微量法测得中缅边境西段缅甸境内感染的恶性疟原虫对氯喹及我国抗疟新药青蒿琥酯及咯萘啶的抗性率分别为１００％、１４．３％及１９．０％，半数抑制量依次为２４９．４、４．２及１２．１ｎｍｏｌ／Ｌ。３例抗青蒿琥酯恶性疟原虫对氯喹和