nativelib.net logo NativeLib iw עברית ▼

לוגיקה מתמטית / المنطق الرياضي - אוצר מילים

הַצָעָה
اقتراح
לְבַסֵס
مسند
כימות
مُكَمّ
טָאוּטוֹלוֹגִיָה
تكرار
סְתִירָה
تناقض
מַסְקָנָה
الاستدلال
אָפְנוּת
الطريقة
אַקסִיוֹמָה
البديهية
מִשׁפָּט
نظرية
הוֹכָחָה
دليل
דֶגֶם
نموذج
עֲקֵבִיוּת
تناسق
שְׁלֵמוּת
اكتمال
תְקֵפוּת
سلامة
שְׁלִילָה
نفي
צירוף
اِقتِران
ניתוק
الانفصال
מַשְׁמָעוּת
الاستدلال
שְׁקִילוּת
التكافؤ
תַחבִּיר
بناء الجملة
סֵמַנטִיקָה
الدلالات
מִשְׁתַנֶה
عامل
פוּנקצִיָה
وظيفة
יַחַס
علاقة
תְחוּם
اِختِصاص
פֵּשֶׁר
تفسير
ניכוי
خصم
מעורבות
الاستلزام
קישורים לוגיים
الروابط المنطقية
לוגיקת פרדיקט
منطق المسند
לוגיקה משפטית
المنطق الاقتراحي
מסדר ראשון
من الدرجة الأولى
מסדר שני
من الدرجة الثانية
תורת המודל
نظرية النموذج
תורת ההוכחה
نظرية الإثبات
תורת הקבוצות
نظرية المجموعات
מערכת פורמלית
النظام الرسمي
מטא-תיאוריה
نظرية ميتافيزيقية
יכולת החלטה
القدرة على اتخاذ القرار
רקורסיה
التكرار
נקודה קבועה
نقطة ثابتة
קומבינטוריקה
التركيبات
אוֹטוֹמָט
إنسان آلي
חישוביות
قابلية الحساب
שער לוגי
بوابة منطقية
אלגברה בוליאנית
الجبر البولياني
צורה רגילה
الشكل الطبيعي
תוֹצָאָה
عاقبة
עֲקֵבִיוּת
تناسق
הַפרָכָה
دحض