图书介绍
胡世华文集PDF|Epub|txt|kindle电子书版本网盘下载
- 胡世华著 著
- 出版社： 北京：科学出版社
- ISBN：7030213912
- 出版时间：2008
- 标注页数：776页
- 文件大小：41MB
- 文件页数：796页
- 主题词：胡世华－文集；数理逻辑－文集
PDF下载
下载说明
胡世华文集PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
1 论人造的语言＆胡世华1
2 命题演算之所指＆胡世华21
3 再现算术新系统及其逻辑常词——再现算术RA系统的构造＆胡世华43
4 理论对象＆胡世华53
5 m-VALUED SUB-SYSTEM OF（m＋n）-VALUED PROPOSITIONAL CALCULUS＆TZU-HUA HOO60
6 一个？0值命题演算的构造＆胡世华65
7 四值命题演算与四色问题＆胡世华 陈强业80
8 ？0值命题演算的有穷值的具有函数完全性的子系统＆胡世华83
9 一种递归式的原始递归性＆胡世华96
10 数理逻辑是应该重视的一门科学＆胡世华104
11 电子计算机及一些有关的理论问题＆胡世华107
12 数理逻辑的性质、特点、作用及其成果的哲学意义＆胡世华 吴光磊122
13 控制论中的哲学问题＆胡世华123
14 数理逻辑的基本特征与科学意义＆胡世华124
15 关于古典演绎逻辑的几个问题＆胡世华154
16 一般递归函数的范式＆胡世华 陆钟万167
17 高速度发展我国数理逻辑事业——在中国数学会第二次全国代表大会上的发言＆胡世华180
18 关于开展控制论问题研究的意见＆胡世华193
19 讯息加工和计算机的数学理论＆胡世华196
20 关于计算机理论和讯息加工机器的研究的一些意见＆胡世华198
21 略论数理逻辑的发生、发展和现状＆胡世华204
22 递归算法论＆胡世华213
23 核函数与递归函数的范式＆胡世华218
24 电子计算机＆胡世华220
25 递归算法＆胡世华223
26 核函数＆胡世华 陆钟万244
27 递归函数的范式＆胡世华253
28 加法和乘法＆胡世华 黄祖良259
29 对于数理逻辑和计算技术的一些看法（代序）＆胡世华266
30 多种类递归算法＆胡世华271
31 古典谓词演算＆胡世华283
32 控制论的发展＆胡世华324
33 关于原始递归性＆胡世华 杨东屏332
34 如何描述程序语言＆胡世华343
35 作为现代逻辑学的数理逻辑——在逻辑学讨论会上的讲话＆胡世华368
36 关于我国计算机事业的发展问题——1979年计算机学会年会上的书面发言＆胡世华373
37 质和量的对立统一与数学＆胡世华376
38 数学、数学基础理论的发展与人和计算机的分工协同问题＆胡世华384
39 自然辩证法的研究范围和社会责任＆胡世华390
40 胡世华同志三月十五日在业务工作会议上的发言391
41 数理逻辑基础＆胡世华393
《数理逻辑基础》出版说明395
绪论章396
第一章 演绎逻辑的基本规则420
第二章 逻辑演算的系统特征487
第三章 数学底逻辑541
第四章 重言式621
第五章 一致性与完全性638
42 计算机对数学的影响＆胡世华660
43 计算所的调整问题＆胡世华665
44 数理哲学中的形式主义和柏拉图主义＆胡世华670
45 关于计算所体制调整的意见＆胡世华678
46 关于发展我国计算机事业的意见＆胡世华685
47 对科学和科学研究的一些看法＆胡世华687
48 计算机的分“代”和我国的“对策”问题＆胡世华690
49 对哲学工作的意见＆胡世华694
50 数理逻辑＆胡世华697
51 数学基础＆胡世华704
52 信息时代的数学＆胡世华709
53 关于数学哲学的研究＆张凭 张祖贵 孙小礼717
54 递归结构＆胡世华721
55 递归结构理论的形式系统和语句的可判定性＆胡世华741
56 数学问题的可解决性＆胡世华756
57 数学与计算机科学＆胡世华766
58 含任意m-值命题演算系统的统一结构＆胡世华 王驹 程庆文767
后记776