公理化组合真之理论研究述评 被引量：2

1

作者 韦雷雷 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2016年第3期38-43,共6页

公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理... 公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理论的研究方向上取得了若干成果。公理化组合真之理论以真谓词是否允许作用于本身带有该真谓词的语句为划分标准,分为"类型组合真之理论"和"无类型组合真之理论"两个路径。 展开更多

关键词 公理化真之理论 组合真 类型 无类型

原文传递

多元量化和无类型集合论对逻辑悖论的规避

2

作者 何佳 《新经济》 2019年第7期47-51,共5页

近百年来,数学家、逻辑学家们使用了公理集合论、类型论等方法多次重塑我们对逻辑悖论及其解决方案的理解。发现悖论与拯救悖论的过程对推动现代数学、分析哲学、语义学的发展起到不可替代的作用。在本文中,笔者对一些逻辑悖论中的某些... 近百年来,数学家、逻辑学家们使用了公理集合论、类型论等方法多次重塑我们对逻辑悖论及其解决方案的理解。发现悖论与拯救悖论的过程对推动现代数学、分析哲学、语义学的发展起到不可替代的作用。在本文中,笔者对一些逻辑悖论中的某些关键推理并没有如常规操作那样,刻意去解决或阻止;而是在分析悖论产生的过程中,探求其本质,找到悖论为我们所用的观点。如果采取更广义的逻辑和数学框架,逻辑悖论也能从“威胁论”重塑为一种极重要的资源,推动逻辑学科的发展,尤其是对高阶逻辑的应用。与类型论相比,一种无类型的集合论的目标是在不得到悖论的情况下,得到一个表达力强的逻辑。 展开更多

关键词 多元量化 无类型 逻辑悖论 高阶逻辑

下载PDF 职称材料

一种无类型的弱公理化真理论及其扩充

3

作者 李晟 《重庆理工大学学报（社会科学）》 CAS 2017年第1期13-17,共5页

在概述弱公理化真理论与无类型的弱公理化真理论PUDT的基础上,证明无类型去引号理论,即正一致去引号理论(positive uniform disquotational theory,简记为PUDT)是一种正真(positive truth)的弱公理化真理论。对PUDT进行适当扩充,可以得... 在概述弱公理化真理论与无类型的弱公理化真理论PUDT的基础上,证明无类型去引号理论,即正一致去引号理论(positive uniform disquotational theory,简记为PUDT)是一种正真(positive truth)的弱公理化真理论。对PUDT进行适当扩充,可以得到在经典逻辑上不相容,而在直觉主义逻辑上相容的公理化真理论。但是,这类公理化真理论并不是理想的真理论。 展开更多

关键词 公理化 真理论 弱组合性 无类型

下载PDF 职称材料

脚本语言及其应用 被引量：8

4

作者 郑鹏 林子禹 《武汉大学学报（自然科学版）》 CSCD 1999年第5期716-718,共3页

介绍了脚本语言的基本组成、主要特征及其与系统编程语言的互补性，给出了使用该类语言开发应用程序的基本方法． 通过分析相关实例数据获得的结论是：脚本语言编程在减少编程工作量、提高组件重用率、缩短开发周期、降低开发费用等方... 介绍了脚本语言的基本组成、主要特征及其与系统编程语言的互补性，给出了使用该类语言开发应用程序的基本方法． 通过分析相关实例数据获得的结论是：脚本语言编程在减少编程工作量、提高组件重用率、缩短开发周期、降低开发费用等方面较系统编程语言具有明显的优势，并具有广阔的应用前景． 展开更多

关键词 脚本语言 组件 无类型性 程序设计语言 解释性

全文增补中

三层结构数据库粮情检测系统软件设计 被引量：1

5

作者 韩效国 陈良光 《粮油食品科技》 2003年第2期19-21,共3页

本文就粮情检测系统中,对于众多下位机采集后存放于上位机(中央控制器)的温度数据,运用Delphi的MIDAS技术构造的数据库所实施的三层结构操作的程序设计进行了分析。同时,对于以自定义文件格式生成和存储的粮库库房平面图与测温点分布图... 本文就粮情检测系统中,对于众多下位机采集后存放于上位机(中央控制器)的温度数据,运用Delphi的MIDAS技术构造的数据库所实施的三层结构操作的程序设计进行了分析。同时,对于以自定义文件格式生成和存储的粮库库房平面图与测温点分布图的应用,以及以多种方式显示、存储、打印数据的程序作了介绍。 展开更多

