计算机、逻辑和集合论徐书润

  • 选择标签:数理化
  • 出版时间:2025-09-14
  • ISBN:9787309107104
  • 出版社:复旦大学出版社
  • 作者:郝兆宽, 杨跃, 著
本书是“逻辑与形而上学教科书”中的一本。书中全面介绍了集合论这一数理逻辑的重要领域,共有集合与公理;关系与函数,实数的构造,基数,滤、理想与无界闭集,集合的宇宙,可构成集,力迫等9章内容;除了讨论集合论的基本概念,还讨论了、可构成集、力迫法等现代内容,同时还讨论了与连续统假设相关的重大哲学问题。
点赞(0)