adj. logistic
misc. symbolic logic
数理逻辑又叫形式逻辑或符号逻辑(symbol logic)，是逻辑学的一个重要分支。数理逻辑用数学方法，也就是用符号和公式、公理的方法去研究人的思维过程、思维规律，其起源可追溯到...
基于24个网页-相关网页
... symmetric loading 对称荷载,均衡负载 symmetric logic 符号逻辑 symmetric matching 对称匹配 ...
基于10个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
我会给你们一些难题因为，我们在做哲学逻辑，我们在做符号逻辑。
I'll just leave you with a little conundrum because that's philosophical logic we're not doing that here, we are doing symbolic logic here.
论文详细讨论了低功耗有限状态机综合与优化中的符号逻辑和一些典型方法。
This dissertation detailedly investigate the symbolic logic and some typical techniques for low power FSM logic synthesis and optimization.
于是对符号逻辑的研究成为学术热点，法国哲学家鲍德里亚就是一位典型代表。
So the research on symbolic logic become an academic focus, the French philosopher Jean Baudrillard is a typical representative.
符号逻辑又称数理逻辑理论逻辑 它是数学的一个分支是用数学方法研究逻辑或形式逻辑的学科其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统数理逻辑是数学基础的一个不可缺少的组成部分 所谓数学方法就是指数学采用的一般方法包括使用符号和公式已有的数学成果和方法特别是使用形式的公理方法 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨他认为经典的传统逻辑必须改造和发展是之更为精确和便于演算后人基本是沿着莱布尼茨的思想进行工作的 简而言之数理逻辑就是精确化数学化的形式逻辑它是现代计算机技术的基础新的时代将是数学大发展的时代而数理逻辑在其中将会起到很关键的作用 逻辑是探索阐述和确立有效推理原则的学科最早由古希腊学者亚里士多德创建的用数学的方法研究关于推理证明等问题的学科就叫做数理逻辑也叫做符号逻辑
应用推荐