胡世华文集
出版社：科学出版社
年代：2008
定价：150.0
书籍简介:
数理逻辑基础：介绍数理逻辑的基础知识，包括逻辑演算的基本内容，与1981年出版的书有所不同。数理逻辑与计算机科学方面的学术论文：论人造的语言，命题演算之所指，一个0值命题演算的构造，四值命题演算与四色问题，0值命题演算的有穷值的具有函数完全性的子系统，一种递归式的原始递归性，一般递归函数的范式，递归算法论，核函数与递归函数的范式，多种类递归算法，古典谓词演算，关于原始递归性，如何描述程序语言，递归结构，递归结构理论的形式系统和语言的可判定性等。关于数学与计算机科学的意见和看法：数理逻辑是应该重视的一门科学，电子计算机及一些有关的理论问题，数理逻辑的基本特征与科学意义，关于开展控制论问题研究的意见，讯息加工和计算机的数学理论，略论数理逻辑的发生、发展和现状，对于数理逻辑和计算机技术的一些看法，作为现代逻辑学的数理逻辑，关于我国计算机事业的发展问题，数学、数学基础理论的发展与人和计算机的分工协同问题，计算机对数学的影响，计算机的分“代”和我国的“对策”问题，信息时代的数学，数学与计算机科学等。哲学与数学：控制论中的哲学问题，质和量的对立统一与数学，自然辩证法的研究范围和社会责任，数理哲学中的形式主义和柏拉图主义，对哲学工作的意见，关于数学哲学的研究等。
书籍目录:
序
怀念胡世华先生
纪念胡世华先生
我所知的胡世华先生
纪念胡世华先生
纪念胡世华老师
半世纪前的往事
1论人造的语言
2命题演算之所指
3再现算术新系统及其逻辑常词再现算术RA系统的构造
4理论对象
5m-VALUEDSUB-SYSTEM0F(m+n)-VALUEDPROPOSITIONALCALCULUS
6一个■值命题演算的构造
7四值命题演算与四色问题
8■值命题演算的有穷值的具有函数完全性的子系统
9一种递归式的原始递归性
10数理逻辑是应该重视的一门科学
11电子计算机及一些有关的理论问题
12数理逻辑的性质、特点、作用及其成果的哲学意义
13控制论中的哲学问题
14数理逻辑的基本特征与科学意义
15关于古典演绎逻辑的几个问题
16一般递归函数的范式
17高速度发展我国数理逻辑事业一在中国数学会第二次全国代表大会上的发言
18关于开展控制论问题研究的意见
19讯息加工和计算机的数学理论
20关于计算机理论和讯息加工机器的研究的一些意见
21略论数理逻辑的发生、发展和现状
22递归算法论
23核函数与递归函数的范式
24电子计算机
25递归算法
26核函数
27递归函数的范式
28加法和乘法
29对于数理逻辑和计算技术的一些看法(代序)
30多种类递归算法
31古典谓词演算
32控制论的发展
33关于原始递归性
34如何描述程序语言
35作为现代逻辑学的数理逻辑在逻辑学讨论会上的讲话
36关于我国计算机事业的发展问题1979年计算机学会年会上的书面发言
37质和量的对立统一与数学
38数学、数学基础理论的发展与人和计算机的分工协同问题
39自然辩证法的研究范围和社会责任
40胡世华同志三月十五日在业务工作会议上的发言
41数理逻辑基础
《数理逻辑基础》出版说明
绪论章
第一章演绎逻辑的基本规则
第二章逻辑演算的系统特征
第三章数学底逻辑
第四章重言式
第五章一致性与完全性
42计算机对数学的影响
43计算所的调整问题
44数理哲学中的形式主义和柏拉图主义
45关于计算所体制调整的意见
46关于发展我国计算机事业的意见
47对科学和科学研究的一些看法
48计算机的分“代”和我国的“对策”问题
49对哲学工作的意见
50数理逻辑
51数学基础
52信息时代的数学
53关于数学哲学的研究
54递归结构
55递归结构理论的形式系统和语句的可判定性
56数学问题的可解决性
57数学与计算机科学
58含任意m-值命题演算系统的统一结构
后记
内容摘要:
本文集是胡世华先生的数理逻辑文集，书中编进了多篇多值逻辑、递归函数论的文章，还有论述数理逻辑对计算机发展的重要作用以及这两学科间的关系的文章。有几篇文章是未曾发表过的，如《计算机的分“代”和我国的“对策”问题》等。 本集内容主要有三个领域：逻辑演算、递归函数论、科学哲学，共收入58篇文章。1943年发表的“论人造的语言”仔细地介绍并解释了一阶谓词演算。《数理逻辑基础》着重介绍了直观的自然推理的证明格式，这次出版的是胡世华1957年讲稿的原稿，只对其中明显的文字上的不适当之处作了修改。文集编进了多篇多值逻辑、递归函数论的文章，还有论述数理逻辑对计算机发展的重要作用以及这两学科间的关系的文章。有几篇文章是未曾发表过的，如《计算机的分“代”和我国的“对策”问题》等。
添加好友请备注(图书代寻_9787030213914)