形式语言逻辑,The logic of formal languages
1)The logic of formal languages形式语言逻辑
英文短句/例句
1.Implement and Formal Analysis of IKEv2;IKEv2的实现及形式语言逻辑分析
2.Legal logic uses not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.法律逻辑不仅运用形式逻辑的知识,还运用辩证逻辑的知识,以及语言逻辑,论辩逻辑等逻辑知识。
3.Formal Semantics of Framed Temporal Logic Programming Language MSVL框架时序逻辑程序语言MSVL的形式语义
4.The Formalized Procedural Semantic of Logic Programming Language G(?)del逻辑程序设计语言G（?）del的形式化过程性语义
5.New Point on the Issue of National Sport-language--A Philosophical Explanation of "Informal Logic";国家体育语言问题新论——“非形式逻辑”的哲学阐释
6.A Tentative Study of the Intra-transformation of Linguistic Forms;建立一个逻辑语法范畴——试论语言形式的内部转换问题
7.Logical Forms of English and Logical Analysis in Translation from English into Chinese;英语的逻辑形式和英译汉时的逻辑分析
8.Natural Language & Logic Language;自然语言和逻辑语言:现代逻辑的延伸
9.Formalization and Verification of Pointers in the TemporalLogic Language XYZ/E Programs时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)
10.Language Logic or Philosophy Logic--Appreciation of Aristotle s Logic;语言逻辑还是哲学逻辑——为亚里士多德逻辑正名
11.A New Progress in the Chinese Logic Research:A Review of Prof.Zhou Chongli s Contribution to the Chinese Logic Formalization;汉语逻辑研究的新进展——邹崇理汉语逻辑形式化研究述评
12.Probe into the Learning Model for Paiting Meaning of the "Saying Research" about the Language Logic;语言逻辑“话语研究”的学术范式意义探析
13.From Language to Logic--Category and Type Logic Sequence;从语言到逻辑——范畴类型逻辑序列
14.Looking at the Essence of Mo-ching Logic in View of Linguistic Levels of Modern Logic;从现代逻辑的语言层次观看《墨经》逻辑
15.Logic and Language Expression --Argue the application of logic in language action;逻辑与语言表达——论逻辑在言语行为中的作用
16.PROLOG: An acronym for programming in logical languages. POLOG has been developed for use in artificial intelligence applications.逻辑语言编写程式:是用逻辑语言程式编写的意思。它是因为人工智能的用途而开发的。
17.On the Logical Nature of Pragmatic Inference --Towards a Formal Theory of Pragmatics;论语用推理的逻辑属性——形式语用学初探
18.The form of “Shi Er Ran” can be studied both grammatically and logically.“是而然”的形式可从语法形式与逻辑形式两个层面加以讨论。
相关短句/例句
Formal logic language形式化逻辑语言
3)The Logic of Language and Formalization语言逻辑与形式化
4)Language Logic语言逻辑
1.Syntactic and Semantic Characteristics in Chinese and Studies onLanguage Logic;汉语的句法语义特征和语言逻辑研究
2.modern time s Chinese novels didn t discard the character s reality narration which the ancient novels are good at,but the character of the language logic in the colloquialism classical narration is more outstanding.现代中国小说没有丢弃古代小说最为擅长的人物关系叙事,但是经典白话叙事中的语言逻辑特征更为突出。
3.This paper poses a query to three modes of expression in language logic and then puts forward new modes of expression in order to elucidate the rhetoric of "enigmatic discourse" or euphemism, ambiguous clauses and the relation between parole and langue in language logic.本文对三个语言逻辑的表达式提出质疑,并提出了新的表达式,试图表达语言逻辑中的“隐讳”修辞辞格、歧义句言语与语言关系。
5)logic of language语言逻辑
1.This paper analyzes the difference of architecture culture in the west and east from the linguistic point of view and discusses it from three aspects, namely, the element of language, thelogic of language and the culture of language.文章从语言学的角度分析东西方建筑文化方面的一些差异,并且从语言元素、语言逻辑和语言风格三方面对其展开了具体论述。
2.This article analyzes the influence of this trichotomy on the philosophy andlogic of language in detail,and on top of this,illustrates the significance of pragmatics turn in the fields of theoretic.本文详细分析符号学三分法对语言哲学和语言逻辑的影响,并特别阐明语用学转向对理论语言学、语言哲学和语言逻辑的意义。
6)Logic Language逻辑语言
1.In this paper was presented a scheme of MDP--PROLOG++,an object-oriented multilayer distributed logic language,was expounded design of the installations of object-oriented and multilayer concurrence of MDP-PROLOG++.本文探讨了逻辑、面向对象、多层并发等方法的融合，介绍了一个较规范、较通用的面向对象多层分布并行逻辑语言ＭＤＰ－ＰＲＯＬＯＧ＋＋，论述了该语言面向对象设施和并发执行设施的设计。
2.Natural language is the means by which people communicate with each other while logic language is the means by which people communicate with computer.与自然语言相对的是逻辑语言。
延伸阅读
形式语言形式语言formal language形式语言[肠旧日lh卿.罗冲opMa几‘““.，3““]由某个(有限的或无穷的)字母枣(alphabet)v(有时亦称为字典(dictiona卿))上的元素组成的串(即字(word))的任意集合，亦即形如田=a:，…，ak的表示的集合，这里a、，…，久任V;串。的长度是数k，通常记为}田}.一般空串也被考虑在内，记为凡规定{A}二0.通常说字母表F上的一个语言，而省略“形式”二字.在数学语言学(n篮1 thorr以6口」五ngll云允)以及自动机理论(aLIt0H坦ta，thooryof)中，人们考虑用各种类型的形式文法(ga代叮坦r，场~1)及自动机来有效地描述形式语言，在大多数情况下这些都是修改了的多带非确定T耐l嗯机(Turmg叮以chine)，对机器在工作带上的工作模式加了一些限制.形式语言的运算.除了常见的集合运算，还考虑形式的语言乘法(m』tiP五口tion)(或称直接乘法( di代CtmLdtiPli以tion)，或毗连(co暇把nation)): L:几二{xy二x任L.，y任仁};左除(leftdi姑ion):拼卜注】细节见形式语言与自动机(fon力alla理阳笋朗da以olr以ta).鲍丰译李廉校LZ\L一{x:日夕，z(夕‘L:%26z任几%26夕二zx)}:布咚(咖division)几/几的定义类似左除;举作卿粤(妞eration): L’二L“日刀U…，这里L0指{八}，而刀十，”厂L(特别地，V上所有串组成的集合就是V’);截迭代闭包(甘切以习让d iteratio们):L+二刀日刀日…;代换(s咖titution):如果L是有限字母表{马，…，气}上的一个语言，L:，…，从是任意语言，则S(L;a，，…，久}L，，…，人)= ={x，，’二x:*“a‘、…a“EL%26x‘，6L，%26…%26x，*‘L‘*};如果每个语言吞(i=1，…，n)都是由一个串:，组成的，这个代人称为同态(加伽伽印比m);如果所有的共都不是空字，则称为不可缩同态(幽bbreha让d holrlo-二rp油m)·如果语言{x}仅由一个串二组成，则一般写成xL，x\L等，而不写成{x}L，{x}\L等·一个语言簇(份比ty ofla飞胆笋)是一个有序对(g，劝(或丫，如果g是共认的)，这里g是一个无穷字母表，丫是一个语言的集合，满足:l)对任何L‘、，存在有限字母表公C=苏，使得LC艺’;2)存在某个L〔丫，有L笋必;3)了在并、乘积、与正规集的交、截闭包、不可缩同态及任意同态的逆的运算下封闭.对任意同态封闭的簇，称为完全的(田mPlete).
