数字逻辑若干基本定理的证明  

作　　者：尚泽译 张欢[1] 张娅岚[1] 望璐璐 

机构地区：[1]中国民用航空飞行学院计算机学院,四川广汉618307

出　　处：《快乐巧连智》2024年第18期259-261,共3页

基　　金：2024-2025年中国民用航空飞行学院校级面上项目。课题名称:基于膜计算的轮式机器人控制器FPGA实现与应用研究(项目编号:24CAFUC03040);2023年度中国民用航空飞行学院新建本科专业标准及实验教学平台建设项目,课题名称:物联网工程专业实验教学平台设计与搭建,项目编号:MHJY2023027。

摘　　要：本文证明了在数字逻辑中广泛应用的几个结论,将这些结论作为定理,以原码、反码、补码的定义为切入点,结合二进制运算的特点,辅以运算竖式图,给出了这些结论的数学证明。证明过程逻辑严密、图文并茂,力求将数字逻辑中的基本结论以最清晰的方式展现出来,启发学生的思维,便于学生深刻掌握这些结论的应用。

关 键 词：数字逻辑 二进制运算 数学证明 基本定理 图文并茂 逻辑严密 学生的思维 基本结论 

分 类 号：G63[文化科学—教育学]