קבוצה 01 |
 |
 |
 |
 |
 |
 |
 |
סמ' א' | 1300-1600 | 'ב | 001 | צ'ק פוינט | שיעור | פרופ היטנר יפתח אילן |
| מר פרי נעם |
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
אתר הקורס: moodle.tau.ac.il/course/view.php?id=368220001
|
קבוצה 02 |
 |
 |
 |
 |
 |
 |
 |
סמ' א' | 1500-1600 | 'ד | 204 | פיזיקה-שנקר | תרגיל | מר מזור נועם |
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
אתר הקורס: http://tau-cm2016.wikidot.com |
קבוצה 03 |
 |
 |
 |
 |
 |
 |
 |
סמ' א' | 1400-1500 | 'ד | 205 | כיתות דן דוד | תרגיל | מר רוזנוב מארק |
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
אתר הקורס: http://tau-cm2016.wikidot.com |
קבוצה 04 |
 |
 |
 |
 |
 |
 |
 |
סמ' א' | 1300-1400 | 'ה | 002 | צ'ק פוינט | תרגיל | מר רוזנוב מארק |
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
אתר הקורס: http://tau-cm2016.wikidot.com |
קבוצה 05 |
 |
 |
 |
 |
 |
 |
 |
סמ' א' | 1400-1500 | 'ד | 006 | שרייבר מתמטי | תרגיל | מר מזור נועם |
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות. |
קבוצה 06 |
 |
 |
 |
 |
 |
 |
 |
סמ' ב' | 1000-1300 | 'ד | 001 | צ'ק פוינט | שיעור | ד"ר בטנסקי ניר |
| פרופ שרן רודד |
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות. למות ניפוח. משפט Myhill–Nerode. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח וסקירת ההוכחה). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
|
קבוצה 07 |
 |
 |
 |
 |
 |
 |
 |
סמ' ב' | 1200-1300 | 'ה | 204 | פיזיקה-שנקר | תרגיל | מר לנדאו רז |
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות. |
קבוצה 08 |
 |
 |
 |
 |
 |
 |
 |
סמ' ב' | 1400-1500 | 'ה | 103 | אורנשטיין | תרגיל | מר רוזנוב מארק |
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות. |
קבוצה 09 |
 |
 |
 |
 |
 |
 |
 |
סמ' ב' | 1300-1600 | 'ב | 001 | צ'ק פוינט | שיעור | ד"ר בטנסקי ניר |
| פרופ שרן רודד |
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
|
קבוצה 10 |
 |
 |
 |
 |
 |
 |
 |
סמ' ב' | 1500-1600 | 'ד | 201 | כיתות דן דוד | תרגיל | מר מזור נועם |
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות. |
קבוצה 11 |
 |
 |
 |
 |
 |
 |
 |
סמ' ב' | 1400-1500 | 'ד | 201 | כיתות דן דוד | תרגיל | מר מזור נועם |
הצג סילבוס
הסתר סילבוס
|
|
קבוצה 12 |
 |
 |
 |
 |
 |
 |
 |
סמ' ב' | 1100-1200 | 'ה | 222 | פיזיקה-שנקר | תרגיל | מר לנדאו רז |
הצג סילבוס
הסתר סילבוס
|
|
קבוצה 13 |
 |
 |
 |
 |
 |
 |
 |
סמ' ב' | 1200-1300 | 'ה | 222 | פיזיקה-שנקר | תרגיל | מר רוזנוב מארק |
הצג סילבוס
הסתר סילבוס
|
|