搜索结果: 31-40 共查到“演绎逻辑学”相关记录40条 . 查询时间(2.381 秒)
A Monte Carlo Algorithm for Universally Optimal Bayesian Sequence Prediction and Planning
Bayesian Sequence Prediction computable physics
2010/4/1
The aim of this work is to address the question of whether we can in principle design rational decision-making agents or artificial intelligences embedded in computable physics such that their decisio...
Infinitely many symmetries and conservation laws for quad-graph equations via the Gardner method
conservation laws quad-graph equations
2010/4/1
The application of the Gardner method for generation of conservation laws to all the ABS equations is considered. It is shown that all the necessary information for the application of the Gardner meth...
Stability Criteria of 3D Inviscid Shears
3D Inviscid Shears laminar shear plane Couette flow
2010/4/8
The classical plane Couette flow, plane Poiseuille flow, and pipe Poiseuille flow share some universal 3D steady coherent structure in the form of "streak-roll-critical layer". As the Reynolds number ...
£ukasiewicz三值逻辑系统中的随机化研究
随机真度 相似度 逻辑度量空间
2009/11/4
利用赋值集的随机化方法,在三值逻辑L3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DL3-相似度与伪距离的概念,并建立了DL3-逻辑度量空间,证明了此空间没有孤立点。
四值命题演算与四色问题
2007/12/12
本文指出四值命题演算与四色问题之间的一个关系:在四值命题演算中定义一个命题类;容易证明,如果这类中的每一分子都是四值命题演算中的定理,那么四色问题即完全解决,这样,就把四色问题还原至四值命题演算的问题了.本文最后说明本文对于四色问题虽无直接贡献,然由于数理逻辑的成果,提供了一些研究四色问题新方向的可能性.
Higher Order Generalization of Positive Linear Operators Defined by a Class of Borel Measures
Statistical convergence A-statistical convergence positive linear operators regular matrices the elements of the Lipschitz class Korovkin-type approximation theorem
2010/2/26
In the present paper, we introduce a sequence of linear operators, which is a higher order generalization of positive linear operators defined by a class of Borel measures studied in [2]. Then, using ...
On Fuzzy Cosets of Gamma Nearrings
Gamma nearring ideal fuzzy ideal fuzzy coset Gamma nearring homomorphism
2010/2/26
In this paper, we consider fuzzy notion of a G -near ring, introduce the notion of a fuzzy coset and obtained some related important fundamental isomorphism theorems.
The Chisini conjecture asserts that a generic ramified covering over the complex projective plane of degree at least 5 is uniquely determined by its branch curve. We prove this for degree at least 12 ...
On the Consistency of the Deterministic Local Volatility Function Model ('implied tree')
the Deterministic Local Volatility Function Model math
2010/11/2
We show that the frequent claim that the implied tree prices exotic options consistently with the market is untrue if the local volatilities are subject to change and the market is arbitrage-free. In...