查询词典 logic

model theory：模型理论 FOR LOGIC(逻辑学)

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

positive logic：正逻辑

因此我们首先面临到的一个问题就是如何将开关的开/断状态转变成Arduino能够读取的高/低电平. 解决的办法是通过上/下拉电阻,按照电路的不同通常又可以分为正逻辑(Positive Logic)和负逻辑(Inverted Logic)两种.

predicate logic：述詞邏輯

本课程置重点於命题逻辑(prepositional logic)及述词逻辑(predicate logic)中自然演绎法(natural deduction)上. 在本课程中,学者们将会学到一些逻辑的基本观念与技巧,诸如有效性(validity)、真值表(truth-table)、语意树枝及推论规则等等.

predicate logic language：谓词逻辑语言

predicate logic 谓词逻辑 | predicate logic language 谓词逻辑语言 | predicated response 预测响应

propositional logic：命题逻辑

语言学取向以形状文法(shape grammar)为代表. 碎形几何学透过不同的最小丈量尺寸,可以看出不同尺度(scale)的空间结构变化. 符号逻辑学以命题逻辑(propositional logic)或者首阶符号逻辑(first order logic)之方式描述空间之结构,并可据以进行空间推理.

propositional logic：命题 辑

propositional intermediate logic 命题中间 辑 | propositional logic 命题 辑 | protractor 角器,分规

sequential logic：时序逻辑

sequential learning automation 时序学习自动机 | sequential logic 时序逻辑 | sequential logic element 时序逻辑元件

three valued logic：三值逻辑

三值的 three valued | 三值逻辑 three valued logic | 三值逻辑学 three valued logic calculus

threshold logic：定限逻辑

定限位准 threshold level | 定限逻辑 threshold logic | 定限逻辑电路 threshold logic circuit,TLC

threshold logic circuit：阈逻辑电路

threshold logic 阈逻辑 | threshold logic circuit 阈逻辑电路 | threshold luminance difference 阈亮度差

Greco-Latin square：希腊拉丁方格

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

cunningham：帆前角下拉索

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