论文部分内容阅读
本文推广了不交和运算且给出ｎ个类型不交和的规则借助于它，证明了有穷类型的封闭性和分离性，讨论有究类型的可定义性，证明Ｎｋ可由Ｎ１和ｋ个类型不交和而定义以及Ｎｋ可由Ｎｋ＋１定义。
Martin—Lof类型论中不普和的推广和有究类型的可定义性
【摘 要】
：
本文推广了不交和运算且给出ｎ个类型不交和的规则借助于它，证明了有穷类型的封闭性和分离性，讨论有究类型的可定义性，证明Ｎｋ可由Ｎ１和ｋ个类型不交和而定义以及Ｎｋ可由Ｎｋ＋１定义。
【机 构】
：
南京大学数学系
【出 处】
：
数学年刊：A辑
【发表日期】
：
1994年4期
其他文献
概率算子测度(POM)是量子检测与估值的理论基础,它涉及内容有:算子测度的扩张;算子测度积分、算子测度的Radon-Nikodym导数等。本文利用双线性泛函等算子理论推广这些性质,从
公立医院固定资产管理对医院的效益和发展有着至关重要的影响,为了实现对公立医院固定资产的科学管理,建设和改进医院的内部控制结构就显得格外重要。本文深入剖析公立医院固
违约责任是合同法中的一项重要的制度，而违约责任的归责原则是该制度的本质和核心内容。从两大违约归责原则对比中，可以看出实行单一归责原则的不足，指出国家应实施以严格责任为
如何发展区域经济?人们往往习惯于或侧重于从地区资源优势、地理优势、经济基础、工业布局、区域政策倾斜等显性因素方面寻找答案,而在区域经济管理、区域观念形态、区域文化
本文研究了右半平面上无限级Ｄｉｒｉｃｈｌｅｔ级数的系数和增长性的关系，给出了一个判定无限级全纯函数Ｂｏｒｅｌ点的充分条件，证明了右半平面上ρ（１／σ）级随机Ｄｉｒｉｃｈｌｅｔ级数几乎必然以虚轴上每一点为它的没有有限例外
本文对ＰｔＳＩ／ｐ－Ｓｉ红外探测器的结构进行了优化设计，并研制成功性能优良的器件。反向击穿电压达１８０Ｖ。在７７Ｋ下，反偏４Ｖ的漏电为５×１０＾－６μＡ，对１．５２μｍ的红外光，量子效率为２．４％。
农业产业化指的是把农产品从生产到加工,再到销售、服务等进行产业管理,像工厂一样对待,这是农业现代化的基础。在2016年国务院办公厅出台《关于进一步促进农产品加工业发展的意见》,指出农产品产业化要利用资源的优势和特色之处,以将农产品加工构建出整个产业链,着力将农产品的品种、质量、品牌、附加值优化提高。十三五规划也要求农产品加工要依托优势资源,将传统产业进行改进,找出一种新的发展模式,以此巩固农产品在
近年来,非线性切换系统在控制领域得到了极大的关注.切换系统是由切换规则有机结合起来的有限个子系统的集合.许多现代工业过程都显示出切换和混杂的特性,并且存在诸如未建模动态、输入输出和状态约束、控制增益符号未知及外部扰动等多种不确定因素.这些不确定性严重影响系统的性能甚至导致系统不稳定.目前,针对含有不确定因素的非切换系统的研究成果较多,而对具有不确定因素影响的切换系统的研究成果相对较少.因此,研究具
本文利用非紧性测度讨论了有界算子序列几个半范的关系,并把对算子序列的研究化为对单个算子的研究,对半Fredholm算子序列给出较方便的刻划,并且很简便地导出了本性谱半径公
为了提高超导薄膜经外探测器的工作带宽、响应速度和灵敏工，并便于进行集成平面工艺，设计了微桥型红外敏感元及与其耦合的领结型平面天线（ｂｏｗ－ｔｉａ ａｎｔｅｎｎａ），其检测波长范围可从中红外到毫米波段