דף הבית
אקראי
בסביבה
כניסה לחשבון
הגדרות
תרומה לוויקיפדיה
אודות ויקיפדיה
הבהרות משפטיות
חיפוש
קטגוריה
:
משפטים במדעי המחשב
שפה
מעקב
עריכה
דפים בקטגוריה "משפטים במדעי המחשב"
דף קטגוריה זה כולל את 17 הדפים הבאים, מתוך 17 בקטגוריה כולה. (
לתצוגת עץ
)
א
אי-שוויון קראפט
משפט אימרמן
חוק אמדל
י
הלמה של יאו
מ
משפט מייהיל-נרוד
משפט PCP
נ
למת הניפוח לשפות חופשיות הקשר
למת הניפוח לשפות רגולריות
ס
משפט סביץ'
הלמה של סקרף
הלמה של שפרנר
צ
משפט האי-שלמות של צ'ייטין
ק
משפט קוק-לוין
ר
משפט רייס
משפט הרקורסיה
ש
שיטת אכרה-באזזי
שיטת האב