大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » 胡世华文集
名称 胡世华文集
索引号 O141-53/20091
分类号 O141-53
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 胡世华、
出版社 北京 : 科学出版社, 2008
ISBN 978-7-03-021391-4
页数 775页, [3] 叶图版 : 图, 肖像 ; 30cm
价格 精装
标签
简介
注解 有书目 本文集主要介绍了数理逻辑基础，数理逻辑与计算机科学方面的学术论文，关于数学与计算机科学的意见和看法，哲学与数学。
书籍简介

本集内容主要有三个领域：逻辑演算、递归函数论、科学哲学，共收入58篇文章。1943年发表的“论人造的语言”仔细地介绍并解释了一阶谓词演算。《数理逻辑基础》着重介绍了直观的自然推理的证明格式，这次出版的是胡世华1957年讲稿的原稿，只对其中明显的文字上的不适当之处作了修改。文集编进了多篇多值逻辑、递归函数论的文章，还有论述数理逻辑对计算机发展的重要作用以及这两学科间的关系的文章。有几篇文章是未曾发表过的，如《计算机的分“代”和我国的“对策”问题》等。...