安徽科技学院图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:已编 文献类型:中文图书 浏览次数:12

题名/责任者:
数理逻辑/张再跃, 张晓如编著
出版发行项:
北京:清华大学出版社,2013
ISBN及定价:
978-7-302-33102-5/CNY23.00
载体形态项:
135页;26cm
个人责任者:
张晓如 编著
个人责任者:
张再跃 编著
学科主题:
数理逻辑-高等学校-教材
中图法分类号:
O141
一般附注:
中国高等学校计算机科学与技术专业(应用型)规划教材/陈明主编
提要文摘附注:
本书在内容组织上包括集合论基础知识、可计算性理论基础知识和经典数理逻辑3个部分,其中集合论基础部分着重介绍可数集与不可数集的概念,并运用集合的基数以及基数的比较等有关知识,阐述“无穷可比”的思想;可计算性理论基础部分以递归函数、图灵计算和理想计算机为对象,从多个角度给出“计算”概念的精确描述;经典逻辑部分包括命题逻辑和谓词逻辑等。
全部MARC细节信息>>
索书号 条码号 年卷期 校区—馆藏地 书刊状态
O141/24 S2353487   总馆—自然书库(凤阳)     可借
O141/24 S2353488   总馆—自然书库(凤阳)     可借
O141/24 S2353489   总馆—自然书库(凤阳)     可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架