×
拉法·齐奥布罗

奇偶校验作为整数的属性。 （英语） Zbl 1422.11010号

福尔马利兹。数学。 26，第2号，91-100（2018）.
小结：偶数和奇数出现在数学史的早期，因为它们用于描述人眼容易察觉的物体的特性。虽然奇偶校验的使用允许发现无理数，但普遍认为这种性质“不够丰富，不足以成为任何特定研究的主要内容焦点”。
另一方面，由于使用十进制，被2整除通常被视为数字最后一位的属性（类似于被5整除，但不被任何其他素数整除），这可能会限制其用于任何高级用途。
本文旨在将奇偶性的定义扩展到整数的二进制表示中的奇偶性概念，从而为分组在[西山T和Y.Mizuhara公司，“二进制算术”，Formaliz。数学。第4期，第1期，第83–86页（1993年）][A.Naumowicz公司《关于自然数在位置数字系统中的表示法》，同上，第4号，221–223（2006年；doi:10.2478/v10037-006-0025-9)]和[藤泽Y和Y.Fuwa先生，“基数-（2^k）符号数字及其加法器算法的定义”，同上，第1号，71–75（2001）]分支，用Mizar形式化。

MSC公司：

11页51 因子分解；首要性
11A67号 其他数字表示

关键词：

可分割性;二进制表示

软件：

米扎尔
PDF格式BibTeX公司 XML格式引用
\textit{R.Ziobro}，福尔马利兹。数学。26，第2号，91--100（2018；Zbl 1422.11010）
全文： 内政部

参考文献：

[1] 格热戈兹·班塞雷克（Grzegorz Bancerek）、塞斯·瓦夫·拜林斯基（Czesław Bylinñski）、亚当·格拉博夫斯基（Adam Grabowski）、阿图尔·科尔尼·奥威茨（Artur Korni \322；owicz）、罗曼·马图舍夫斯基（Roman Matuszewski），亚当·诺莫维奇（。米扎尔：最先进的和超越的。在Manfred Kerber、Jacques Carette、Cezary Kaliszyk、Florian Rabe和Volker Sorge，《智能计算机数学》编辑，《计算机科学讲义》第9150卷，第261-279页。施普林格国际出版公司，2015年。国际标准图书编号978-3-319-20614-1。doi:10.1007/978-3-319-20615-8_17·Zbl 1417.68201号
[2] 格热戈兹·班塞雷克（Grzegorz Bancerek）、Czesław Bylinñski、亚当·格拉博夫斯基（Adam Grabowski）、阿图尔·科尔尼·奥维茨（Artur Korni \322；owicz）、罗曼·马图塞夫斯基（Roman Matuszewski），亚当·诺莫维奇（Adam Naumowic。Mizar数学图书馆在Mizar交互式证明开发中的作用。《自动推理杂志》，61（1）：9-322018年。doi:10.1007/s10817-017-9440-6·Zbl 1433.68530号
[3] 藤泽吉森和福娃靖国。基数-2k符号数字的定义及其加法器算法。形式化数学，9(1):71-75, 2001.; ·Zbl 0985.94508号
[4] 亚当·诺莫维奇（Adam Naumowicz）。关于位置数字系统中自然数的表示。形式化数学，14(4)时间：221-2232006。doi:10.2478/v10037-006-0025-9。；
[5] 西山高彦和水原康浩。二进制算术。形式化数学，4(1):83-86, 1993.;
[6] 卢西奥·拉索（Lucio Russo）和西尔维奥·利维（Silvio Levy）（翻译）。被遗忘的革命：科学是如何在公元前300年诞生的，以及为什么它必须重生。施普林格科学与商业媒体，2013年。；
[7] 沃尔特·沃威克·索耶（Walter Warwick Sawyer）。初等数学视野。Courier Corporation，2003年。；
[8] 克里斯托夫·施瓦茨韦勒（Christoph Schwarzweller）。模整数运算。形式化数学，16(三): 247-252, 2008. doi:10.2478/v10037-008-0029-8。；
[9] 里娜·扎兹基斯。奇数和偶数的奇数和端点：探究学生对偶数和奇数的理解。数学教育研究，36（1）：73-891998年6月。doi:10.1023/A:1003149901409。；
[10] 拉法·齐奥布罗。费马小定理通过牛顿二项式的可除性。形式化数学，23(三):215-229, 2015. doi:10.1515/forma-2015-0018·Zbl 1321.11006号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。