理学 >>> 数学 >>> 数理逻辑与数学基础 数论 代数学 代数几何学 几何学 拓扑学 数学分析 非标准分析 函数论 常微分方程 偏微分方程 动力系统 积分方程 泛函分析 计算数学 概率论 数理统计学 应用统计数学 运筹学 组合数学 离散数学 模糊数学 应用数学 数学其他学科
搜索结果: 1-10 共查到数学 Logic相关记录10条 . 查询时间(0.109 秒)
Provability in product logic     Provability  product logic       2015/9/30
We sharpen H丩ajek乫s Completeness Theorem for theories extending predicate product logic, 儺佂. By relating provability in this system to embedding properties of ordered abelian groups we construct a ...
In this paper, the quantum logical ‘or’ is analyzed from a physical perspective. We show that it is the existence of EPR-like correlation states for the quantum mechanical entity under consideration...
视频:浙江技术学院离散数学授课——命题逻辑Logic(2)。
视频:浙江技术学院离散数学授课——命题逻辑Logic
This paper introduces the base-X notation and discusses the conversion between numbers of different bases. It also introduces the tri-value logic that is associated with the base-3 system.
Abstract: We solve a generalization of B\"uchi's problem in any exponent for function fields, and briefly discuss some consequences on undecidability. This provides the first example where this proble...
Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. Modeling field theory (MFT) addresses these challenges in a non-traditional way. The main idea b...
Traditionally, communication networks are modeled and analyzed in terms of information flows in graphs. In this paper, we introduce a new symbolic approach to communication networks, where the topolo...
We first briefly describe an algebraic model of classical and modal many-valued logics due to the authors and introduced in previous works. A similar approach, also using Computer Algebra techniques (...
The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publi...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...