查询词典 syntax
- 与 syntax 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
In the aspect of the Philosophy of Language, Montague Grammar inherited Frege's theory of meaning, Russell's theory of reference, Carnap's theory of verification, Goodman's Modern Realism, Tarski's theory of truth, Kripke's semantics of possible worlds of modal logic, etc, and opens up a new direction in the study of Formal Semantics of natural language; in the aspect of Theoretic Linguistics, Montague was influenced by Chomsky's research idea about the formal treatment of the syntax in natural language and extended it to the semantic study of natural language; Montague Grammar has two theoretic sources: One is the Logical Semantics and Intensional Type Theory in Logic, and the other is Categorial Grammar and Transformative Generative Grammar in Linguistics.
在语言哲学方面它继承了弗雷格的意义论,罗素的指称论,卡尔纳曾的实证主义,古德曼的现代实在论,塔斯基的语义学真理论,克里普克的模态逻辑可能世界语义学的传统,开辟了自然语言形式语义学研究的新方向;在理论语言学方面,他受乔姆斯基形式化语言研究思想的影响,并把这一思想扩展到自然语言的语义研究方面;蒙太格语法的理论来源有两个方面:逻辑方面是逻辑语义学思想和内涵类型论理论,语言学方面是范畴语法和转换生成语法。
-
It uses a reduced XPath syntax to search, so a corresponsive node or node set will be returned.
它采用简化的XPath语法查询,返回符合查询需求的结点或结点集合。
-
These objects are used to represent the actual ellipses in the slice syntax.
这个对象在切片语法中表示省略号。
-
By the time Old Gutnish came to be recorded in manuscripts, it possessed most of the characteristics which distinguish Old Norse from Wulfilan Gothic ( in terms of vocabulary, morphology, phonology and syntax ), as can be seen in this text sample from the
在古顾特语被在手稿纪录下来的时候,它呈现了多数使古诺斯语和哥德语有所区别的特徵(单字、构词、音韵和语法上地),此可由一份关於至南欧的迁徙的文件
-
From the point of view of source code conversion, we focus on the problems that caused by difference between specifications (e.g. syntax and XML generation), OS supporting (e.g. SQL Server supports COM technology), DBMS (e.g. system tables), and build-in functions. We also propose solutions to some platform dependent problems by simulating these functionalities via Java stored procedures and taking advantage of compile and JDBC technology to solve the XML generation problem. Source code level engineering makes those proposal more flexible and inerrable.
代码转换方面,针对由于系统规范不同,如语言语法和XML生成问题;操作系统支持差异,如SQL Server支持并集成COM技术;DBMS差异,如系统表不同;内嵌函数的差异等原因引起的存储过程移植问题,本文都提出了相应的解决方案,如用Java存储过程模拟解决特有技术不同造成的问题(如模拟Windows的COM技术);利用编译技术和系统特性和JDBC技术解决XML生成问题等。
-
The systematic description of the syntax and semantics of natural language in MG is very difficult to be axiomized because of the complexity of natural language, but the Intensional Logic of MG can be constructed into an axiomized system.
MG的自然语言部分语句系统不专注于逻辑有效推理形式的刻划,但它对句子的逻辑结构及语义特征的分析有助于对自然语言推理中的复杂性的理解。
-
XAML provides an easily extensible and localizable syntax for defining user interfaces separated from application logic, similar to the object-oriented technique for developing n-tier applications with a MVC (Model-View-Controller) architecture.
xaml提供一个容易扩展和定位语法定义用户界面分开,从应用逻辑,类似于面向对象技术开发N层应用程序与的MVC架构。
-
Moodle 1.7+:'' The editor has been modified and allows you to test if your syntax is good.
Moodle 1.7+:''编辑器已经修改并允许你测试语法是否是好的。
-
Syntax indicates that UnitPrice property is a nullable value
表达式表明了UnitPrice属性不可为空值
-
A reasonable mechanism is delamination that had happened at ~11Ma in Pamir syntax.
比较合理的解释是该区在~11Ma时发生了大规模的岩石圈拆沉作用。
- 相关中文对照歌词
- Syntax Lies
- 推荐网络例句
-
By the time of its fall, most of the prisoners were writers who had written against the corruptions of the government.
到它被攻陷的时候,里面多数的犯人是写了反对政府贪污文章的作家。
-
The most obvious variation to ovum morphological character was that the color was changed from light green to sepiaceous in embryonic development, and all the ovums were almost hatched after 96h.
在胚胎发育过程中卵的形态特征最明显的变化是颜色从淡绿到深褐色,卵在发育96h后卵基本全部孵化。
-
There was a conflict between plebs and patricians in ancient Rome in 494BC.
在公元前494年,罗马发生了一次平民反对贵族的斗争。