逻辑学

Aristotelian logic

亚里士多德逻辑学

Aristotelian ethics 亚里士多德伦理学 | Aristotelian logic 亚里士多德逻辑学 | Aristotelian method 亚里士多德演绎法

Aristotelian logic

亚里斯多德逻辑学

论证 argumentation | 亚里斯多德逻辑学 aristotelian logic | 算术 arithmetic

logic calculus

逻辑学

logic 逻辑 | logic calculus 逻辑学 | logic of pocket calculator 袖珍计算机的逻辑

three valued logic calculus

三值逻辑学

三值逻辑 three valued logic | 三值逻辑学 three valued logic calculus | 阈逻辑 threshold logic

logician

逻辑学

liver 肝脏 | logician 逻辑学 | mathematician 数学家

model theory

模型理论 FOR LOGIC(逻辑学)

123 MODAL OPERATORS 模态运算符 IN LOGIC(逻辑学) | 124 MODEL THEORY 模型理论 FOR LOGIC(逻辑学) | 139 PROBLEM SOLVING 问题求解

phenomenology

现象逻辑学

现象逻辑系数 phenomenological coefficient | 现象逻辑领域 phenomenological domain | 现象逻辑学 phenomenology

Logics

逻辑学

逻辑学(Logics)我们主要指数理逻辑,形式逻辑在推理问题中也有比较广泛的应用. (比如我们学校还为此专门开设了选修课程)这方面的参考推荐中科院软件所陆钟万教授的<<面向计算机科学的数理逻辑>>. 现在可以找到陆钟万教授的讲课录像,

Logics

法学逻辑学

法学西方法律思想史The History of Western Legel Thoughts | 法学逻辑学Logics | 法学法律文书Legal Documents

Legal Logics

法律逻辑学

176,"法律基础"," Fundamentals of Law " | 177,"法律逻辑学"," Legal Logics " | 178,"法律文书","Legal Document Writing "

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul