教育资源公共服务平台
站内导航
英语单词
英文缩写
英文名
科技词典
专业词典
中文字典
成语
汉语词典
国家查询
大学查询
软件下载
邮编查询
教育资源导航
公共查询
科学技术名词
计算机科学理论
计算机科学技术
计算机科学理论科技名词 计算机科学理论科学技术名词 计算机科学理论科技名词大全 计算机科学理论科技名词术语
计算机科学理论
科技名词
计算机科学理论 第1页
科技名词
学科
详情
能行性
effectiveness
计算机科学技术
>
计算机科学理论
详情
丘奇论题
Church thesis
计算机科学技术
>
计算机科学理论
详情
计算
computation
计算机科学技术
>
计算机科学理论
详情
图灵机
Turing machine
计算机科学技术
>
计算机科学理论
详情
递归函数
recursive function
计算机科学技术
>
计算机科学理论
详情
原始递归函数
primitive recursive function
计算机科学技术
>
计算机科学理论
详情
特征函数
characteristic function
计算机科学技术
>
计算机科学理论
详情
哥德尔配数
计算机科学技术
>
计算机科学理论
详情
λ演算
λ-calculus
计算机科学技术
>
计算机科学理论
详情
波斯特系统
Post system
计算机科学技术
>
计算机科学理论
详情
一阶逻辑
first order logic
计算机科学技术
>
计算机科学理论
详情
一阶理论
first order theory
计算机科学技术
>
计算机科学理论
详情
命题逻辑
propositional logic
计算机科学技术
>
计算机科学理论
详情
命题演算
propositional calculus
计算机科学技术
>
计算机科学理论
详情
形式系统
formal system
计算机科学技术
>
计算机科学理论
详情
演绎规则
deduction rule
计算机科学技术
>
计算机科学理论
详情
布尔运算
Boolean operation
计算机科学技术
>
计算机科学理论
详情
布尔代数
Boolean algebra
计算机科学技术
>
计算机科学理论
详情
布尔表达式
Boolean expression
计算机科学技术
>
计算机科学理论
详情
三段论
syllogism
计算机科学技术
>
计算机科学理论
详情
真值表
truth table
计算机科学技术
>
计算机科学理论
详情
合式公式
well-formed formula
计算机科学技术
>
计算机科学理论
详情
逻辑蕴涵
logical implication
计算机科学技术
>
计算机科学理论
详情
析取范式
disjunctive normal form
计算机科学技术
>
计算机科学理论
详情
合取范式
conjunctive normal form
计算机科学技术
>
计算机科学理论
详情
演绎
deduce
计算机科学技术
>
计算机科学理论
详情
假言推理
modus ponens
计算机科学技术
>
计算机科学理论
详情
归约
reduce;reduction
计算机科学技术
>
计算机科学理论
详情
演绎数学
deductive mathematics
计算机科学技术
>
计算机科学理论
详情
数学公式
mathematical axiom
计算机科学技术
>
计算机科学理论
详情
首页
末页
|
1
2
3
4
5
6
7
8
9
10
|
上一页
下一页
科学技术名词为您提供计算机科学理论科技名词,计算机科学理论科学技术名词,计算机科学理论科技名词大全,计算机科学理论科技名词术语,计算机科学理论科技名词有哪些,计算机科学理论科技名词的翻译
科学技术名词出版物
查看全部
测绘学名词
地质学名词
电工名词
航空科学技术名词
农学名词
生物化学与分子生物学名词
水产名词
通信科学技术名词
土木工程名词
药学名词
冶金学名词
医学名词
医学名词
医学名词
遗传学名词
植物学名词
自动化名词
自然辩证法名词