本书第一版于1991年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因此在一些院校一直沿用至今。2008年大连理工大学出版社计划出版优秀理工科本科、研究生系列教材，经过仔细分析、评估后，编著了本书。本书可作高等院校教材，也供自学使用。