计算机科学的逻辑基础

题名:计算机科学的逻辑基础
责任者:(美)雷克斯·佩奇(Rex Page)，(美)鲁本·冈博亚(Ruben Gamboa)著
出版社机械工业出版社
出版年:2021.06
ISBN:978-7-111-68222-6
定价:99.00
载体形态项:11,222页 26cm
个人责任者:佩奇著、冈博亚著、汪荣贵译、陈朗译、汪雄飞译
学科主题:电子计算机
中图法分类号:TP302.2
提要文摘附注:本书以实际问题的求解为导向，对计算机科学的逻辑基础知识进行了介绍、讨论和归纳，实现了逻辑与计算机之间的知识贯通。主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分，采用三种形式化表示法，即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。
统一资源定位(URL):

字段	指示符	值
000		01604nam0 2200337 450
001		004144555
005		20210628090955.0
010	__	■a978-7-111-68222-6■dCNY99.00
100	__	■a20210715d2021 em y0chiy50 ea
101	1_	■achi■ceng
102	__	■aCN■b110000
105	__	■aa z 001yy
106	__	■ar
200	1_	■a计算机科学的逻辑基础■b专著■dEssential logic for computer science■f(美)雷+......
210	__	■a北京■c机械工业出版社■d2021.06
215	__	■a11,222页■c图■d26cm
225	1_	■a计算机科学丛书
300	__	■a华章教育
305	__	■a由MIT Press 通过Bardon-Chinese Media Agency授权出版
330	__	■a本书以实际问题的求解为导向，对计算机科学的逻辑基础知识进行了介绍、讨论和归纳，实现了逻辑与计算机之间的知识贯通。主要+......
333	__	■a本书不仅可以作为高等学校计算机、人工智能、大数据及相关专业的逻辑课程教材，也可供广大计算机爱好者、计算机及相关领域的+......
510	1_	■aEssential logic for computer science■zeng
606	0_	■a电子计算机■x逻辑设计
690	__	■aTP302.2■v5
701	_0	■a佩奇■c(美)■c(Page, Rex)■4著■9pei qi
701	_0	■a冈博亚■c(美)■c(Gamboa, Ruben)■4著■9gang bo ya
702	_0	■a汪荣贵■4译■9wang rong gui
702	_0	■a陈朗■4译■9chen lang
702	_0	■a汪雄飞■4译■9wang xiong fei
801	_0	■aCN■b南昌职业大学图书馆■c20240702
905		■a南昌职业大学图书馆■dTP302.2/11

总体评价

(共0票) 评价

索书号

条码号

年卷期

馆藏地

排架号

书刊状态

流通类型

流通状态

课程名称

教师

院系

删除

南昌职业大学图书馆书目检索