确定
- [图书] 可数Sofic群的等距线性作用的维数
- 作者：荣祯
- 出版社：哈尔滨工业大学出版社
- 出版日期：2023
- ISBN：978-7-5767-0634-5
- 内容简介：本书共四章。第1章介绍了顺从群和剩余有限群，第2章介绍了Surjunctive群和Sofic群，第3章介绍了Voiculescu维数，第4章介绍了可数Sofic群的等距线性作用的维...
- 所属馆：
- 获取途径：
- [图书] 速查! 数学大百科事典: 127 个公式 定理 法则
- 作者：?本贵文
- 出版社：旗标
- 出版日期：2021
- ISBN：9789863126683
- 所属馆：
- 获取途径：
- [图书] 赖爸爸的数学实验: 12堂生活数感课
- 作者：赖以威
- 出版社：远流
- 出版日期：2021
- ISBN：9789573291459
- 丛书名：科學少年叢書
- 所属馆：
- 获取途径：
- [图书] 数学的统一性 珍藏版
- 作者：(英)M.F. 阿蒂亚著袁向东等编译
- 出版社：大连理工大学出版社
- 出版日期：2021.1
- ISBN：978-7-5685-2933-4
- 内容简介：本书选编了阿蒂亚关于拓扑学、大范围几何、纯粹数学的历史及发展方向等方面的文章。此外还包括阿蒂亚的访问记、阿蒂亚对自己数学工作的总结以及他关于其他学科对数学的影响等的论述。通过本书,...
- 丛书名：数学家思想文库
- 所属馆：
- 获取途径：
- [图书] 编程原本
- 作者：(美)亚历山大·斯特潘诺夫(Alexander Stepanov)，保罗·麦克琼斯(Paul McJones)著；裘宗燕译
- 出版社：人民邮电出版社
- 出版日期：2019
- ISBN：978-7-115-49351-4
- 内容简介：本书将严格的数学定义、公理化和演绎方法应用于程序设计，讨论程序与保证它们正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些规程写出的算法，以及描述算法性质的引理和定理一起...
- 丛书名：计算机科学经典译丛
- 所属馆：
浙江图书馆 嘉兴市图书馆 宁波图书馆 宁波市奉化区图书馆 温州市图书馆 温州市龙湾区图书馆 乐清市图书馆 台州市图书馆 临海市图书馆 绍兴市柯桥区图书馆 绍兴市越城区图书馆 更多 +
- 获取途径：
- [图书] 数字对称数的二次幂 第一分册
- 作者：丁德龙[等]著
- 出版社：南方日报出版社
- 出版日期：2016
- ISBN：978-7-5491-1382-8
- 内容简介：本书共分7章，内容包括：“数字对陈数(即回文数)的定义” 、“梯形数——从三角形数到梯形数”、“数字对称数的二次幂是数字对称数的判定”等。
- 丛书名：回文数的乘方丛书
- 所属馆：
- 获取途径：
- [图书] 117个多项式问题 来自AwesomeMath夏季课程/from the AwesomeMath summer program
- 作者：(美)蒂图·安德雷斯库(Titu Andreescu)，(伊朗)纳维德·萨法伊(Navid Safaei)，(意)亚历山德罗·文图洛(Alessandro Ventullo)著隋振林译
- 出版社：哈尔滨工业大学出版社
- 出版日期：2021
- ISBN：978-7-5603-9648-4
- 内容简介：本书介绍了多项式的表示方法及相关的符号用法，介绍了因式分解恒等式，GCD的概念，复合、根的类型以及中值定理等基础知识，同时还精心筛选了117个问题，且每一题都给出了详细的解答，有些...
- 丛书名：美国著名奥数教练蒂图·安德雷斯库系列丛书
- 所属馆：
- 获取途径：
- [图书] 吴文俊全集 mechanical theorem proving in geometries: basic principles Ⅱ/II 数学机械化卷/Mathematics mechanization
- 作者：吴文俊著；高小山编订
- 出版社：科学出版社
- 出版日期：2019
- ISBN：978-7-5088-5551-6
- 内容简介：本书共分六章，前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4、5章分别为（常用）无...
- 所属馆：
- 获取途径：
- [图书] 吴文俊全集 Mathematics mechanization: machanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving Ⅰ/I 数学机械化卷/Mathematics mechanization
- 作者：吴文俊著
- 出版社：科学出版社
- 出版日期：2019
- ISBN：978-7-5088-5550-9
- 内容简介：本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述，试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。
- 所属馆：
- 获取途径：