数字逻辑论文六篇.docxVIP

数字逻辑论文六篇 数字规律论文范文1  本文将从数理规律观点看计算机系统结构、计算机软件与理论和计算机应用技术的核心课程，以此探讨数理规律的理论基础作用。  1 公理系统及数理规律简介  亚里土多德在规律史上第一次应用了形式化、公理化的演绎系统，类似自然演绎系统，为规律的形式化开了先河。亚里士多德关于演绎证明的规律结构给出基本概念，通过定义派生概念；给出公理或公设，通过规律证明定理。这种由初始概念、定义、公理、推理规章、定理等所构成的演绎体系，称为公理系统。  欧几里德整理、总结和进展了希腊古典时期的大量数学学问，形成了《几何原本》。实质公理系统，给