计算机软件工程技术中的逻辑应用

计算机学和逻辑学之间有着很紧要的联系,各个学科之间的渗透是如今科学技术发展的大势所趋。该文探讨的是逻辑学在计算机软件工程技术上的运用和开发。因为软件工程所涉及的面比较广,所以该文只就软件工程的软件开发中所运用的逻辑和软件部分的生命周期进行讨论。该文主要讲述软件工程和逻辑学之间的相互作用,并简述了逻辑分析的必要性以及合理性。重点通过逻辑学中定义的内涵和外延的具体运用和经过在软件开发过程中软件的分析以及从各个角度对逻辑学中的定义界限和范围进行讲解。