关键词 MIDAS 三层结构 远程数据模块 无类型文件处理 WINDOWS套接字

下载PDF 职称材料

论高中化学教科书中的空无内容 被引量：1

6

作者 赵欣宇 宫丽红 《林区教学》 2018年第1期70-72,共3页

空无内容是指教科书中应该呈现却没有呈现的内容。空无内容如何补充、补充的范围及难度与深度决定学业水平的深广度。通过研究空无内容的内涵、分类及实施,以探究高中教科书需补充的空无内容的范围,为高中化学教师提供教学帮助。

关键词 化学教科书 空无内容 空无类型

下载PDF 职称材料

网络地址转换及其应用 被引量：2

7

作者 徐俊华 黄杰 《中国数据通信》 2002年第3期24-27,共4页

本文详细介绍了网络地址转换技术(NAT)的原理及它的应用领域,并结合Linux操作系统给出了实例分析。最后对网络地址转换技术进行了总结评价。

关键词 INTERNET 无类型域间路由选择 路由器 网络地址转换

下载PDF 职称材料

基于非阻塞模式的多客户网络通信的研究

8

作者 周凤石 《沙洲职业工学院学报》 2006年第1期4-8,共5页

对于只有一个客户端且仅传输一些简单文本的Socket编程,相关文章可以从网上或教材中找出很多,但这种极简单的情况几乎没有多少实用价值,实际应用中通常都是服务端需要同时与几十个甚至上百个客户端通信或进行文件传输。本文对此进行详... 对于只有一个客户端且仅传输一些简单文本的Socket编程,相关文章可以从网上或教材中找出很多,但这种极简单的情况几乎没有多少实用价值,实际应用中通常都是服务端需要同时与几十个甚至上百个客户端通信或进行文件传输。本文对此进行详尽而深入的讨论,并特别给出了基于Delphi6.0的部分关键实现代码。 展开更多

关键词 非阻塞模式 套节字 无类型指针 文件流

下载PDF 职称材料

在 Turbo Pascal 中实现保形数组参数的功能

9

作者 李鹰 李鸿 《长沙水电师院学报（自然科学版）》 1998年第1期35-40,共6页

使用无类型参数和开数组参数的方法，在ＴｕｒｂｏＰａｓｃａｌ中实现了保形数组参数的功能，使得在处理数组运算时大为方便．

关键词 保形数组参数 开数组参数 无类型参数 数据结构

下载PDF 职称材料

矩阵运算在Turbo Pascal中的实现

10

作者 李鹰 《喀什师范学院学报》 1999年第2期38-47,共10页

使用无类型参数的方法，在Ｔｕｒｂｏ Ｐａｓｃａｌ中实现了保形数组参数的功能。在一个单元中，设计了若干个通用的过程或函数，使用了选主元的方法，实现了矩阵的多种运算，并对文献「１」进行了修正和补充。

关键词 无类型参数 矩阵运算 TURBOPASCAL 运算程序

下载PDF 职称材料

为互联网的创新提供真正全新的机遇

11

作者 Latif Ladid 《现代有线传输》 2005年第2期21-22,共2页

在探讨IPv6对扩大的地址空间的利用方式之前,考虑一下原有的IPv4结构的关键因素是很重要的.所有有关互联网结构的早期文章和实践都强调与互联网相连的每台计算机都要有一个全球唯一的IP地址.因此,每台主机拥有全球唯一的IP地址被看作是I... 在探讨IPv6对扩大的地址空间的利用方式之前,考虑一下原有的IPv4结构的关键因素是很重要的.所有有关互联网结构的早期文章和实践都强调与互联网相连的每台计算机都要有一个全球唯一的IP地址.因此,每台主机拥有全球唯一的IP地址被看作是IPv4结构的一部分.而且,全球唯一地址给应用层带来的灵活性也解释了目前互联网中的应用创新为何层出不穷.例如,在互联网开通之初,要做出一项艰难的决定,即哪些主机作为客户端哪些作为服务器,这就限制并最终削弱了IP话音、个人聊天和电话会议等业务的早期工作. 展开更多

关键词 互联网 IPV6技术 地址空间 IP地址 会议业务 无类型域间路由技术

下载PDF 职称材料

我国无融合生殖类型的苹果属资源及其利用 被引量：9

12

作者 赵晓光 潘增光 《山东林业科技》 2002年第3期33-34,共2页

关键词 无融合生殖类型 苹果属资源 利用 无融合生殖材料

下载PDF 职称材料

