查询词典 formal language

In the contradiction among the coherence theory、truth dualism and logic apriorism, Tarski published《the semantic notion of truth in formal language》in 1935 ,creating new approach to study the truth and setting up theory of truth which regarded as the more complete theory on logic truth than others in the history.

真理符合论、真理二元论以及逻辑先验论的长期斗争和矛盾使得美籍波兰学家塔斯基独辟蹊径，在1935年发表了《形式化语言中的真理概念》，开创了真理研究的新途径，建立了语义学真理论，这也是历史上第一个比较完整的逻辑真理论。

B The formal language and cellular automaton solution.

形式语言和元胞自动机解决方案。

In more formal language, the set of all left-hand Riemann sums and the set of all right-hand Riemann sums is cofinal in the set of all tagged partitions.

积分是线性定义的，即如果，则。特别地，由于复数是实数向量空间，故值为复数的函数也可定义积分。

Other semirings arise naturally in such diverse areas of mathematics as combinatorics, functional analysis, topology, graph theory, Euclidean geometry, probability theory, commutative and noncommutative ring theory, optimization theory, discrete event dynamical systems, automata theory, formal language theory and the mathematical modeling of quantum physics and parallel computation systems.

在许多不同的数学领域存在着其它形式的半环，比如组合学，泛函分析，拓扑学，图论，欧式几何，概率论，交换和非交换环，优化论，离散动力系统，自动化理论，形式语言理论，量子物理的数据模型和并行计算系统。

To discuss characteristics and values of New Gothic graphic design according to its internal conceptional tendency and external formal language.

通过归纳西方新哥特风格平面设计的特质，比较分析中国新哥特风格平面设计的现状、特点及发展出路。

As the parent of native traditional painting,Chinese decorative art made a feature of rich decorativeness in form at first,and then established a set of decorative formal language for color as mural art evolved.

装饰艺术作为我国民族传统绘画的"母体"，从一开始就以浓厚的装饰性作为表现形式的主要特点，并随着壁画艺术的发展逐渐形成了一整套装饰性的色彩形式语言。

Programming, Discrete Mathematics, Data Structures and Algorithms, Introduction to the Design and Analysis of Algorithms, Operating Systems, Compiler Principles and Practice, Computer Networks, Computer System Architecture, Embedded Systems and Applications, Database Systems and Applications, Formal Language and Automata, Software Engineering, Artificial Intelligence, Introduction to Computer Graphics, Software System Design, Software Project Management, etc.

主干课程：算法分析与设计、面向对象技术与应用、软件项目管理、软件体系结构、软件过程改进、计算机网络技术、网络与信息安全技术、软件测试技术、信息系统分析与设计、软件度量技术、数据库管理技术、软件平台与中间件技术、数据仓库与数据挖掘、软件需求工程、计算机图形学等。研究方向：软件工程与管理、软件理论与系统、信息系统与工程、计算机图形学与辅助设计。

It can be said that Nanfang has formed his own unique features of formal language.

可以说在南方的作品中已经形成了属于他自己的比较独特的形式语言特征。

For example, one is likely to use somewhat more formal language when talking to superiors.

例如，但一个人跟他的上司说话的时候，他会用更加正式的语言。

This thesis explores into the formal language of western contemporary painting, which is made up of four chapters.

本文从四个部分对西方现代绘画的空间形式语言进行了深入的分析和思考。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。