中图网文创礼盒,买2个减5元
欢迎光临中图网 请 | 注册

信息、算法与编码

作者:陆宏
出版社:南京大学出版社出版时间:2020-03-01
开本: 26cm 页数: 244页
本类榜单:社会科学销量榜
中 图 价:¥45.1(8.2折) 定价  ¥55.0 登录后可看到会员价
加入购物车 收藏
运费6元,满69元免运费
?快递不能达地区使用邮政小包,运费14元起
云南、广西、海南、新疆、青海、西藏六省,部分地区快递不可达
本类五星书更多>

信息、算法与编码 版权信息

信息、算法与编码 内容简介

本书是数学与应用专业基础课教材, 同时面向本校各专业。不同于一般信息论教材, 本书从理论计算机编码、算法的角度去看信息, 讲述如何建立模型来研究信息, 如何编码、如何找到算法。因此从数理逻辑、可计算分析、算法信息三个方向入手, 循序渐进地把数学、计算机中处理信息的思想揭示出来。在此基础上讲解了关于通信的香农信息论。

信息、算法与编码 目录

**部分 信息、算法与编码在数理逻辑中
§0.1 数理逻辑简介
**章 可计算性函数
§1.1 算法和能行过程的直观含义(非数学定义)
§1.2 计算机模型——无界存储机URM
§1.3 URM-可计算性函数
§1.4 可判定谓词及可判定问题
第二章 生成可计算性函数
§2.1 生成可计算性函数
§2.2 原始递归函数
第三章 丘奇论题
§3.1 图灵机
§3.2 丘奇论题定义及应用
第四章 哥德尔编码
§4.1 URM程序的编码
§4.2 可计算函数的编码
§4.3 s-m-n定理
§4.4 “好”的编码(一)
§4.5 范式定理
第五章 一些重要结果
§5.1 通用函数及通用计算机
§5.2 哥德尔不完全性定理(简单化)
§5.3 P与NP问题
§5.4 “好”的编码(二)
§5.5 加速定理(thespeed-uptheorem,Blum)
第六章 可判定问题、递归、规约及度
§6.1 可判定,不可判定
§6.2 部分可判定
§6.3 递归及递归可枚举集
§6.4 多一规约
§6.5 图灵(Turing)规约
§6.6 小结:复杂事物的编码

第二部分 信息、算法与编码在可计算分析中
第七章 可计算分析的背景、TTE的轮廓
§7.1 研究背景
§7.2 TTE体系的轮廓
第八章 康托(Cantor)空间上的可计算性
§8.1 T2-机器及可计算性
§8.2 可计算串函数是连续的
§8.3 连续串函数集的标准表示
第九章 “好”的命名系统
第十章 R上的可计算性

第三部分 算法信息
第十一章 实数函数的计算复杂性
……

第四部分 信息论

参考文献
展开全部

信息、算法与编码 作者简介

陆宏,博士,南京大学数学系副教授,研究方向是可计算性理论,曾参加多项国家自然科学基金重点项目和面上项目,发表多篇sci文章。

商品评论(0条)
暂无评论……
书友推荐
本类畅销
编辑推荐
返回顶部
中图网
在线客服