您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

中介公理集合论系统MS

发布时间:2019-04-30 21:13 来源:未知 编辑:admin

  轩敏强;;中介逻辑演算系统和中介公理集合论分析[J];才智;2012年04期

  王海涛;徐静;康淑卫;王倩;;中介数学系统已建立,为什么还会产生模糊数学危机[J];纯粹数学与应用数学;2011年06期

  朱朝晖,施庆生,朱梧槚;程序兼纳集:由力迫描述的中介逻辑程序语义[J];中国科学E辑:技术科学;1996年06期

  潘正华;;中介命题逻辑的一种无穷值语义模型及其意义[J];计算机研究与发展;2008年S1期

  苏发慧;;模糊集的2个错误[J];吉首大学学报(自然科学版);2012年02期

  张胜礼;潘正华;;中介命题逻辑一种新的无穷值语义模型及意义[J];计算机工程与应用;2010年31期

  李祥;一种三值逻辑的NP完全问题与判定问题[J];计算机学报;1990年08期

  毛宇光,林钧海;概括原则与悖论研究的进展[J];南京航空航天大学学报;1991年01期

  张东摩,施庆生,姜宁根,朱梧;MS 中的自然数系统[J];南京航空航天大学学报;1997年02期

  洪龙;中介真值程度的度量及其在计算机系统结构研究中的应用[D];南京航空航天大学;2006年

  朱玲芳;部分四值逻辑中Sheffer函数的判定与构造[D];湘潭大学;2010年

  谭昊勋;部分多值逻辑函数集中准完备集的若干性质研究[D];湘潭大学;2011年

  何骞;部分二、三值逻辑中Sheffer函数的构造及判定算法[D];湘潭大学;2009年

  朱梧槚,肖奚安;数学基础与模糊数学基础[J];自然杂志;1984年10期

  肖奚安,朱梧槚;中介逻辑的命题演算系统(Ⅲ)[J];自然杂志;1985年06期

  肖奚安,朱梧槚;中介逻辑的谓词演算系统(Ⅱ)[J];自然杂志;1985年08期

  肖奚安,朱梧槚;中介逻辑命题演算的扩张(Ⅱ)[J];自然杂志;1985年10期

  朱梧槚,肖奚安;中介逻辑谓词演算的扩张[J];自然杂志;1985年11期

  肖奚安,朱梧槚;中介逻辑的同异性演算系统——带等词的中介谓词逻辑[J];自然杂志;1985年12期

  朱梧槚,肖奚安;关于模糊数学奠基问题研究情况的综述[J];自然杂志;1986年01期

  朱剑英,肖奚安,朱梧槚;中介逻辑演算ML与中介公理集合论MS的纯数学意义及其应用前景[J];大自然探索;1987年01期

  陈世权;模糊集合论及其处理的狭义模糊性问题[J];辽宁工程技术大学学报(自然科学版);2001年05期

  冯嘉礼,冯嘉仁,詹增修;Fuzzy性质集结构与客观隶属度——性质论应用之三[J];广西师范大学学报(自然科学版);1990年01期

  肖奚安,朱梧槚;A SYSTEM OF MEDIUM AXIOMATIC SET THEORY[J];Science in China,Ser.A;1988年11期

  朱朝晖,施庆生,朱梧槚;程序兼纳集:由力迫描述的中介逻辑程序语义[J];中国科学E辑:技术科学;1996年06期

  潘正华;;中介命题逻辑的一种无穷值语义模型及其意义[J];计算机研究与发展;2008年S1期

  张胜礼;潘正华;;中介命题逻辑一种新的无穷值语义模型及意义[J];计算机工程与应用;2010年31期

  张胜礼;潘正华;;一种改进的具有三种否定的新模糊集及其应用[J];计算机工程与应用;2011年23期

  程天笑;潘正华;;具有两种否定的描述逻辑系统MALC[J];计算机工程与科学;2008年11期

  李祥;一种三值逻辑的NP完全问题与判定问题[J];计算机学报;1990年08期

  赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年

  周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年

  洪龙;中介真值程度的度量及其在计算机系统结构研究中的应用[D];南京航空航天大学;2006年

  杨婷婷;基于中介真值程度度量的图像分割方法研究[D];南京邮电大学;2012年

  贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年

  曹汝鸣;不完全信息数据库的理论研究[D];南京航空航天大学;2006年

  李旎;刘任任;;三值社会诊断模型的t/{x}可诊断性[J];重庆工学院学报(自然科学版);2009年07期

  高庆狮;Zadeh模糊集合理论存在问题证明及其改进——一个满足全部经典集合公式的C-模糊集合系统[J];大连理工大学学报;2005年05期

  郑启伦,黄贯光;多值DYL电路的逻辑设计[J];电子学报;1982年03期

  王守觉;连续逻辑为电子线路与系统提供的新手段[J];电子学报;1986年05期

  胡谋;多值逻辑在VLSI设计与测试中的若干应用[J];电子学报;1989年06期

  张大方;基于矩阵的极大独立点集生成算法[J];电子学报;1998年05期

  宣恒农,张大方,张明;PMC故障模型的方程诊断[J];电子学报;2003年05期

  汪雪琴,周六丁,杨晓帆;一种PMC模型下的自适应顺序诊断算法[J];重庆大学学报(自然科学版);1996年03期

  杨晓帆,何中市,陈廷槐;系统级故障诊断的一个三值模型[J];重庆大学学报(自然科学版);1997年01期

  鲁斌;广义智能系统柔性超拓扑空间模型研究与应用[D];西北工业大学;2003年

  何大庆,赵沁平;三值逻辑方程和组合逻辑电路函数险象的检测[J];北京航空航天大学学报;1995年03期

  张学立;甘进;;贵州逻辑研究三十年[J];毕节学院学报;2010年07期

  轩敏强;;中介逻辑演算系统和中介公理集合论分析[J];才智;2012年04期

  吴开兴,李日益,曹占杰;四值T门电路的实现及应用[J];河北煤炭建筑工程学院学报;1996年04期

  张胜礼;潘正华;;中介命题逻辑一种新的无穷值语义模型及意义[J];计算机工程与应用;2010年31期

  张胜礼;潘正华;;中介谓词逻辑一种改进的语义解释及λ-归结[J];计算机工程与应用;2011年22期

  诸静;多值模代数中RM展开式算子解[J];计算机学报;1997年05期

  许力,诸静,蒋静坪;一种基于对称三值逻辑的多值学习网络[J];计算机学报;1998年06期

  贾海涛;潘正华;;基于中介逻辑的带有三种否定的RDF扩展[J];计算机应用与软件;2011年03期

  宫宁生;张东摩;朱梧槚;;中介自动推理的理论与实现(Ⅳ)——一类基于中介逻辑的模态逻辑系统[J];模式识别与人工智能;1995年01期

  张学立;甘进;;贵州逻辑研究三十年[A];“回顾与前瞻:中国逻辑史研究30年”全国学术研讨会论文集[C];2010年

  洪龙;中介真值程度的度量及其在计算机系统结构研究中的应用[D];南京航空航天大学;2006年

  袁彬;部分K值逻辑中完满对称函数集个数的确定[D];湘潭大学;2011年

  杨哲睿;基于MMTD的网络流量应用识别方法[D];南京邮电大学;2012年

  李舒;部分多值逻辑中极大封闭集之最小覆盖的判定[D];湘潭大学;2003年

  刘玉珍;部分多值逻辑中正则可离函数集最小覆盖之判定[D];湘潭大学;2004年

  张鸽;嵌入式多值与模糊仪器的研究与设计[D];长沙理工大学;2006年

  黄锋;部分四值逻辑中保完满对称关系函数集之最小覆盖的判定[D];湘潭大学;2006年

  周小强;部分四值逻辑中保三、四元正则可离关系函数集最小覆盖之判定[D];湘潭大学;2007年

  顾思思;部分四值逻辑中保三、四元单纯可离关系函数集最小覆盖之确定[D];湘潭大学;2007年

  李韬;基于粗糙集理论的协作式多属性目标识别研究[D];电子科技大学;2009年

  朱梧槚,肖奚安;中介公理集合论系统(Ⅲ)——谓词与集合[J];自然杂志;1986年09期

  朱梧槚,肖奚安;中介公理集合论系统(Ⅴ)——MS与ZFC的关系[J];自然杂志;1986年11期

  孙文植;一个带本元的新集合论公理系统的相容性[J];数学年刊A辑(中文版);1984年01期

  肖奚安,朱梧槚;中介公理集合论系统(Ⅳ)——小集与巨集[J];自然杂志;1986年10期

  肖奚安,朱梧槚;中介公理集合论系统(Ⅱ)——集合的运算[J];自然杂志;1986年08期

  莫绍揆;集合论的一些新公理系统[J];数学年刊A辑(中文版);1980年02期

  张东摩,施庆生,姜宁根;中介公理集合论系统与经典公理集合论系统的关系——形式证明部分[J];南京航空航天大学学报;1997年04期

  田伟峰;樊胜利;朱小冬;;装备保障计划本体的建立和分析[J];军械工程学院学报;2009年03期

  任运平;;关于有限BCI—代数的拟可换性[J];山西师范大学学报(自然科学版);1993年04期

  刘大宏;关于BCK/BCI-代数的几个等价公理系[J];西安石油学院学报(自然科学版);1995年01期

  王红军;徐林;张继宏;;一种模糊综合决策汉语谓词识别算法[A];中国自动化学会、中国仪器仪表学会2004年西南三省一市自动化与仪器仪表学术年会论文集[C];2004年

  彭展;;一阶谓词系统的独立性[A];2004年逻辑研究专辑[C];2004年

  鞠实儿;;基于开放世界假设的三值逻辑的语义推理系统[A];开放类逻辑论文集[C];2004年

  张运峰;张春阳;;基于逆序现象对决策实践的哲理性思考[A];发展的信息技术对管理的挑战——99’管理科学学术会议专辑(上)[C];1999年

  张强;;关于拟概率测度的R—N和B—C引理[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

  王治敏;李勉东;;谓词带定式的配价研究[A];语言计算与基于内容的文本处理——全国第七届计算语言学联合学术会议论文集[C];2003年

  黄志强;杨建梓;;归纳逻辑中的谓词表达式[A];逻辑教学·知识创新·素质教育研讨会论文集[C];2001年

  陈鹏;;模糊拓扑空间两组度量公理的等价性及度量化[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

  吴炳荣;;熵与概率逻辑[A];1995年逻辑研究专辑[C];1995年

  王晓朝;;“存在”可以成为一个谓词——纪念康德逝世200周年(初稿)[A];康德哲学及其现代意义——纪念康德逝世200周年学术研讨会论文集[C];2004年

  南方周末特约评论员 英;欠债还钱的公理高于革命逻辑[N];南方周末;2011年

  本报记者 李郁;解决司法不公陪审员作用有多大[N];法制日报;2005年

  迟智广;利率市场化“路线图”指引理财新思路[N];经理日报;2003年

  王晓勇;基于公理设计的敏捷车间规划关键技术研究[D];南京航空航天大学;2012年

  陈志祥;基于Chebyshev多项式零点的若干实插值问题[D];浙江大学;2002年

  闻继威;随机过程及其局部时和随机场的极限定理[D];浙江大学;2003年

  王宏勇;空间运动对象时空数据模型的研究[D];解放军信息工程大学;2005年

  李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年

  孙康;n人合作博弈理论、方法及其在战略联盟上的应用[D];大连理工大学;2005年

  吴克寿;基于公理设计的软件体系结构构建方法研究[D];华中科技大学;2011年

  李忠良;基于混沌理论的不透明谓词研究与应用[D];广东工业大学;2012年

  刘国军;Lupas-Baskakov型算子的逼近[D];宁夏大学;2003年

  陶胜妃;现代汉语谓词修饰词前后位置比较研究[D];上海外国语大学;2010年

  徐靖;基于特征的中文名词性谓词语义角色标注研究[D];苏州大学;2011年

  陈少伟;某些不具紧性的二阶椭圆型偏微分方程[D];福建师范大学;2002年

http://39-5963.net/gongliyuyi/78.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有