本书选取并介绍了三种代表性的形式化方法，它们分别是以集合论和一阶谓词演算为基础的Z语言，以时态逻辑为基础的XYZ，还有以直觉数学学派为基础的类型理论。 本书既可以作为计算机专业的研究生的形式化课程教材，又可以用作专业人员的参考书。虽然真正从事形式化方面的工作的人员不多，但是有必要通过对该课程的学习，使学生在理论、技术和方法上都得到了系统而有效的训练，有利于提高软件人员的素质和能力。
本教材本着以职业能力培养为主、实践为重的原则，从培养应用型、技能型人才角度出发，方便教学和实训。主要内容有计算机基础知识、Windows XP、Word 2003的使用、Excel 2003和PowerPoint 2003的应用方法以及计算机网络的基础知识等。 本教材概念清晰，示例丰富，通俗易懂，尤其注重实训。适合作为各类高职高专院校、计算机培训学校的计算机基础入门教材。
