搜索结果: 1-11 共查到“set theory”相关记录11条 . 查询时间(0.078 秒)
昆明理工大学理学院概率论与数理统计课件Chapter 0 An Introduction to Set Theory
昆明理工大学理学院 概率论与数理统计 课件 Chapter 0 An Introduction to Set Theory
font style='font-size:12px;'>
2017/4/17
昆明理工大学理学院概率论与数理统计课件Chapter 0 An Introduction to Set Theory.
Paraconsistent Quasi-Set Theory
paraconsistent logic quasi-set theory indistinguishable quanta quantum physics
font style='font-size:12px;'>
2016/5/30
Paraconsistent logics are logics that can be used to base inconsistent but non-trivial systems. In paraconsistent set theories, we can quan- tify over sets that in standard set theories (that are base...
Descriptive set theory and uncountable model theory
Descriptive set theory uncountable model theory
font style='font-size:12px;'>
2015/9/25
In the early days of the development of model theory it was considered
natural and was certainly beneficial to assume that the theories under investigation
were in a countable language. The primary ...
Derived rules for predicative set theory: an application of sheaves
predicative set theory application of sheaves
font style='font-size:12px;'>
2010/12/8
We show how one may establish proof-theoretic results for constructive Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and the Bar Induction rule for Baire space, by constru...
基于粗糙集的烤烟烟叶智能分级方法（Intelligent Grading of Flue-cured Tobacco Leaves Based on Rough Set Theory）
烤烟烟叶 分级 化学指标
font style='font-size:12px;'>
2009/8/11
针对烤烟烟叶的分级问题，提出了一种基于粗糙集理论的智能分级方法。为了适应烟叶分级的特点，将粗糙集理论予以扩展和改进，给出了相应的离散化和属性约简算法。同时构造了烟叶分组、分级的二级推理模型，以实现合理粒度的知识获取。通过烟叶的化学指标进行“部位”和“颜色”上的并行分组，可得到各自的推理规则以及影响指标和相应的重要度。在规则推理获得烟叶的分组后，借助所有化学指标的重要度进行多属性决策判定得到烟叶的分...
Applying Notions and Methods of Fuzzy Set Theory to Analysis of Microstructure of Cotton Fracture
cotton fibres fibre fracture microstructure maturity fuzzy set theory SEM images.
font style='font-size:12px;'>
2009/2/12
The degree of cotton maturity is a significant parameter characterising the properties of a fibre. Many textile properties depends on the degree of cotton maturity. A frequently applied method for det...
Logical and Philosophical Remarks on Quasi-Set Theory
quasi-sets logic of quantum mechanics identity
font style='font-size:12px;'>
2008/4/22
Quasi-set theory is a theory for dealing with collections of indistinguishable objects. In this paper we discuss some logical and philosophical questions involved with such a theory. The analysis of t...
How Set Theory Impinges on Logic
Models set-theoretical universe infinite
font style='font-size:12px;'>
2008/4/14
Standard (classical) logic is not independent of set theory. Which formulas are valid in logic depends on which sets we assume to exist in our set-theoretical universe. Second-order logic is just set ...
Set Theory Page
Theory Page
font style='font-size:12px;'>
2008/1/14
Presents a directory of Web sites pertaining to set theory, compiled by Luis E. Sanchis. Links to resources on bounded, constructive,and operational set theory. Offers access to sites on programming w...
Research on the CPA Audit Independence Risk Assessment Based on the Rough Set Theory
rough set theory audit independence risk assessment mode
font style='font-size:12px;'>
2007/7/4
The assessment mode of the CPA audit independence risk based on the Rough Set Theory is a risk assessment method and using the Analytical Hierarchy Process, whose aim is to solve the bid management in...
Review of Peter Castine's Set Theory Objects: Abstractions for Computer-Aided Analysis and Composition of Serial and Atonal Music
atonality computers set theory serialism Castine
font style='font-size:12px;'>
2010/4/21
Set Theory Objects explores the process of developing a computer program for assisting in the composition and analysis of post-tonal music. The author surveys the set-theoretical literature, and deals...