【摘 要】
：
<正>1 数理逻辑在计算机科学中的应用 数字逻辑作为计算机科学的一个重要理论,在很大程度上起源于离散数学的数理逻辑中的命题与逻辑演算,其在计算机硬件设计中的应用更为突
【机 构】
：
大庆师范学院数学系,齐齐哈尔大学数学系,大庆钻井技术服务公司工具分公司,哈尔滨师范大学数学系
论文部分内容阅读
<正>1 数理逻辑在计算机科学中的应用 数字逻辑作为计算机科学的一个重要理论,在很大程度上起源于离散数学的数理逻辑中的命题与逻辑演算,其在计算机硬件设计中的应用更为突出。利用命题中各关联词的运算规律把由高低电平表示的各信号之间的运算与二进制数之间的运算联系起来,使得我们可以用与非门或者用或非门来解决电路设计问题,使得整个设计过程变得更加直观,更加系统化。 数理逻辑在程序设计中起到化简的作用,当一个程序初稿拿出来以后,如果我们想分析一下其中是否有冗余存在,这时就用到了离散数学中命题演算的基本等式。
其他文献
炭化还田是农林废弃物资源化循环利用的有效技术手段之一,也是土壤改良的新途径,对促进农业低碳、循环、可持续发展具有重要意义。以生物炭为核心,从其改良土壤的理论基础分
WW结构域由35-40个氨基酸残基组成,存在两个高度保守的色氨酸残基,能特异地与富含脯氨酸的蛋白基序结合。WW结构域存在于多种蛋白中,广泛参与细胞内各种生化过程和信号通路。
教师具有的专业技能是教师专业身份的重要维度,但主要是有关教育活动的效用维度,且主要以技术性和工具性为特征。使"教育"成为可能的层面还必然涉及"价值维度",因而教育价值
广西贵港六梅金矿床位于贵港市龙山矿田福六岭金矿区,为微细浸染型金矿床。矿床中主要矿石矿物为毒砂和黄铁矿。通过载金矿物毒砂和黄铁矿含金性、金浸出提取、晶体结构测定
我国高校自主招生政策作为教育政策的重要组成部分,自主招生政策属于公共政策的范畴。本文总结了美国自主招生政策的自主性、民间性、双向选择性和综合性特征及启示,认为完善
也金嘎波金矿位于冈底斯成矿带上。该矿是在区域化探发现Au、As、Ag等多元素组合异常的基础上,通过矿点检查、异常查证和地质普查等工作新发现的、具较大规模的热液型金矿床
TXNIP (硫氧还蛋白相互作用蛋白)负调节硫氧还蛋白的抗氧化活性并参与多种细胞过程。它的功能异常与多种人类疾病如糖尿病,急性髓性白血病和心血管疾病等相关。E3泛素连接酶I
教学目标是课堂教学的最终指向,语文课堂教学必须确定课时教学目标,因为语文教学有其特殊性,阅读文本的内容比较丰富,教材解读角度差异性较大,课堂教学中生成的任何一点都有
ATLAS探测器是欧洲核子中心的大型强子对撞机项目(LHC)的主探测器之一。基于高能粒子(质子束)的对撞和探测器数据采集,相关的高能标下基本粒子相互作用及性质的精确测量以及