דף הבית
אקראי
כניסה לחשבון
הגדרות
תרומה לוויקיספר
אודות ויקיספר
הבהרות משפטיות
חיפוש
תבנית
:
תורת החישוביות
שפה
מעקב
עריכה
תורת החישוביות
מבוא
מכונת טיורינג
שקילות מודלי חישוב
מכונת טיורינג אוניברסלית
מודל לבעיות הכרעה
כריעות שפות
קיום שפות שאינן כריעות
רדוקציה חישובית
משפט רייס
אי-הפרדתיות רקורסיבית
משפט הרקורסיה
סיבוכיות קולמוגורוב
יישומי אי-דחיסות
הסתברות אוניברסאלית
בעיות זיהוי ובעיות חיפוש
