集合论-一流百科

集合论

集合论集合论是研究集合的数学逻辑的一个分支，集合可以非正式地描述为对象的集合。虽然任何种类的对象都可以被收集到一个集合中，但集合论作为数学的一个分...

词条百科

有序对

什么是有序对在数学中，有序对（a，b）是一对对象。有序对（a，b）与有序对（b，a）是不同的，除非a=b。（相反，无序对{a，b}等于无序对{b，a}）。有序对也被...

词条百科

函数类型

函数类型在计算机科学和数理逻辑中，函数类型（或箭头类型或指数）是指一个函数已经或可以被分配到的变量或参数的类型，或者是一个高阶函数获取或返回函数的...

词条百科

集合理论

集合理论门户网站集合理论是数理逻辑的一个分支，研究集合，可以非正式地描述为对象的集合。尽管任何类型的对象都可以被收集到一个集合中，但集合论作为数学...

词条百科