首页> 中文期刊> 《广西广播电视大学学报》 >负数的补码的一种证明方法

负数的补码的一种证明方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文首先介绍了负数补码和反码的定义,并用例子验证定义的正确性,然后从负数补码、反码的定义出发,给出了负数的补码等于该负数的反码与末住加1之和这一命题的一种证明方法与验证.

著录项

来源
《广西广播电视大学学报》 |2005年第3期|65-66|共2页
作者
叶嘉; 黄珍生;
展开▼
作者单位

广西广播电视大学理工学院,广西,南宁,530022;

广西广播电视大学理工学院,广西,南宁,530022;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计;
关键词
补码; 反码; 证明;

相似文献

中文文献
外文文献
专利

1. 负数补码的探究 [J] . . 电子测试 . 2013,第012期
2. 数制转换规律——不加1求负数补码 [J] . 张玉秀 . 科技传播 . 2011,第012期
3. 《数字电路设计与逻辑设计》教材中负数补码的运算问题 [J] . 徐永谦 ,万延 . 科技创新导报 . 2008,第012期
4. 图示法在负数补码表示中的应用 [J] . 黄勇 . 安徽电子信息职业技术学院学报 . 2004,第001期
5. 负数补码的表示方法 [J] . 张美英 . 内蒙古电大学刊 . 2001,第004期
6. 一种静态可信度量根安全证明方法 [C] . 徐明迪 ,明瑞扬 ,任正伟 . 全国抗恶劣环境计算机第二十五届学术年会 . 2015
7. 一种面向安全关键软件的程序证明方法研究 [A] . 曲长亮 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号