数理逻辑
shùlǐ luójí
математическая логика, устар. логистика
математическая логика; математический логика; теоретическая N-значная; математическая N-значная
shùlǐ-luó jí
用数学方法研究推理、计算等逻辑问题的学科。也叫符号逻辑。shù lǐ luó jí
mathematical logic
symbolic logic
shùlǐ luóji
mathematical logicmathematic(al) logic
частотность: #37528
в русских словах:
логико-математический
〔形容词〕 数理逻辑的
теоретическая логика
理论逻辑, 数理逻辑
примеры:
数理逻辑(学)
математическая логика
带有代数逻辑的计算器
calculator with algebraic logic
пословный:
数理 | 逻辑 | ||
правила (принципы) математики; математический
|
логика; логический; логичный
|
похожие:
代数逻辑
逻辑数学
多数逻辑
大数逻辑
逻辑处理
逻辑推理
心理逻辑
效理逻辑
逻辑公理
处理逻辑
逻辑理论
逻辑变数
数型逻辑
逻辑模数
数组逻辑
逻辑函数
数学逻辑
逻辑常数
逻辑数组
逻辑负数
逻辑原理
数字逻辑
逻辑代数
逻辑性推理
逻辑处理机
逻辑理论机
逻辑理论家
逻辑1数据
逻辑函数法
理论逻辑学
逻辑操作数
双逻辑理论
非逻辑公理
逻辑代数项
纯逻辑定理
逻辑0数据
逻辑数据号
非逻辑常数
逻辑型数据
逻辑或函数
数字逻辑门
数字逻辑学
逻辑数据码
逻辑数据项
逻辑数据基
多数逻辑门
逻辑数据库
每秒逻辑推理
逻辑推理能力
自动逻辑推理
离散逻辑推理
中断处理逻辑
逻辑推理行为
形式逻辑推理
逻辑推理每秒
逻辑网络理论
逻辑线路理论
逻辑代数函数
辩证逻辑推理
初等逻辑定理
逻辑类型理论
因果推理逻辑
基本逻辑定理
逻辑网路理论
数理符号逻辑
"多数"逻辑
数字逻辑函数
标记逻辑函数
应用数理逻辑
数字逻辑设计
逻辑斯谛函数
逻辑数据传送
标志逻辑函数
逻辑数据链路
数字逻辑系统
逻辑函数序列
逻辑数据处理
逻辑代数变量
逻辑数组元素
数字逻辑电路
逻辑数据库名
逻辑数据结构
逻辑数据通路
逻辑选择函数
基本逻辑函数
逻辑重叠系数
数学逻辑部件
数字逻辑组件
逻辑数据传输
逻辑函数引用
数字气动逻辑
形式逻辑函数
逻辑数据库级
扇出逻辑函数
多数逻辑运算
逻辑数学模型
光电数字逻辑
数字逻辑装置
复数逻辑运算
数学逻辑模型
二值逻辑代数
对称逻辑函数
偶数逻辑部件
数组互联逻辑
组合逻辑函数
多数决定逻辑
数据逻辑模型
多数逻辑算子
四参数逻辑法
逻辑代数算子
多数逻辑译码
多数逻辑元件
模糊逻辑函数
逻辑计数系统
多数逻辑电路
逻辑代数运算
字母数字逻辑包
二进制逻辑代数
运算逻辑处理器
共享逻辑字处理
可计算函数逻辑
多数逻辑运算符
数据库逻辑管理
三进制逻辑代数
大数逻辑可解码
参数器逻辑电路
代数逻辑计算器
多输出逻辑函数
逻辑函数的分解
逻辑数据独立性
数据库逻辑特性
数据的逻辑处理
逻辑数据库描述
变参数逻辑元件
逻辑数据库定义
逻辑数据库设计
逻辑数据库记录
门数组逻辑阵列
可编程计数逻辑
数据库逻辑组织
逻辑数据基记录
信号逻辑处理设备
信号逻辑处理装置
逻辑记录处理程序
逻辑微处理机控器
内涵逻辑内涵对数
逻辑信号处理程序
作不合逻辑的推理
数字逻辑演算装置
逻辑二进制计数器
数字逻辑测试电路
可编程序数字逻辑
多数决定逻辑译码
超限逻辑选择函数
命题逻辑布尔代数
多数决定逻辑算符
多逻辑数据存储器
逻辑数组元素引用
光电数字逻辑线路
信息逻辑数据模型
光电数字逻辑系统
四参数逻辑拟合法
数字逻辑元件系列
多数决定逻辑运算
数字式逻辑模拟器
分布式并行逻辑理论
细胞逻辑图像处理器
集成注入逻辑处理机
逻辑数据库记录类型
数字计算机逻辑检验
可变长度逻辑操作数
二元逻辑代数方程式
多数决定逻辑可解码
命题逻辑的外延性原理
共享逻辑字词处理设备
袖珍计算机的代数逻辑
逻辑函数真值表计算机
基本逻辑理论证明程序
数字逻辑电路或元件系列
数字逻辑线路或元件系列
最小逻辑函数的调节环节
分布参数约瑟夫孙逻辑电路
集成注入逻辑位片微处理机
位片射极耦合逻辑微处理机
善于用逻辑推理侦探隐私的人