期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
有穷集
1
作者 许绍楠 《宁夏大学学报(自然科学版)》 CAS 1990年第4期19-23,共5页
本文主要证明有穷集的一些性质与定理。
关键词 有穷集 截段 极大元 T有穷集
下载PDF
一种集合分层及其哲学意蕴 被引量:2
2
作者 邢滔滔 《中山大学学报论丛》 2000年第1X期25-43,共19页
该文从简到繁讨论了各种类型的集合论及支持它们的数学和哲学理论。拓展了贝奈斯和王浩的工作,在数学和哲学角度建立了集合分层理论,解除各类型集合论间的对立,使它们相互补充,从而使它们在数学和哲学上达到一致成为可能。
关键词 合分层 有穷集 可数 不可数
下载PDF
有穷多模态类型逻辑语法及其在汉语中的应用
3
作者 康孝军 《逻辑学研究》 CSSCI 2018年第3期58-70,共13页
多模态类型逻辑是一种模态Lambek演算的分支。以类型逻辑为基础的范畴语法一般用于自然语言的智能处理。在多模态类型逻辑语法中添加假设集的方式可以用来处理汉语语言现象。本文采用带有穷假设集的多模态非结合Lambek演算的根岑表述系... 多模态类型逻辑是一种模态Lambek演算的分支。以类型逻辑为基础的范畴语法一般用于自然语言的智能处理。在多模态类型逻辑语法中添加假设集的方式可以用来处理汉语语言现象。本文采用带有穷假设集的多模态非结合Lambek演算的根岑表述系统。介绍其句法和代数语义,证明了其可靠性与完全性。探讨了在多模态非结合Lambek演算系统下,有穷假设集在汉语语序与异常句等处理上的应用,并简述了此方法的优势。 展开更多
关键词 类型逻辑语法 Lambek演算 有穷假设 语序
下载PDF
极大前缀码的性质及其计数 被引量:3
4
作者 杨耀池 邱伟德 《应用科学学报》 CAS CSCD 1990年第1期25-30,共6页
本文提出和证明极大前缀码的性质,证明了全体极大前缀码在语言连接运算下构成自由么半群.对有限极大前缀码的个数给出选推式:G_m表示所有最大字长不超过m的极大前缀码的个数,有G_m=1+G_(m-1)~n,其中n是字母表X的字母个数.
关键词 前缀码 极大 有穷集 形式语言 半群
下载PDF
超实数系
5
作者 廖祖炜 《中国远程教育》 1983年第5期52-55,共4页
我们面临的任务是建立超实数系。乍一看来,这一工作似乎不难,好象全部工作就是把实数拿过来,再加进一个无限小。其实,并不如此简单。我们必须切实作好两项工作:1.把实数系扩充成的某种对象作为非常奇特的超实数系;2.证明同一公式在实数... 我们面临的任务是建立超实数系。乍一看来,这一工作似乎不难,好象全部工作就是把实数拿过来,再加进一个无限小。其实,并不如此简单。我们必须切实作好两项工作:1.把实数系扩充成的某种对象作为非常奇特的超实数系;2.证明同一公式在实数系中成立,在超实数系中也成立。前者虽不太难,但后者却不是轻而易举的。因为有无穷多个公式,并且一个比一个复杂,所以真要完成第二项工作是相当困难的。 展开更多
关键词 超实数 有穷集 实数系 语言 实数序列 元素 整数 无限小 元符号 一元关系
原文传递
Stable Rank One and Real Rank Zero for Crossed Products by Finite Group Actions with the Tracial Rokhlin Property 被引量:2
6
作者 Qingzhai FAN Xiaochun FANG 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2009年第2期179-186,共8页
The authors prove that the crossed product of an infinite dimensional simple separable unital C*-algebra with stable rank one by an action of a finite group with the tracial Rokhlin property has again stable rank one.... The authors prove that the crossed product of an infinite dimensional simple separable unital C*-algebra with stable rank one by an action of a finite group with the tracial Rokhlin property has again stable rank one. It is also proved that the crossed product of an infinite dimensional simple separable unital C*-algebra with real rank zero by an action of a finite group with the tracial Rokhlin property has again real rank zero. 展开更多
关键词 C*-algebra Stable rank one Real rank zero
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部