本书的初衷是希望读者从逻辑训练着手,在学习系统基础理论的同时,实践展开信息系统开发。与传统方法不同,本书没有把信息系统作为软件工程的研究对象,而是将其作为系统理论的研究对象,用系统理论的方法来实现信息系统的开发。全书共有8章,可分为两部分：*部分包括第1章至第4章,是系统理论的基础部分,介绍了离散数学的基本概念和定义,自动机模型和关系型数据库模型等内容；第二部分包括第5章至第8章,是信息系统开发的实践部分,结合问题求解系统、业务处理系统等实例,介绍了在特定的系统开发环境下把模型理论应用于信息系统开发的展开方法。本书的日文版作为信息管理专业等多个学科的本科生用教科书,自出版以来被日本多所大学采用,颇受欢迎,并于2016年修订后再次出版。现译为中文出版,可用作高等院校各类相关专业的教科书或自学参考书。