דפים המקושרים לדף "מערכת הוכחה אינטראקטיבית"
הדפים שלהלן מקשרים לדף מערכת הוכחה אינטראקטיבית:
מוצגים 50 פריטים
- הנדסת מחשבים (→ קישורים | עריכה)
- עדי שמיר (→ קישורים | עריכה)
- P (מחלקת סיבוכיות) (→ קישורים | עריכה)
- Co-NP (→ קישורים | עריכה)
- אלגוריתם אקראי (→ קישורים | עריכה)
- BPP (מחלקת סיבוכיות) (→ קישורים | עריכה)
- RP (→ קישורים | עריכה)
- PP (מחלקת סיבוכיות) (→ קישורים | עריכה)
- PSPACE (→ קישורים | עריכה)
- ZPP (→ קישורים | עריכה)
- הוכחה באפס ידיעה (→ קישורים | עריכה)
- ההיררכיה הפולינומית (→ קישורים | עריכה)
- מערכת הוכחה אנטראקטיבית (דף הפניה) (→ קישורים | עריכה)
- מערכת (פירושונים) (→ קישורים | עריכה)
- Sharp-P (→ קישורים | עריכה)
- פרוטוקול פייגה-פיאט-שמיר (→ קישורים | עריכה)
- APX (→ קישורים | עריכה)
- BQP (→ קישורים | עריכה)
- IP (סיבוכיות) (הפניה לפסקה "המחלקה IP") (→ קישורים | עריכה)
- TQBF (→ קישורים | עריכה)
- משתמש:Gran/ארגז חול פורטל מדמ"ח (→ קישורים | עריכה)
- משתמש:Gran/ארגז חול פורטל מדמ"ח/חישוביות (→ קישורים | עריכה)
- פורטל:מדעי המחשב (→ קישורים | עריכה)
- פורטל:מדעי המחשב/חישוביות (→ קישורים | עריכה)
- פורטל:מדעי המחשב/ליבה (→ קישורים | עריכה)
- פורטל:מדעי המחשב/נושאי ליבה במדעי המחשב (→ קישורים | עריכה)
- NP (מחלקת סיבוכיות) (→ קישורים | עריכה)
- פרס גדל (→ קישורים | עריכה)
- שלמה מורן (→ קישורים | עריכה)
- רן רז (→ קישורים | עריכה)
- EXPTIME (→ קישורים | עריכה)
- מודל אורקל אקראי (→ קישורים | עריכה)
- לסלו בבאי (→ קישורים | עריכה)
- NL (סיבוכיות) (→ קישורים | עריכה)
- NP-קשיות (→ קישורים | עריכה)
- TQBF (→ קישורים | עריכה)
- רשימת מחלקות סיבוכיות (→ קישורים | עריכה)
- סכמת קירוב פולינומית (→ קישורים | עריכה)
- יעל טאומן קלעי (→ קישורים | עריכה)
- ALL (מחלקת סיבוכיות) (→ קישורים | עריכה)
- R (מחלקת סיבוכיות) (→ קישורים | עריכה)
- RE (מחלקת סיבוכיות) (→ קישורים | עריכה)
- שיחה:24 (סדרת טלוויזיה) (→ קישורים | עריכה)
- שיחה:הוכחה באפס ידיעה (→ קישורים | עריכה)
- שיחה:מערכת הוכחה אינטראקטיבית (→ קישורים | עריכה)
- שיחה:סיבוכיות (→ קישורים | עריכה)
- משתמש:Odedee/b0-9 D (→ קישורים | עריכה)
- משתמש:Costello/ערכים שלא עודכנו ב-2008 ויש להם אינטרוויקי (→ קישורים | עריכה)
- משתמש:Thijs!bot/lijsthe (→ קישורים | עריכה)
- משתמש:Gran/ארגז חול פורטל מדמ"ח (→ קישורים | עריכה)
- משתמש:Gran/ארגז חול פורטל מדמ"ח/מאמר נבחר/אוסף (→ קישורים | עריכה)
- משתמש:Gran/ארגז חול פורטל מדמ"ח/חישוביות (→ קישורים | עריכה)
- משתמש:אורי מוסנזון/ארכיון3 (→ קישורים | עריכה)
- משתמש:Matanya/missing (→ קישורים | עריכה)
- שיחת משתמש:דוד שי/ארכיון55 (→ קישורים | עריכה)
- שיחת משתמש:יובל מדר/ארכיון 4 (→ קישורים | עריכה)
- שיחת משתמש:הללג/מגרת שיחות עליונה (→ קישורים | עריכה)