M.MorrisMano，CharlesKime著；尤志强等译2017 年出版481 页ISBN：9787111570103
本书以通用计算机为线索，由浅入深地讲解了逻辑设计、数字系统设计和计算机设计。其中，第1~4章为逻辑设计，包括数字系统与信息、硬件描述语言和组合逻辑电路、组合逻辑设计以及时序电路；第5~7章为数字系统设计，包...
（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282
本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
