陈火旺总主编；刘任任，郑瑾主编；张陵山，袁友伟副主编2005 年出版231 页ISBN：7811051494
本书主要介绍了离散数学中的基本概念、基本定理、运算技巧及其在计算机科学中的应用。包括集合论、图论、数理逻辑、代数结构。
刘任任主编2011 年出版136 页ISBN：9787113122867
本书是离散数学（刘任任编著）的配套教材，主要针对主教材中每章后面的习题进行了详细解答，并给出参考答案。
周经野，刘任任编著2007 年出版343 页ISBN：9787811280067
本书系统介绍计算机科学的基础理论，内容共分为四个部分（共19章）：第一部分形式语言及自动机理论，第二部分可计算理论，第三部分逻辑学，第四部分程序设计理论。该书可作为研究生的选修教材和一级学科硕士研究生的......
刘任任主编；刘玉珍，肖芬，孟国艳副主编；周经野，谢慧萍参编2015 年出版153 页ISBN：9787113208073
本书是《离散数学》的配套教材，对主教材中集合论与数理逻辑、图论与组合数学、代数结构与初等数论、形势语言与自动机理论基础等方面的习题进行了较详细的分析与解答，以帮助读者加深对基本概念、基本定理以及...
刘任任，王婷，周经野主编2015 年出版294 页ISBN：9787113208066
本书介绍离散本书是编者根据多年讲授离散数学课程的教学实践，并参考国内外同类教材编写而成的。为适应计算机科学发展的需要，本书增加了新的内容，其目的在于通过讲授离散数学中的基本概念、基本定理和运算及其...
刘任任著2010 年出版295 页ISBN：9787030258687
本书总结和概括了作者及其导师在国家自然科学基金等资助下，近20年来从事多值逻辑理论研究的主要成果。全书较系统地介绍了完全和部分多值逻辑函数的结构理论；较详细地介绍了部分多值逻辑中Sheffer函数的判定...
