Coq Formalization of ZFC Set Theory for Teaching Scenarios.
Xinyi WanKe XuQinxiang CaoPublished in: Int. J. Softw. Informatics (2023)
Keyphrases
- set theory
- partial order
- first order logic
- fuzzy set theory
- rough sets
- fuzzy sets
- mathematical morphology
- algebraic geometry
- e learning
- rough set theory
- knowledge representation
- learning environment
- higher education
- theorem prover
- formal methods
- artificial intelligence
- image analysis
- denoising
- natural images
- image processing
- case based reasoning
- probability distribution
- machine learning
- probability theory
- data mining
- neural network