اصطلاح مرجح
قوت زبان
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
مفهومهای وابسته
- آزمون وات
- استنتاج
- اصلی
- بسط ساختار
- پارادکس
- تابع اسکولم
- تایپ تعریفپذیر
- تناقض
- جبر رابطهای
- حدس
- ردهبندی ساختارهای مرتبهاول
- زیرساخت بسته
- زیرساخت مقدماتی
- زیرساخت هم پایان
- شرط
- فرض
- فورکینگ
- قضیه تارسکی-وات
- قضیه جازمیت
- قضیه ناتمامیت گودل
- مثال نقض
- مدل همگن
- معنا شناسی منطق مرتبه اول
- معنا شناسی منطق مرتبه دوم
- نتیجه
- نظریه ردهبندی
- نظریه مجموعهها
- نظریه مدل کامل
- نقیض
- نمودار اتمی
- ویژگی شاهد
در زبان های دیگر
cardinality of language
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007278