1) Logic modeling
逻辑建模
1.
Elementary study on the data warehouse s logic modeling;
数据仓库逻辑建模的初步探讨
2.
In this paper were introduced data warehouse design,logic modeling and system structure by sell analysis of some enterprise as an example.
以某企业销售分析为例介绍了数据仓库的设计、逻辑建模和体系结构。
2) Logical formalism modeling
逻辑化形式建模
4) constructional logic
建筑逻辑
5) construction logic
建构逻辑
1.
Mao Zedong s military philosophy is inseparable with the production and development of MaoZedong s philosophical and military thoughts,but it has its growth track and construction logic.
毛泽东军事哲学思想虽然同毛泽东哲学思想和毛泽东军事思想的产生和发展有着不可分割的依存关系,但它又具有自身独特的生长轨迹和建构逻辑。
6) logical construction
逻辑建构
1.
In terms of logical construction of beauty, the paper holds that man is the beauty of the world.
试从美的逻辑建构与陶渊明及其田园诗来进行互证,认为:人是世界的美,有了陶渊明,才开始让人真正感受到了田园生活的美;美是人的本质力量的外在显现,陶渊明田园诗的美是田园诗人的本质力量的外在显现;美是自由的形象,陶渊明在自由的生活中创造了真淳而淡远的田园诗形象;美在创造中,在创造中成就了陶渊明。
补充资料：模态逻辑
| 模态逻辑 modal logic 研究必然、可能及其相关概念的逻辑性质。逻辑的一个分支。模态逻辑所研究的命题“必然A”和“可能A”与通常命题演算中的命题不同。后者是真值函项，前者不是。因为，当A真时 ，“必然A”既可以是真也可以是假 ；当A假时，“可能A ”既可以是真也可以是假。模态命题演算是现代模态逻辑的基本内容之一。它是应用数理逻辑的方法研究模态命题逻辑的结果。最先开始这方面研究的是19世纪末的H.麦克考尔。在他的影响下，美国哲学家、逻辑学家C.I.刘易斯于1914年构造了一个模态命题演算。40年代末，卡尔纳普开始从语义方面研究模态逻辑。50年代末～60年代初，S.坎格尔、J.欣梯卡与S.A.克里普克等人发展了卡尔纳普的理论，提出了比较完整的模态逻辑的模型理论。60年代以后模态逻辑有很大发展，出现了许多新的系统，特别出现了许多非标准的模态逻辑系统。如认知逻辑、道义逻辑、时态逻辑等。模态逻辑由于研究和阐明了必然、可能、应当、知道等本体论和认识论概念的逻辑性质，因而具有深刻的哲学意义。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条