理学 >>> 数学 信息科学与系统科学 物理学 化学 天文学 地球科学总论 大气科学 地球物理学 地理学 地质学 水文学 海洋科学 生物学 科学技术史
搜索结果: 1-15 共查到理学 logic相关记录39条 . 查询时间(0.145 秒)
Landslide is among one of the most important natural hazards that lead to modification of the environment. It is a regular feature of a rapidly growing district Mansehra, Pakistan. This caused extensi...
Weconsidertwoapproachestodark-spin-mediatedquantumcomputinginhybridsolid-statespinarchitectures.First,wereviewthenotionofeigenmode-mediatedunpolarizedspin-chainstatetransferandextendtheanalysisto vari...
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...
This paper introduces an integrative methodology that has been developed to measure temporal changes in urban morphology based on the techniques of multiple endmember spectral mixture analysis (MESM...
Spatial relations among simple features can be used to characterize complex geospatial features. These spatial relations are often represented using linguistic terms such as near, which have inhere...
视频:浙江技术学院离散数学授课——命题逻辑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.
In this paper, an all-optical logic scheme which exploits the cross-phase modulation (XPM) effect in semiconductor-optical-amplifier-assisted Mach-Zehnder Interferometer (SOA-MZI), is proposed, perfor...
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...
Using the Hilbert-Bernays account as a spring-board, we rst de ne four ways in which two objects can be discerned from one another, using the non-logical vocabulary of the language concerned. (These ...
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...
The classical notions of continuity and mechanical causality are left in order to refor- mulate the Quantum Theory starting from two principles: I) the intrinsic randomness of quantum process at micr...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...