说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 格路谓词
1)  predicate grue
格路谓词
1.
This paper deals with the background of the celebrated Goodman s new riddle of induction and the logic and semantics of predicate grue.
本文回顾了古德曼的新归纳之谜的背景 ,分析了格路谓词的逻辑与语义特征。
2)  double-nucleus predicate case-frame
双核谓词格框架
1.
Having understood the semantic network, we can establish the double-nucleus predicate case-frame.
弄清楚其中的语义网络 ,就可以着手建立“S +V +R +O”双核谓词格框架了。
3)  path with fewer predicates
最少谓词路径
4)  predicates [英]['predikit]  [美]['prɛdɪkɪt]
谓词
1.
Based on analyzing the relationship between domains of Visual Prolog and data types of C language,calling conventions of predicates and functions are discussed,a way to program with Visual Prolog and Visual C++ is presented,and a code example for this method is demonstrated in detail.
分析了V isual Prolog论域与C数据结构的对应关系以及函数、谓词的调用约定,讨论了V isual Prolog与V isual C++进行混合编程的实现方法,并通过二者相互调用的代码演示了该方法,从而将VC与V isual Prolog的优势有效的结合起来,使智能应用的开发简单而高效。
2.
This paper discusses the context and syntax of embedded if-questions appearing as arguments of noninterrogative predicates like "admit", ect.
谓词对从句补语有语义上的要求。
5)  predicate [英]['predɪkət]  [美]['prɛdɪkɪt]
谓词
1.
Method of resolution under predicate logic;
谓词逻辑描述下的归结推理方法
2.
Selectivity estimation of predicate is important information of database.
谓词选择率估计是关系数据库管理系统查询优化器决策的重要依据。
3.
One of the standard ways to handle the state explosion in large systems is to practise the modular supervision of languages or predicates,or of discrete event systems.
在监控理论中 ,处理状态膨胀的标准方法之一是基于语言或谓词的模监控 。
6)  predicate logic
谓词逻辑
1.
Representation of design patterns based on predicate logic;
基于谓词逻辑的设计模式描述方法
2.
Theory of quasi-truth degrees of formulas in two-valued predicate logic;
一类二值谓词逻辑中公式的准真度理论
3.
By predicate logic,the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案,提供了求解的流程。
补充资料:格奥格-奥古斯特-格丁根大学
格奥格-奥古斯特-格丁根大学
格奥格-奥古斯特-格丁根大学

格奥格-奥古斯特-格丁根大学(georg-august-universität göttingen),简称格丁根大学,位于德国西北部下萨克森州南端的大学城格丁根市,因英王乔治二世创建而得名。始建于1734年,于1737年向公众开放。

历史

始创

1734年时为英国国王及汉诺威大公的乔治二世决定委派其重臣冯·明希豪森在格丁根创办一所大学,旨在弘扬欧洲启蒙时代学术自由的理念,格丁根大学也因此一开欧洲大学学术自由之风气。大学创办之初,即设有神学、法学、哲学、医学四大经典学科,尤以自然科学和法学为重。

18-19世纪

整个18世纪,格丁根大学因其极为自由的科学探索精神和氛围而居于德国大学中心地位。到1812年学校已经发展成为具有图书藏量25万册,被海内外认可的一所现代化大学。拿破仑曾于此研习法律,并言“格丁根是属于全欧洲的”。

格丁根大学初以法学闻名于世。18世纪德国著名国家法学大师皮特曾于此执教半个世纪,而吸引了大批学生求学,奥地利首相克莱门斯·梅特涅,柏林大学的创办者威廉·冯·洪堡都是他的学生。至1837年其建校100年时,格丁根大学因几乎每年法学院注册的学生均占全校在读学生人数的一半以上而被称为“法科大学”。而格丁根大学也因此成为18世纪德国公法学的麦加。

1837年发生了著名的“格丁根七君子事件”,格丁根的七名教授因反对汉诺威国王废除宪法之举而被驱逐出格丁根大学,格林兄弟也在此列,这一事件反映出格丁根的知识份子对自由的热爱与捍卫宪法的勇气。此后,古斯塔夫·胡果和爱希霍恩于19世纪在此执教并成为德国历史法学派的先驱。19世纪末,创造“缔约过失责任”理论的著名民法学家鲁道夫·冯·耶林在此任教。

更让格丁根成为世人瞩目的科学中心的是其自然科学,尤其是数学。被称为“最重要的数学家”的高斯就于18世纪任教于此并开创了格丁根学派。此后,黎曼、狄利克雷和雅可比在代数、几何、数论和分析领域做出了贡献。到19世纪,著名数学家希尔伯特和克莱因更是吸引了大批数学家前往格丁根,从而使德国格丁根数学学派进入了全盛时期。到20世纪初,格丁根已成为无可争辩的世界数学中心和麦加圣地。

19世纪末-20世纪初

这一时期,格丁根大学在全欧乃至世界上的学术地位达到了顶峰。

45位诺贝尔奖得主曾在格丁根大学学习、任教或研究,其中大部分为物理和化学奖,其他为医学、和平及文学奖。不过因为大多数诺贝尔奖都是在20世纪上半叶获得的,其得主多已去世。在这半个世纪从这里走出的诺贝尔奖得主人数位居世界大学第八位,创造了“格丁根诺贝尔奇迹”。此外,德意志帝国时期的“铁血宰相”奥托·冯·俾斯麦,联邦德国前总统里夏德·冯·魏茨泽克及前总理格哈特·施罗德均曾于格丁根大学学习法律。德国大诗人海涅也在此取得法学博士。格林兄弟在此任教并编写了第一部德语词典。现象学大师埃德蒙德·胡塞尔在此任教,哲学家亚瑟·叔本华,社会学大师马克斯·韦伯与尤尔根·哈贝马斯等也先后求学于格丁根。

纳粹时期

1933年希特勒上台,对犹太人进行残酷迫害,格丁根大学也因此受到致命重创,大批知名的犹太籍科学家和学者被迫离开格丁根,去往美国。世界科学的中心立刻从德国转向了美国。

现状

2005年格丁根大学的在册学生人数近2万5千人,其中包括大学生24,398人和博士生643人。教授420名,教研人员共3千多人。它所属的医药学校下设19个中心,其中包括各种各样的诊所。自从1980年以来,该大学已经根据不同学科成立了14个院系。

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条