| קבוצה 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 |
| קבוצה 06 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1000-1300 | 'ד | | | שיעור | פרופ שרן רודד |
| דרישות קדם
בחינה
אתר
רשימת התפוצה
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות. למות ניפוח. משפט Myhill–Nerode. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח וסקירת ההוכחה). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
|
| קבוצה 07 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1200-1300 | 'ה | | | תרגיל | מר מזור נועם |
| דרישות קדם
רשימת התפוצה
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות. |
| קבוצה 08 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1400-1500 | 'ה | | | תרגיל | מר רוזנוב מארק |
| דרישות קדם
אתר
רשימת התפוצה
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות. |
| קבוצה 09 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1300-1600 | 'ב | | | שיעור | ד"ר בטנסקי ניר |
| דרישות קדם
בחינה
רשימת התפוצה
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
|
| קבוצה 10 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1500-1600 | 'ד | | | תרגיל | מר לנדאו רז |
| דרישות קדם
רשימת התפוצה
הצג סילבוס
הסתר סילבוס
|
סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות. |
| קבוצה 11 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1400-1500 | 'ד | | | תרגיל | מר לנדאו רז |
| דרישות קדם
אתר
רשימת התפוצה
הצג סילבוס
הסתר סילבוס
|
|
| קבוצה 12 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1100-1200 | 'ה | | | תרגיל | מר מזור נועם |
| דרישות קדם
רשימת התפוצה
הצג סילבוס
הסתר סילבוס
|
|
| קבוצה 13 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1200-1300 | 'ה | | | תרגיל | מר רוזנוב מארק |
| דרישות קדם
רשימת התפוצה
הצג סילבוס
הסתר סילבוס
|
|
