اصطلاح مرجح
نظریه مرتبه اول
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
مفهومهای وابسته
یادداشت دامنه
-
نظریه ای منطقی که در آن محمولات نمی توانند توابع و محمولات دیگری را به عنوان شناسه داشته باشند و سور برای محمول و تابع مجاز نیست.
در زبان های دیگر
first order theory
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007292