周氏离散数学包括哪些分支

来源 :第二届两岸逻辑教学学术会议 | 被引量 : 0次 | 上传用户:zhennanquming
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
经典离散数学是由计算机科学中要用到的、相互之间没有什么联系的数学分支如数理逻辑、集合论、抽象代数、图论所组成;周氏离散数学是与经典离散数学不同的离散数学。周氏离散数学由周氏解析几何、周氏微积分、互逆主义数理逻辑、互逆主义集合论、互逆主义抽象代数、互逆主义形式语言、互逆主义初等数论、泛矩阵、在计算机科学与人工智能中的应用所组成。它们建立在周氏坐标系层次和归纳复合与分解的互逆的基础之上,相互之间联系紧密,是一个不可分割的整体。
其他文献
鉴于目前多数从“教”的角度探讨如何进行逻辑教学的状况,笔者从“学”的角度出发,探索一种有效的逻辑教学法一案例法,寓逻辑理论知识于典型的事例中,通过分析讨论,自发地总结出逻
这是一个沉重的话题。中国大陆自上个世纪七十年代末改革开放以来,发展很快,成绩很大,在全世界都是有目共睹的。各种媒体上的颂扬之声很多,对我国的传统文化也如此,肯定得很多。
张东荪先生通过分析中西“理”在起源、含义、获得方法的不同,论述了逻辑在理性主义的形成、社会理性的发展及文明进步中的不可替代的深层价值,这对推动逻辑事业在中国的发展具
通常都认为,康托-策墨罗(Cantor—Zermelo)在古典与近代集合论中完全贯彻了实无穷观点,而柯西——外尔斯特拉斯(Cauchy—Weierstrass)却在极限论中完全贯彻潜无穷观点。但当我们
本文以科斯塔弗协调逻辑系统的技术处理为依据来分析命题A与其弗协调否定-A之间的逻辑关系、弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律的差别;指出科斯塔弗协调逻辑不是
本文证明了:对于最大亏度为k的量化布尔公式,如果它是真的,则存存集合U,其中含有不超过24k/3个全称变元,且存存模型M,其中每一个布尔函数都可表示为U上的命题公式。也就是说,这样的
本文提出一个新的逻辑系统——自由模态的摹状词理论Lk,指出了该逻辑的理论背景,给出了它的语法系统及相应的语义解释。不仅证明了Lk的可靠性,还采取力迫法,通过构造力迫模型,给出
“知道者悖论”既涉及认知推理,也涉及主体间的策略性互动。传统的分析侧重于认知概念和认知推理的形式特征,忽视了认知、理性和行动三者之间的关联。本文以“突击考试”为例,指
哲学对象论有四对基本矛盾大范畴——在者或非在者(在者的外在矛盾);正者与反者(在者的内在矛盾);存在或非在(存在的外在矛盾);实在与应在(存在的内在矛盾)。基于此,引出了在
方法论取向是逻辑悖论研究未来工作的新取向。这一取向主要研究和解决四个层面的问题,即总结和概括逻辑悖论研究中的具体方法,形成一般悖论方法论;以悖论方法论为基点,建构演绎