现代逻辑丛书

出版社: 
中国社会科学出版社
册数:  6

简介　· · · · · ·　

现代逻辑内容很丰富，特别是符号逻辑或称数理逻辑，包括几个分支，如：逻辑演算，集合论，模型论，递归论，证明论等。在古典逻辑演算以外，近年来模态逻辑有了很大的发展，他又被称作这学逻辑。 符号逻辑不仅内容丰富，还和许多学科如哲学、数学、计算机科学、语言学及心理学等有联系，影响及于这些学科，有些影响甚至是带根本性的。 我国大学的逻辑专业，计算机专业，数学专业，哲学专业等，都开设和符号逻辑有关的课程。 但是，这方面介绍性的书籍和教材在国内还不多见。本丛书的目的是提供一批叙述简明易懂和不需要较多数学知识的入门型书... (全部)
1人
按收藏人数排序 / 按出版时间先后排序

  • 一阶逻辑和一阶理论 : 现代逻辑丛书

    叶峰编著、叶峰 / 中国社会科学出版社 / 1994.1
    8.5 (25人评价)

    本书的内容属数理逻辑的基础部分。前三章的主题是一阶逻辑：第一、二章分别讲述一阶语言的语法、语义；第三章介绍一个一阶推理系统，并证明了它的语义完全性。一阶逻辑...

  • 递归论导论

    郭世铭 / 中国社会科学出版社 / 1998-1 / 11.00
    8.9 (18人评价)

  • 逻辑演算 : 现代逻辑丛书

    刘壮虎 / 中国社会科学出版社 / 1993年 / 9.00
    7.9 (15人评价)

  • 模态逻辑 : 现代逻辑丛书

    周北海 / 中国社会科学出版社 / 1996 / 11.00
    (少于10人评价)

  • 西方形式逻辑史

    宋文坚 / 中国社会科学出版社 / 1991 / 6.70元
    (少于10人评价)

    本书主要是阐述传统形式逻辑和现代形式逻辑的发展史,从古希腊写起,全面介绍了亚里士多德逻辑、中世纪逻辑和近代及现代逻辑,特别是介绍了现代逻辑的诸多代表人物

  • 集合论导引 : 现代逻辑丛书

    晏成书 / 中国社会科学出版社 / 1994 / 7.6
    (少于10人评价)

    集合论导引 作者:晏成书著　页数:171 * 【作　者】晏成书著 * 【丛书名】现代逻辑丛书 * 【形态项】 171 ; 20cm * 【读秀号】00000...

贡献者: 斯宾诺莎的镜片