lzth.net
当前位置:首页 >> 集合论语言 >>

集合论语言

求集合论经典书?如果只是想了解一下集合论是怎么回事,搞清楚集合论语言:Krzysztof Ciesielski, Set Theory for the Working Mathematician (Cambridge University Pr

什么是集合论,集合究竟指什么的集合?在大多数现代数学的公式化中,集合论提供了要如何描述数学物件的语言。集合论和逻辑与一阶逻辑共同构成了数学的公理化基础,以未

为什么要引入集合?其有何用处和优点?反正我本人最开始接触这个定理的证明时,就是通过用集合的语言绕过了很绕的逻辑从而学会的。第二个

集合论和一阶逻辑的关系是什么?这是一组一阶集合论语言(这是一种一阶逻辑语言。也有其他形式语言中的公理化集合论,如NBGhttp://en

集合论为什么被称为数学的基础?数系的构造都要用集合论 但各种集合论却不局限于此

集合论的起源应该说,他是康托尔集合论的先驱。问题出现 黎曼(1826-1866)是在1854年的就职论文《关于用三角级数表示函数的可能性》中首次提出“唯一性问题

集合论是谁提出的?在大多数现代数学的公式化中,集合论提供了要如何描述数学物件的语言。集合论和逻辑与一阶逻辑共同构成了数学的公理化基础,以未

学习集合论有什么中文教材推荐?你这反了,先学数理逻辑,再学集合论。 一般来讲我们学的集合论都是公理集合论,你没必要急于求成,想看中文的可以看的也不少,北京大学刘壮虎

数理逻辑和集合论哪个更基本 ?集合论的内涵在由自然语言的集合论向形式化的集合论过渡的过程中被保留下来了,哲学上说它们能够证明的

有什么超简单集合论入门教材?一阶逻辑对于集合论来说其实大材小用了,读集合论的时候只要能把证明用相对形式化的语言写出来就足够,

4585.net | 2639.net | pznk.net | sgdd.net | ceqiong.net | 网站首页 | 网站地图
All rights reserved Powered by www.lzth.net
copyright ©right 2010-2021。
内容来自网络,如有侵犯请联系客服。zhit325@qq.com