-
题名一类论域函数的全性与极大性
被引量:2
- 1
-
-
作者
陈仪香
-
机构
上海师范大学数学科学学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2001年第7期680-684,共5页
-
基金
国家自然科学基金 (69873 0 3 4 )
教育部高等学校骨干教师资助计划
+1 种基金
上海市教育发展基金会曙光计划 (99SG46)
上海市科学技术发展
-
文摘
该文研究 L-论域上稳定函数的全性与极大性 .由于全函数在计算机科学与技术中是不多见的 ,因此作者从降低函数全性的要求出发 ,转而要求函数是关于一类元素是全的 ,即将这类元素仍然映射成该类元素 .另一方面 ,论域中元素间的序关系反映了元素包含信息多少的关系 ,因此包含尽可能多信息的元素 ,即极大元素是重要的一类元素 .该文引入了极大类全函数 ,即将极大元映射成极大元的函数 ,重点研究极大类稳定全函数 .同时关注稳定映射关于稳定序的极大性 ,即极大稳定函数 .结果表明在一类的 L-论域上 。
-
关键词
论域
极大类稳定性函数
极大稳定函数
程序设计语言
计算机
-
Keywords
Computer programming languages
Formal logic
Functions
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-