数学丛书.-. 现代数学基础丛书 . 递归函数论

项武义

lgli/D:\!genesis\library.nu\c7\_302807.c7c09e0b34e327341fd4e1bae5754950.pdf Leer más…

叶向东, 黄文, 邵松著; 叶向东; 黄文; 邵松

Ben shu bu jin xi tong jie shao le tuo pu dong li xi tong de ji ben gai nian he jie guo, Er qie bao han le jin nian lai ben ling yu de zui xin jin zhan, Quan shu bao kuo tuo pu dong li xi tong ji chu, Bian li lun ji chu, Deng du lian xu xing yu Ellis ban qun li lun, Zu yu ruo bu jiao, Shang, Shang yu ju bu hua, Xu lie shang yu ju bu hua, Chuan di xi tong de fen lei, Bu jiao xing yi ji hun dun deng 10 zhang Leer más…

裘光明等 数学辞海编辑委员会

Shu Xue Ci Hai Bian Ji Wei Yuan Hui Bian. Includes Bibliographical References And Indexes. 《数学辞海》编辑委员会编. Leer más…

杜卡莫 (作者), 田畴 (译者), 等 (译者)

本书详细讲解了曲线和曲面微分几何学, 广泛应用线性代数基础知识, 强调了基本的几何事实. 内容包括:曲线, 正则曲面, 曲面的内蕴几何学, 整体微分几何学 Leer más…

G. G. 洛伦茨 谢庭藩 施咸亮

lgli/_330610.3aa9a7dcebbba86cb245e9d7c57b762c.pdf Leer más…

陈亚浙等著

lgrsnf/_401448.54671a667185741d202e8d123542a957.pdf Leer más…

刘仲奎, 乔虎生著; 刘仲奎; 乔虎生

《现代数学基础丛书·典藏版105:半群的S-系理论(第2版)》介绍了半群S—系理论的基础知识及新研究成果。全书共分8章,其中第1章是必要的概念及准备,第2、3两章分别讨论投射系和内射系,第4~6章讨论和平坦性有关的问题,第7章讨论正则系,第8章讨论序S—系。《现代数学基础丛书·典藏版105:半群的S-系理论(第2版)》在版的基础上修订再版,增加了有关序S—系、Rees商系和弱形式的拉回平坦系等方向的部分研究成果。《现代数学基础丛书·典藏版105:半群的S-系理论(第2版)》力求简明扼要,便于阅读,可作为数学专业研究生的教材,也可作为数学研究工作者的参考用书。 Leer más…

张锦文

lgrsnf/_432190.5bbf233df52644619cda307491b86a95.pdf Leer más…

沈百英著

第1章 有关概念的非形式描述 1.1 自然数,数变元,数论函数 1.2 函数的定义 1.3 递归算术作为方程演算的语法刻划 1.4 证明的推理根据的书写方式 1.5 公理与规则的分类 1.6 规则的强弱解释 第2章 基础系统 2.1 基础系统的描述 2.2 基础系统中的推理 2.3 基础系统的化归 第3章 第一类纯递归式递归算术F1(系统A0V 3.1 递归算术F1的构成 3.2 关于二元常函数N的性质 Leer más…

王竹溪, 郭敦仁

本书系统地介绍了一些主要的特殊函数, 如超几何函数, 勒让德函数, 合流超几何函数, 贝塞耳函数, 椭圆函数, 椭球谐函数等, 同时也阐明了一些在讨论特殊函数时常用的概念和理论 Leer más…

(美)阿尔伯特.h.贝勒(Albert H. Beiler)著 ; 谈祥柏译; 贝勒; Albert H Beiler; 谈祥柏

据多佛出版社1964年第1版译出 Leer más…

郝兆宽, 杨跃著; 郝兆宽; 杨跃

Ben shu jie shao le ji he lun de ji chu zhi shi, Gong you ji he yu gong li, Guan xi yu han shu, Shi shu de gou zao, Ji shu, Lü, Li xiang yu wu jie bi ji, Ji he de yu zhou, Ke gou cheng ji, Li zhui deng 9 zhang nei rong;Hai tao lun le ke gou cheng ji, Li po fa deng xian dai nei rong, Tong shi hai tao lun le yu lian xu tong jia she xiang guan de yi xie zhe xue wen ti. Leer más…

郝兆宽 等

本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中,读者可以找到递归论中经典的构造技巧——尾节扩张(算术力迫)和有穷损害优先方法。第五章简单介绍了递归论的当前热点——算法随机性理论的基本概念,其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材,以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递归论的基本概念与技巧。 书名:递归论:算法与随机性基础(逻辑与形而上学教科书系列) 简介: 作者:郝兆宽 等 出版社:复旦大学出版社 出版时间:2018年10月 装订方式:平装-胶订 分类:教材|研究生/本科/专科教材|工学图书|计算机/网络|程序设计|算法 Leer más…

陈家声, 徐惠芳编著; 陈家声; 徐惠芳

lgrsnf/中学生文库15-递归数列-陈家声.pdf Leer más…

伍鸿熙, 以辇·吕, 志华·陈 (数学)

本书主要讨论紧黎曼曲面,中心是Riemann-Roch定理的证明及其应用。 Leer más…