|
|
|
|
|
|
|
|
הרצאות מוקלטות
קורס "חישוביות, מכונות ושפות פורמליות" (67521)
מרצה: ויגרזון,
אבי
שנה: 1997
אין הספרייה אחראית לתוכן הסרטים או לאיכותם.
הסרטונים ניתנים לצפייה על ידי משתמשי האוניברסיטה העברית בלבד (על
ידי זיהוי כתובת IP). (צפייה מהבית באמצעות VPN-client)
-
קלטת 1 - מבוא + אוטומטיים סופיים
-
קלטת 2 - אוטומטיים סופיים דוגמאות
-
קלטת 3 - משפט שקילות בין אוטומטיים סופיים וביטויים רגולריים, הגדרת
אוטומטיים אי-דטרמיניסטיים
-
קלטת 4 - שקילות אוטומטיים
-
קלטת 5 - למת הניפוח הוכחת אי-רגולריות, דוגמאות
-
קלטת 6 - שפות חסרות הקשר, דקדוקים חסרי הקשר
-
קלטת 7 - דקדוקים חסרי הקשר, עמימות, אוטומט מחסנית, תכונות סגירות
-
קלטת 8 - שפות חסרות הקשר ואוטומט מחסנית
-
קלטת 9 - שפות חסרות הקשר ואוטומט מחסנית (המשך)
-
קלטת 10 - מכונות טיורינג
-
קלטת 11 - תכנות מכונות טיורינג
-
קלטת 12 - תכנות TM ווריאנטים של TM ומודלים אחרים
-
קלטת 13 - התיזה של CHURCH
-
קלטת 14 - פונקציות קורסיביות, מכונת טיורינג אוניברסאלית, מורכבות
קולמוגורוב
-
קלטת 15 - מכונת טיורינג אוניברסאלית, סיבוכיות קולמוגורוב
-
קלטת 16 - סיבוכיות קולמוגורוב, בעיות לא כריעות, בעיית העצירה
-
קלטת 17 - משפט RICE, רדוקציות
-
קלטת 18 - חסרה
-
קלטת 19
-
קלטת 20 - סיבוכיות זמן, המחלקה P, בעיות חיפוש
-
קלטת 21 - קריפטוגרפיה מודרנית, המחלקה NP
-
קלטת 22
-
קלטת 23 - NP שלמות, משפט COOK, מעגלים בוליאניים
-
קלטת 24 - משפט קוק-לוין, בעיות NP שלמות, 3-SAT
-
קלטת 25 - בעיות NP שלמות
-
קלטת 26 - השלמות
|
|
|
|
|
|
|
|
|
|
|
|