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