词语:现代逻辑热度:192

词语现代逻辑拆分为汉字:

现字的拼音、笔画、偏旁部首、笔顺、繁体字,现字字源来历,现字演变

显露:出~。表~。发~。体~。~身说法。实有的,当时就有的:~金。~款。~货。~实(a.客观存在的事物;b.合于客观情况的)。目前,当时:~时。~在。~今。~场。~代。~买~卖。……

代字的拼音、笔画、偏旁部首、笔顺、繁体字,代字字源来历,代字演变

替:~替。~办。~销。~序。~表。历史上划分的时期:时~。世~。古~。近~。现~。当(dāng )~。年~。世系的辈分:下一~。姓。……

逻字的拼音、笔画、偏旁部首、笔顺、繁体字,逻字字源来历,逻字演变

巡察:巡~。~吏(巡逻官)。~骑。~卒。遮拦:“蛛蝥结网工遮~”。……

辑字的拼音、笔画、偏旁部首、笔顺、繁体字,辑字字源来历,辑字演变

聚集,特指聚集材料编书:~录。~要。~逸。编~。纂~。聚集很多材料而成的书刊:丛书第一~。和,和睦:~睦。敛,拖着不便脱落。古同“缉”,连缀。古代称协调驾车的众马。……

 

查询词语:现代逻辑

汉语拼音:xiàn dài luó jí

词语现代逻辑基本解释

数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

词语现代逻辑在线造句

  1. In such a program, whose motivation is purely philosophical, techniques of modern logic would have to be exploited to the utmost.

    离开了对现代逻辑技术的充分挖掘和利用,要实现这个出自纯粹哲学动机的方案是不可能的。

  2. Natural language logic should be studied on the basis of the interaction of modern logics, modern linguistics and modern rhetorics.

    自然语言逻辑要在现代逻辑学、现代语言学和现代修辞学相互作用的基础上进行研究。

  3. Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.

    现代逻辑分为递归理论,模型理论,证据理论,是密切相关的理论计算机科学。

  4. Modern logic is to achieve a'logical truth'by pure formalization and consistent completeness of the deduction rules.

    现代逻辑通过“纯形式化”和“一致性、完备性”的推演规则,实现了“逻辑真”。

  5. The agreement could be served as the approval on the position of modern logic in the field.

    这种一致性在一定程度上可以看作是对现代逻辑在语言哲学中的作用的认可。

  6. Modern logics should be used on natural language analysis, to provide an effective tool for people's thinking and communication.

    把现代逻辑运用到自然语言浅析浅析上,为人们的思维和交际提供一种有效的工具。

  7. Ancient logic closely links with languages but modem logic more links with mathematic.

    古代逻辑和语言联系更紧密,现代逻辑与数学更直接相关。

  8. Frege analyzed the paradox of implication when founding modem logic.

    弗雷格在创建现代逻辑之时就已分析了蕴涵怪论。

  9. There is not essential difference between modern logic and traditional logic. The difference just is that the extent is not same.

    现代逻辑和传统逻辑的研究,只是程度不同,精粗不同,广狭不同,并无基本性质的差别。