靳从,宋斌,王玲编著2013 年出版218 页ISBN:9787302331636
本书是参照“计算机导论”课程的要求,为学生计算机实验课程而编写的。在内容上与《计算机导论》相互配合但又相对独立,本书从最基本的计算机硬件与软件开始,在介绍计算机的基本操作基础上,着重介绍当前最常用的...
(美)布勒斯(Boolos,G.S.)等著2003 年出版356 页ISBN:7505388282
本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题,并重新组织和改写了某些章节,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。...