离散数学

本书内容包括数理逻辑, 集合论, 代数结构和图论以及形式语言与自动化.

左孝凌，教授，上海交通大学任教。上海人。著有《计算机软件基础教程》、《离散数学─理论、分析、题解》等，译有《组合理论的基本方法》、《逻辑设计的问题和解》等。