<p>《数理逻辑》由8个部分的内容组成，包括绪论和7个章节的内容。绪论部分，介绍元数学的形成与发展以及元数学与数理逻辑之间的关系，同时简要说明课程学习的目的和意义。第1章介绍集合论的基础知识，包括有穷集与无穷集的概念、可数集与不可数集的特性、集合基数的定义及其相关性质、无穷基数大小比较等方面的内容。第2章介绍可计算性理论的基本知识，包括计算概念的形成与发展、能行计算的基本特征、可计算性函数的多种形

数理逻辑

本书利用通俗易懂的语言以及大量的典型实例，循序渐进地介绍了 C++程序设计的基础知识与
编程方法，将 C++程序设计的难点、要点分层次、分阶段地逐步展示出来。全书共分为 10 章，包括
初识 C++程序设计语言、 C++语言编程基础、函数、数组、结构体与简单链表、类和对象、继承与
多态性、友元函数与运算符重载、模板和异常处理、输入/输出流。
本书结构严谨，兼有普及与提高的双重功能，可作为高等院校计

张晓如的作品