اصطلاح مرجح
model
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
مفهومهای اخص
- atomic diagram
- atomic model
- canonical model
- chain of models
- decision model
- generic model
- Henkin constuction
- homogeneous model
- Lowenheim-Skolem theorem
- model complete theory
- monster model
- non-standard model
- Ryll-Nardzewski theorem
- saturated model
- skolemisation of a model
- Tarski-Vaught theorem
- type
- ultraproducts of models
- Vaught test
مفهومهای وابسته
در زبان های دیگر
مدل
Persian
URI
http://www.irandoc.acir/onto/irandoc/MAT0007671