اصطلاح مرجح
تایپ
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
مفهومهای اخص
مفهومهای وابسته
- اشباع بازگشتی
- اصل تعویض
- بعد
- پیش هندسه مدولی موضعی
- تایپ ایستا
- تایپ تعریفپذیر
- تایپ قوی
- تایپ منظم
- جازمیت
- حذف فراموهومات
- حذف موهومات
- درجه مورلی
- رتبه
- رتبه مورلی تایپ
- رستهای ناشمارا
- ساختار اشباع
- غیر فورکینگ
- فرمول
- فرمول پایدار
- فورکینگ
- قضیه جازمیت
- قضییه ریل- ناردوسکی
- کلا رستهای
- مدل اشباع
- مدل غولپیکر
- نظریه پایدار
- نظریه تکپایهای
- نظریه فوق پایدار
- نظریه قویمینیمال
- نظریه کلا متعالی
- هندسه) نظریه پایداری)
اصطلاحهای نامرجح
-
نوع
در زبان های دیگر
type
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007640