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

计算机与逻辑学之间存在着紧密的联系,学科之间的渗透是当代科学发展的一个重要趋势。本文主要探讨逻辑学在软件工程开发中的应用问题。由于软件工程技术所步及的内容比较广泛,因而,本文只是选取软件工程技术中软件部分生命周期以及软件开发阶段中逻辑的应用展开探讨。文章主要为了说明软件工程与逻辑学之间联系的必要性,并简单地阐述了论文选题的缘由和意义、以及国内外研巧的现状。从软件工程的概念出发,以需求分析作为切入点,再利用逻辑分析的合理性,主要结合了逻辑学中概念的内潘和外延的应用,通过对软件开发阶段软件的分析,分别从各个阶段出发,再次结合逻辑学中概念的限制和概括、种属关系认及真值函数的对比等方面进斤研巧,同时结合一些实例来进一步说明逻辑学在其中的应用。