| קבוצה 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 | פיזיקה-שנקר | תרגיל | מר רוזנוב מארק |
| דרישות קדם
רשימת התפוצה
הצג סילבוס
הסתר סילבוס
|
|
