本书介绍了计算机基础知识(计算机概述、计算机中信息的表示、多媒体计算机等),计算机系统的基本组成与工作原理、计算机Win 7系统操作与管理,Microsoft Office 2010系列(Word、Excel、PowerPoint)的基础知识与操作,计算机网络安全及常用工具软件等。
本书共十章,包括:引论、集合论预备知识、公理集合论概述、基础公理FA与反基础公理AFA、4种反基础公理、非良基集合全域及其外延性公理、模型论概述和AFA的完全模型、反基础公理的可构成模型、反基础公理的构造性模型、法律论证模型研究。