搜索结果: 1-15 共查到“演绎逻辑学”相关记录40条 . 查询时间(0.843 秒)
科睿唯安（Clarivate）最近公布了2018年全球高被引科学家名单，西安交大共4名教授入选。其中，能动学院郭烈锦院士、理学院丁书江教授、材料学院马伟教授三人入选交叉学科领域的高被引科学家名单，人居学院程海教授入选地球科学领域高被引科学家名单。
西安交通大学4人入选2018年全球高被引科学家名单
西安交通大学 2018年 全球高被引科学家 名单
2018/12/13
科睿唯安（Clarivate）最近公布了2018年全球高被引科学家名单，西安交大共4名教授入选。其中，能动学院郭烈锦院士、理学院丁书江教授、材料学院马伟教授三人入选交叉学科领域的高被引科学家名单，人居学院程海教授入选地球科学领域高被引科学家名单。
中国石油大学（华东）3位教授入选爱思唯尔2017年中国高被引学者榜单（图）
中国石油大学（华东） 教授 爱思唯尔 2017年 中国高被引 学者榜单 物理学 天文学 理学
2018/1/27
2018年1月19日，爱思唯尔发布2017年中国高被引学者（Most Cited Chinese Researchers）榜单，1793名最具世界影响力的中国学者入选。我校3位教授继2016年后再次入选，入榜学者总数并列全国第78位。3名入榜教授为数学学科入选者、理学院蒋达清教授，物理学和天文学学科入选者、理学院孙道峰教授，免疫和微生物学学科入选者、原化学工程学院党宏月教授。
首批国家精品在线开放课程武汉大学24门入选——入选数量居全国第二（图）
国家精品在线开放课程 武汉大学 24门 全国第二 哲学 医学 文学 历史学 理学
2018/2/2
2018年1月15日，教育部在京召开在线开放课程建设与应用推进会，宣布首批共490门国家精品在线开放课程，我校24门课程入选，入选数量居全国第二。我校被认定的国家级精品在线开放课程，均在中国大学MOOC平台上至少完成了两期教学活动，课程质量高、共享范围广、应用效果好、示范性强，涉及的学科包括哲学、医学、文学、历史学、理学、经济学、管理学、工学、法学。
2014菲尔兹奖得主Martin Hairer
2014 菲尔兹奖 Martin Hairer
2014/11/25
Martin Hairer’s masterwork is so fantastic, so fully baked and so far out of left field, one fellow mathematician declared, that the manuscript must have been downloaded into his brain by a more intel...
The Schroder-Bernstein property for a-saturated models
Schroder-Bernstein property a-saturated models Logic
2012/3/1
A first-order theory T has the Schr\"oder-Bernstein (SB) property if any pair of elementarily bi-embeddable models are isomorphic. We prove that T has an expansion by constants that has the SB propert...
Examples of the Generalized Quantum Permanent Compromise Attack to the Blum-Micali Construction
Examples of the Generalized Quantum Permanent Compromise Blum-Micali Construction
2011/1/19
This file contains examples of the generalized quantum permanent compromise attack to the Blum-
Micali construction. The examples presented here illustrate the attack described in the paper published...
Product update is an operation on models introduced into epistemic logic in order to represent a broad class of informational events. If adding modalities representing product update to a language do...
Conley Conjecture for Negative Monotone Symplectic Manifolds
Conley Conjecture Negative Monotone Symplectic Manifolds
2010/11/24
We prove the Conley conjecture for negative monotone, closed symplectic manifolds, i.e., the existence of infinitely many periodic orbits for Hamiltonian diffeomorphisms of such manifolds.
A quantum stochastic Lie-Trotter product formula
quantum stochastic Lie-Trotter product formula
2010/11/24
A Trotter product formula is established for unitary quantum stochastic processes governed by quantum stochastic differential equations with constant bounded coefficients.
Jets, Lifts and Dynamics
Jets Lifts Dynamics
2010/11/9
We show that complete cotangent lifts of vector fields, their decomposition into vertical representative and holonomic part provide a geometrical framework underlying Eulerian equations of continuum ...
We give an elementary proof of the Kontsevich conjecture that asserts that the iterations of the noncommutative rational map K_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1}) are given by noncommutative Laurent po...
On cohomology of Witt vectors of algebraic integers and a conjecture of Hesselholt
Witt vectors algebraic integers conjecture of Hesselholt
2010/11/19
Let $K$ be a complete discrete valued field of characteristic zero with residue field $k_K$ of characteristic $p > 0$. Let $L/K$ be a finite Galois extension with the Galois group $G$ and suppose tha...
An improved bound for the Manickam-Miklós-Singhi conjecture
the Manickam-Miklós-Singhi conjecture math
2010/11/18
We show that for $n>k(4e\log k)^k$ every set $\{x_1,..., x_n\}$ of $n$ real numbers with $\sum_{i=0}^{n}x_i \geq 0$ has at least $\binom{n-1}{k-1}$ $k$-element subsets of a non-negative sum. This is ...
Separation of time-scales and model reduction for stochastic reaction networks
Separation time-scales stochastic reaction networks
2010/11/12
A stochastic model for a chemical reaction network is embedded in a one-parameter family of models with species numbers and rate constants scaled by powers of the parameter. A systematic approach is ...