单词
文章
取名
英语词组短语
Formal symbolic logic
英美
Formal symbolic logic网络翻译
逻辑
... Formal symbolic logic 逻辑 Formal fuzzy logic 模糊逻辑 formal logic 形式逻辑 ...
Formal symbolic logic双语例句
Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.
符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。
相关单词
- swotn. 苦读的人；努力工作者；辛苦的工作 vi. 刻苦用功 vt. 刻苦攻读
- switchbackn. 在 Z 形路轨向原来的方向返驶；改变角度；之字形路 vi. 蜿蜒而行；采取迂回方针 adj. 曲折的；起伏不平的
- supervisorn. 监督者，管理者；（英国大学里负责学生研究工作的）指导教师；<美>镇长，县长
- strikebreakern. [劳经] 破坏罢工者
- stepsn. （楼外的）台阶；步伐；步数；步幅（step 的复数） vi. 踏，踩；走（step 的第三人称单数） vt. 走，迈步； 竖立（桅杆）于桅座上（step 的第三人称单数）
- stenographern. 速记员
- statisticiann. 统计学家，统计员
- stagnationn. （一国经济的）不景气，停滞；（水）不流动
- springboardn. 跳板；出发点 vi. 利用跳板跃进
- shantytownn. 以临时搭盖的陋屋为主的地区
- sewern. 下水道，阴沟；缝纫工，缝纫机；（中世纪贵族宅邸中的）司膳管家 v. 为……铺设污水管道，用下水道排除……的污水；清洗污水管
- sculptorn. 雕刻家，雕塑家
- schoolingn. 学校教育；学费；（马术）训练马在平地比赛（或跨越障碍） v. 教育，培养；训练，使学会（school 的现在分词形式） 【名】 （Schooling）（英）斯库林（人名）
- schoolgirln. 女学生
- satcheln. 书包；小背包