乳腺富于脂质癌的探讨

13

作者 高方方 杜冠魁 +1 位作者 王敏建 范平明 《新医学》 2024年第1期1-4,共4页

乳腺富于脂质癌(LRC)于1963年被首次描述,该疾病已被重新分配到无特殊类型浸润性乳腺癌类别中。有研究者认为乳腺LRC癌细胞中的脂质是乳腺导管上皮细胞分泌产物。LRC的病理特征是质地坚硬,切片呈淡黄色,与周围组织边界不清。乳腺LRC通... 乳腺富于脂质癌(LRC)于1963年被首次描述,该疾病已被重新分配到无特殊类型浸润性乳腺癌类别中。有研究者认为乳腺LRC癌细胞中的脂质是乳腺导管上皮细胞分泌产物。LRC的病理特征是质地坚硬,切片呈淡黄色,与周围组织边界不清。乳腺LRC通常被认为是乳腺癌的侵袭性表型,其缺乏统一的治疗方案和标准。更深入的随访研究将有助于制定综合治疗方案。该文评述了乳腺LRC的研究过程和发展现状。 展开更多

关键词 乳腺富于脂质癌 无特殊类型浸润性乳腺癌 病理学 分子分型

下载PDF 职称材料

105例无精子症精液脱落细胞分析总结

14

作者 陈丽书 《中文科技期刊数据库（全文版）医药卫生》 2023年第6期105-107,共3页

无精子症是困扰男性的一类疾病,对生育能力产生一定影响,不利于夫妻关系和谐、家庭幸福。该疾病由多种原因造成,因人而异,治疗手段也有所差别。面对这项疾病,男性需要做好预防、排查工作,若发现患有该疾病,需要及早接受治疗。不管是排... 无精子症是困扰男性的一类疾病,对生育能力产生一定影响,不利于夫妻关系和谐、家庭幸福。该疾病由多种原因造成,因人而异,治疗手段也有所差别。面对这项疾病,男性需要做好预防、排查工作,若发现患有该疾病,需要及早接受治疗。不管是排查还是治疗,都需要把“获取更精准”检验报告为前提,精液脱落细胞分析作为诊断男性不育的传统手段,探明其在男性无精子症检查中的应用效果、应用价值,具有重要现实意义,由此引申出本次研究,间接助力我国医疗行业发展。对前我院就诊的105例无精子症患者精液进行脱落细胞分析,以便查找出病因更好地对患者有针对性地进行治疗。方法 让前来就诊的无精子症患者取精液,精液标本液化后,将精液标本进行离心后取沉淀物涂片,充分干燥,固定后瑞姬氏染色,油镜下对各种有形成分进行分析。结果 通过精液脱落细胞分析,鉴别无精子症类型是原发性无精子症还是梗阻性无精子症以及对睾丸生精功能进行评估,计算出每种类型无精子症所占的比例。结论 精液脱落细胞分析这项检查对无精子症患者有重要意义,可以精准鉴别无精子症类型,也可以对睾丸生殖功能进行评估,为患者了解病情及日后治疗有重大帮助。此外,精液脱落细胞分析可为临床医师制定无精子症治疗方案提供可靠依据,提升治疗有效率,这项检查项目值得推广。 展开更多

关键词 无精子症 精液脱落细胞分析 无精子症类型 睾丸生精功能评估 占比

下载PDF 职称材料

关于程序设计语言中实型数范围的研究 被引量：1

15

作者 郭磊 韩姣红 《安阳师范学院学报》 2003年第2期95-96,共2页

在许多程序设计语言教程中,有关数据类型表示范围的算法的论述,只是讲解整型、字符型的,而关于实型的却都不提。文中得出了实型数表示范围的算法,实型数有效数位的得来原因及相关规律。

关键词 程序设计语言 数据类型 实型数 无符号类型 有符号类型 尾数 阶码 基数

下载PDF 职称材料

观音阁水库下游段太子河水能分析

16

作者 林健 孟丽娟 《现代农业科技》 2010年第20期265-265,268,共2页

对观音阁水库下游段太子河小市至温泉寺河段进行详细的水能分析与计算,为开发出清洁、低碳的水能资源,宜采用无调节类型电站,以提高发电效益。

关键词 观音阁水库 太子河 水能分析 无调节类型电站

下载PDF 职称材料

无类型文件的处理方法

17

作者 赵宏兵 汪昱萍 《中学科技》 2000年第3期38-38,共1页

关键词 计算机操作 文件处理 无类型文件

原文传递