搜索结果: 1-5 共查到“数理逻辑与数学基础 Three”相关记录5条 . 查询时间(0.075 秒)
We give a model theoretic proof that if there is a counterexample to Vaught’s conjecture there is a
counterexample such that every model of cardinality ℵ1 is maximal (strengthening a result of ...
THREE EXAMPLES OF MONTE-CARLO MARKOV CHAINS:AT THE INTERFACE BETWEEN STATOSTICAL COMPUTING,COMPUTER SCIENCE,AND STATISTICAL MECHANICS
Monte carlo markov chain the interface between computing computer science statistical mechanics
2015/7/14
THREE EXAMPLES OF MONTE-CARLO MARKOV CHAINS:AT THE INTERFACE BETWEEN STATOSTICAL COMPUTING,COMPUTER SCIENCE,AND STATISTICAL MECHANICS。
Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language
Decision problems infinite Post Correspondence Problem analytical hierarchy high undecidability infinitary rational relations
2011/10/10
Abstract: It was noticed by Harel in [Har86] that "one can define $\Sigma_1^1$-complete versions of the well-known Post Correspondence Problem". We first give a complete proof of this result, showing ...
On Quantum Markov Chains on Cayley tree II: Phase transitions for the associated chain with XY-model on the Cayley tree of order three
On Quantum Markov Chains Cayley tree II
2010/11/15
In the present paper we study forward Quantum Markov Chains (QMC) defined on a Cayley tree. Using the tree structure of graphs, we give a construction of quantum Markov chains on a Cayley tree. By me...
Three remarks on a question of Aczél.