| קבוצה 01 |
|---|
 |
 |
 |
 |
 |
 |
 |
| סמ' א' | 1300-1600 | 'ב | 001 | צקפוינט | שיעור | פרופ היטנר יפתח אילן |
| מר פרי נעם |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220001_desc.txt סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות 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 | שנקר - פיזיקה | תרגיל | מר מזור נועם |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220002_desc.txt סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
אתר הקורס: http://tau-cm2016.wikidot.com |
| קבוצה 03 |
|---|
|
|
|
|
|
|
|
| סמ' א' | 1400-1500 | 'ד | 205 | כיתות דן-דוד | תרגיל | מר רוזנוב מארק |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220003_desc.txt סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
אתר הקורס: http://tau-cm2016.wikidot.com |
| קבוצה 04 |
|---|
|
|
|
|
|
|
|
| סמ' א' | 1300-1400 | 'ה | 002 | צקפוינט | תרגיל | מר רוזנוב מארק |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220004_desc.txt סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
אתר הקורס: http://tau-cm2016.wikidot.com |
| קבוצה 05 |
|---|
|
|
|
|
|
|
|
| סמ' א' | 1400-1500 | 'ד | 006 | שרייבר - מתמטיקה | תרגיל | מר מזור נועם |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220005_desc.txt סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות. |
| קבוצה 06 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1000-1300 | 'ד | 001 | צקפוינט | שיעור | ד"ר בטנסקי ניר |
| פרופ שרן רודד |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220006_desc.txt סילבוס מקוצר אוטומטים סופיים ושפות רגולריות. למות ניפוח. משפט Myhill–Nerode. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח וסקירת ההוכחה). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
|
| קבוצה 07 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1200-1300 | 'ה | 204 | שנקר - פיזיקה | תרגיל | מר לנדאו רז |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220007_desc.txt סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות. |
| קבוצה 08 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1400-1500 | 'ה | 103 | אורנשטיין - כימיה | תרגיל | מר רוזנוב מארק |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220008_desc.txt סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות. |
| קבוצה 09 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1300-1600 | 'ב | 001 | צקפוינט | שיעור | ד"ר בטנסקי ניר |
| פרופ שרן רודד |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220009_desc.txt סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.
|
| קבוצה 10 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1500-1600 | 'ד | 201 | כיתות דן-דוד | תרגיל | מר מזור נועם |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220010_desc.txt סילבוס מקוצר אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות. |
| קבוצה 11 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1400-1500 | 'ד | 201 | כיתות דן-דוד | תרגיל | מר מזור נועם |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220011_desc.txt |
| קבוצה 12 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1100-1200 | 'ה | 222 | שנקר - פיזיקה | תרגיל | מר לנדאו רז |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220012_desc.txt |
| קבוצה 13 |
|---|
|
|
|
|
|
|
|
| סמ' ב' | 1200-1300 | 'ה | 222 | שנקר - פיזיקה | תרגיל | מר רוזנוב מארק |
|
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2019\0368\0368220013_desc.txt |
