确定
- [图书] 面向计算机科学的数理逻辑
- 作者：陆钟万著
- 出版社：科学出版社
- 出版日期：2002
- ISBN：7-03-009657-6
- 内容简介：本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑
- 丛书名：中国科学院研究生教学丛书
- 所属馆：
- 获取途径：
- [图书] 麦卡锡函数和阿克曼函数
- 作者：刘培杰,康大臣编著
- 出版社：哈尔滨工业大学出版社
- 出版日期：2012
- ISBN：978-7-5603-3720-3
- 内容简介：本书从一道南斯拉夫数学奥林匹克试题谈起，介绍了麦卡锡函数、阿克曼函数及递归函数。
- 丛书名：《数学中的小问题大定理》丛书
- 所属馆：
- 获取途径：
- [图书] 烧脑的逻辑题 surprising and rewarding puzzles to sharpen your mind
- 作者：(英)亚历克斯·贝洛斯(Alex Bellos)著；胡小锐译
- 出版社：中信出版集团股份有限公司
- 出版日期：2021
- ISBN：978-7-5217-2745-6
- 内容简介：本书收录了阿基米德牛群问题、求生问题、几何问题、字母谜题、概率问题等多种逻辑题，将不断挑战你的智力极限，你需要开动脑筋，运用逻辑思维，才能揭开谜题的真相。
- 所属馆：
浙江图书馆 杭州图书馆 临平区图书馆 临安图书馆 临安图书馆分馆 淳安图书馆 温州市图书馆 瑞安市图书馆 苍南县图书馆 洞头区图书馆 湖州市图书馆 南浔区图书馆 吴兴区图书馆 平湖市图书馆 台州市椒江区图书馆 遂昌县图书馆 青田县图书馆 东阳市图书馆 海宁市图书馆 嵊州市图书馆 临海市图书馆 丽水市莲都区图书馆 浦江县图书馆 更多 +
- 获取途径：