吴文俊全集(数学机械化卷Ⅱ)(精)

正版新书新华官方库房直发可开电子发票

118.5 7.5折 158 全新

库存6件

江苏无锡

认证卖家担保交易快速发货售后保障

作者作者:吴文俊

出版社龙门书局

ISBN9787508855516

出版时间2019-05

装帧精装

纸张胶版纸

定价158元

货号ZJ:9787508855516

上书时间2024-09-19

已实名已认证进店收藏店铺

商品描述: 内容简介:
    本卷收录了吴文俊的Mechanical Theorem Proving in Geometries:Basic Principles 一书。书中论述初等几何机器证明的基本原理, 证明了奠基于各种公理系统的各种初等几何, 只需相当于乘法交换律的某一公理成立, 大都可以机械化。因此在理论上, 这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。
    全书共分六章。前两章是关于几何机械化的预备知识, 集中介绍了常用几何; 后四章致力于几何的机械化问题。第3 章为几何定理证明的机械化与Hilbert 机械化定理, 第4, 5 章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理, 第6 章阐述各种几何的机械化定理。
    本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。

— 没有更多了 —