סילבוסים קצרים, יחידה , שנה"ל תש"ע

0368-1105-01	מבוא מורחב למדעי המחשב
שנה"ל תש"ע
פרופ מילוא טובה		שיעור	כיתות דן דוד	001	א'	1600- 1400	סמ' א'
		שיעור	כיתות דן דוד	001	ד'	1200- 1000	סמ' א'
תכניות מחשב כאמצעי הבעה. בניה מודולרית של מערכות תוכנה באמצעות הפשטות. תהליכי חישוב. א. הפשטה פונקציונלית: מודל ההצבה, פונקציות מסדר גבוה. ב. הפשטה וייצוג של נתונים: טיפוסים גלויים וכמוסים, תכנות מונחה נתונים. ג. עצמים ומצב מקומי: השמה, מודל הסביבות, העברת הודעות, זרמים והערכה עצלה. ד. בנית שפות חדשות ע"י אינטרפרטציה. הקורס כולל עבודה מעשית - כתיבת תוכנות מחשב - בהקף רב.

0368-1105-02	מבוא מורחב למדעי המחשב
מר כהן אייל		תרגיל	כיתות דן דוד	110	ב'	1200- 1000	סמ' א'
תכניות מחשב כאמצעי הבעה. בניה מודולרית של מערכות תוכנה באמצעות הפשטות. תהליכי חישוב. א. הפשטה פונקציונלית: מודל ההצבה, פונקציות מסדר גבוה. ב. הפשטה וייצוג של נתונים: טיפוסים גלויים וכמוסים, תכנות מונחה נתונים. ג. עצמים ומצב מקומי: השמה, מודל הסביבות, העברת הודעות, זרמים והערכה עצלה. ד. בנית שפות חדשות ע"י אינטרפרטציה. הקורס כולל עבודה מעשית - כתיבת תוכנות מחשב - בהקף רב.

0368-1105-03	מבוא מורחב למדעי המחשב
מר כהן אייל		תרגיל	שרייבר מתמטי	007	ג'	1200- 1000	סמ' א'
תכניות מחשב כאמצעי הבעה. בניה מודולרית של מערכות תוכנה באמצעות הפשטות. תהליכי חישוב. א. הפשטה פונקציונלית: מודל ההצבה, פונקציות מסדר גבוה. ב. הפשטה וייצוג של נתונים: טיפוסים גלויים וכמוסים, תכנות מונחה נתונים. ג. עצמים ומצב מקומי: השמה, מודל הסביבות, העברת הודעות, זרמים והערכה עצלה. ד. בנית שפות חדשות ע"י אינטרפרטציה. הקורס כולל עבודה מעשית - כתיבת תוכנות מחשב - בהקף רב.

0368-1105-04	מבוא מורחב למדעי המחשב
מר דויטש דניאל		שיעור	כיתות דן דוד	001	א'	1800- 1600	סמ' א'
		שיעור	כיתות דן דוד	001	ד'	1400- 1200	סמ' א'
תכניות מחשב כאמצעי הבעה. בניה מודולרית של מערכות תוכנה באמצעות הפשטות. תהליכי חישוב. א. הפשטה פונקציונלית: מודל ההצבה, פונקציות מסדר גבוה. ב. הפשטה וייצוג של נתונים: טיפוסים גלויים וכמוסים, תכנות מונחה נתונים. ג. עצמים ומצב מקומי: השמה, מודל הסביבות, העברת הודעות, זרמים והערכה עצלה. ד. בנית שפות חדשות ע"י אינטרפרטציה. הקורס כולל עבודה מעשית - כתיבת תוכנות מחשב - בהקף רב.

0368-1105-05	מבוא מורחב למדעי המחשב
מר אפרצ'ין אלכסנדר		תרגיל	פיזיקה-שנקר	222	ב'	1400- 1200	סמ' א'
תכניות מחשב כאמצעי הבעה. בניה מודולרית של מערכות תוכנה באמצעות הפשטות. תהליכי חישוב. א. הפשטה פונקציונלית: מודל ההצבה, פונקציות מסדר גבוה. ב. הפשטה וייצוג של נתונים: טיפוסים גלויים וכמוסים, תכנות מונחה נתונים. ג. עצמים ומצב מקומי: השמה, מודל הסביבות, העברת הודעות, זרמים והערכה עצלה. ד. בנית שפות חדשות ע"י אינטרפרטציה. הקורס כולל עבודה מעשית - כתיבת תוכנות מחשב - בהקף רב.

0368-1105-06	מבוא מורחב למדעי המחשב
מר אפרצ'ין אלכסנדר		תרגיל	פיזיקה-שנקר	222	ג'	1800- 1600	סמ' א'
תכניות מחשב כאמצעי הבעה. בניה מודולרית של מערכות תוכנה באמצעות הפשטות. תהליכי חישוב. א. הפשטה פונקציונלית: מודל ההצבה, פונקציות מסדר גבוה. ב. הפשטה וייצוג של נתונים: טיפוסים גלויים וכמוסים, תכנות מונחה נתונים. ג. עצמים ומצב מקומי: השמה, מודל הסביבות, העברת הודעות, זרמים והערכה עצלה. ד. בנית שפות חדשות ע"י אינטרפרטציה. הקורס כולל עבודה מעשית - כתיבת תוכנות מחשב - בהקף רב.

0368-1105-07	מבוא מורחב למדעי המחשב
פרופ שביט ניר		שיעור			א'	1800- 1600	סמ' ב'
		שיעור			ד'	1700- 1500	סמ' ב'
תכניות מחשב כאמצעי הבעה. בניה מודולרית של מערכות תוכנה באמצעות הפשטות. תהליכי חישוב. א. הפשטה פונקציונלית: מודל ההצבה, פונקציות מסדר גבוה. ב. הפשטה וייצוג של נתונים: טיפוסים גלויים וכמוסים, תכנות מונחה נתונים. ג. עצמים ומצב מקומי: השמה, מודל הסביבות, העברת הודעות, זרמים והערכה עצלה. ד. בנית שפות חדשות ע"י אינטרפרטציה. הקורס כולל עבודה מעשית - כתיבת תוכנות מחשב - בהקף רב.

0368-1105-08	מבוא מורחב למדעי המחשב
מר כהן אייל		תרגיל			ה'	1800- 1600	סמ' ב'


0368-1105-09	מבוא מורחב למדעי המחשב
מר כהן אייל		תרגיל			ה'	1400- 1200	סמ' ב'
תכניות מחשב כאמצעי הבעה. בניה מודולרית של מערכות תוכנה באמצעות הפשטות. תהליכי חישוב. א. הפשטה פונקציונלית: מודל ההצבה, פונקציות מסדר גבוה. ב. הפשטה וייצוג של נתונים: טיפוסים גלויים וכמוסים, תכנות מונחה נתונים. ג. עצמים ומצב מקומי: השמה, מודל הסביבות, העברת הודעות, זרמים והערכה עצלה. ד. בנית שפות חדשות ע"י אינטרפרטציה. הקורס כולל עבודה מעשית - כתיבת תוכנות מחשב - בהקף רב.

0368-1105-10	מבוא מורחב למדעי המחשב
מר דויטש דניאל		שיעור			א'	1600- 1400	סמ' ב'
		שיעור			ד'	1500- 1300	סמ' ב'
תכניות מחשב כאמצעי הבעה. בניה מודולרית של מערכות תוכנה באמצעות הפשטות. תהליכי חישוב. א. הפשטה פונקציונלית: מודל ההצבה, פונקציות מסדר גבוה. ב. הפשטה וייצוג של נתונים: טיפוסים גלויים וכמוסים, תכנות מונחה נתונים. ג. עצמים ומצב מקומי: השמה, מודל הסביבות, העברת הודעות, זרמים והערכה עצלה. ד. בנית שפות חדשות ע"י אינטרפרטציה. הקורס כולל עבודה מעשית - כתיבת תוכנות מחשב - בהקף רב.

0368-1105-11	מבוא מורחב למדעי המחשב
גב' לוי נגה		תרגיל			ב'	1200- 1000	סמ' ב'
תכניות מחשב כאמצעי הבעה. בניה מודולרית של מערכות תוכנה באמצעות הפשטות. תהליכי חישוב. א. הפשטה פונקציונלית: מודל ההצבה, פונקציות מסדר גבוה. ב. הפשטה וייצוג של נתונים: טיפוסים גלויים וכמוסים, תכנות מונחה נתונים. ג. עצמים ומצב מקומי: השמה, מודל הסביבות, העברת הודעות, זרמים והערכה עצלה. ד. בנית שפות חדשות ע"י אינטרפרטציה. הקורס כולל עבודה מעשית - כתיבת תוכנות מחשב - בהקף רב.

0368-1105-12	מבוא מורחב למדעי המחשב
גב' לוי נגה		תרגיל			ה'	1200- 1000	סמ' ב'
תכניות מחשב כאמצעי הבעה. בניה מודולרית של מערכות תוכנה באמצעות הפשטות. תהליכי חישוב. א. הפשטה פונקציונלית: מודל ההצבה, פונקציות מסדר גבוה. ב. הפשטה וייצוג של נתונים: טיפוסים גלויים וכמוסים, תכנות מונחה נתונים. ג. עצמים ומצב מקומי: השמה, מודל הסביבות, העברת הודעות, זרמים והערכה עצלה. ד. בנית שפות חדשות ע"י אינטרפרטציה. הקורס כולל עבודה מעשית - כתיבת תוכנות מחשב - בהקף רב.

0368-1118-01	מתמטיקה בדידה
פרופ אברון ארנון		שיעור	אורנשטיין	111	א'	1400- 1200	סמ' א'
		שיעור	אורנשטיין	111	ב'	1900- 1700	סמ' א'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-1118-02	מתמטיקה בדידה
מר הוד רני		תרגיל	קפלון	118	ד'	1400- 1200	סמ' א'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-1118-03	מתמטיקה בדידה
מר בן אליעזר עידו		תרגיל	קפלון	118	ד'	1200- 1000	סמ' א'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-1118-04	מתמטיקה בדידה
פרופ רגב עודד		שיעור	כיתות דן דוד	001	א'	1400- 1200	סמ' א'
		שיעור	דאך	005	ב'	1900- 1700	סמ' א'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-1118-05	מתמטיקה בדידה
מר טריפ עומר		תרגיל	פיזיקה-שנקר	222	ד'	1400- 1200	סמ' א'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-1118-06	מתמטיקה בדידה
מר טריפ עומר		תרגיל	פיזיקה-שנקר	222	ה'	1700- 1500	סמ' א'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-1118-07	מתמטיקה בדידה
מר חביב ישי		שיעור	אודיטור' לב	009	ב'	1900- 1700	סמ' א'
		שיעור	הנדסה כתות ח	101	א'	1400- 1200	סמ' א'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-1118-08	מתמטיקה בדידה
גב' בנק אפרת		תרגיל	פיזיקה-שנקר	204	ה'	1700- 1500	סמ' א'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-1118-09	מתמטיקה בדידה
מר בן שמעון סלומון		תרגיל	שרייבר מתמטי	007	ד'	1200- 1000	סמ' א'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-1118-10	מתמטיקה בדידה
מר בן שמעון סלומון		תרגיל	אורנשטיין	110	ד'	1400- 1200	סמ' א'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-1118-11	מתמטיקה בדידה
פרופ רודיטי יהודה א		שיעור			א'	1400- 1200	סמ' ב'
		שיעור			ב'	1900- 1700	סמ' ב'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-1118-12	מתמטיקה בדידה
		תרגיל			ד'	1500- 1300	סמ' ב'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-1118-13	מתמטיקה בדידה
		תרגיל			ד'	1300- 1100	סמ' ב'
1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות. 2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.

0368-2002-01	הסתברות וסטטיסטיקה (לדו-חוגי)
גב' משיח-יעקבי אילה		שיעור	שרייבר מתמטי	006	א'	1400- 1300	סמ' א'
		שיעור	שרייבר מתמטי	006	ד'	1000- 0800	סמ' א'
מבוא כללי - הסתברות, סטטיסטיקה ומודלים לתצפיות מדעיות; מושגי יסוד של הסתברות: מרחב מדגם ומאורע, האקסיומות של פ' הסתברות, מסקנות מן האקסיומות; הסתברות מותנית: עצי הסתברות וחוק ההסתברות השלמה, משפט בייס, אי-תלות; משתנים מקריים: משתנה מקרי בדיד ופ' ההסתברות שלו, משתנה מקרי רציף ופ' הצפיפות שלו, פ' התפלגות של משתנה מקרי, תוחלת, שונות, וסטיית תקן; התפלגויות שימושיות: בדידה, בינומית, גיאומטרית, פואסון, רציף: מעריכית, נורמלית; התפלגות דו-ממדית: פ' התפלגות משותפת, פ' התפלגות שולית, קווריאנס ומתאם, פ' התפלגות מותנית, תוחלת מותנית, אי-תלות; הדיוק של הממוצע: השונות של הממוצע, משפט הגבול המרכזי, רווח סמך לתוחלת; הסקה סטטיסטית: הגישה הבייסיאנית, הנראותית והשכיחותית באמידה, אומדים נקודתיים, בדיקת השערות; הסקה על ממוצעים: רווח סמך לתוחלת כשהשונות לא ידועה, רווח סמך להפרש בין תוחלות, בדיקת השערות על הפרש של תוחלות; רגרסיה: רגרסיה פשוטה, רגרסיה מרובה, רגרסיה פולינומיאלית.

0368-2002-02	הסתברות וסטטיסטיקה (לדו-חוגי)
גב' ויטורי איה		תרגיל	שרייבר מתמטי	008	ג'	1200- 1100	סמ' א'
מבוא כללי - הסתברות, סטטיסטיקה ומודלים לתצפיות מדעיות; מושגי יסוד של הסתברות: מרחב מדגם ומאורע, האקסיומות של פ' הסתברות, מסקנות מן האקסיומות; הסתברות מותנית: עצי הסתברות וחוק ההסתברות השלמה, משפט בייס, אי-תלות; משתנים מקריים: משתנה מקרי בדיד ופ' ההסתברות שלו, משתנה מקרי רציף ופ' הצפיפות שלו, פ' התפלגות של משתנה מקרי, תוחלת, שונות, וסטיית תקן; התפלגויות שימושיות: בדידה, בינומית, גיאומטרית, פואסון, רציף: מעריכית, נורמלית; התפלגות דו-ממדית: פ' התפלגות משותפת, פ' התפלגות שולית, קווריאנס ומתאם, פ' התפלגות מותנית, תוחלת מותנית, אי-תלות; הדיוק של הממוצע: השונות של הממוצע, משפט הגבול המרכזי, רווח סמך לתוחלת; הסקה סטטיסטית: הגישה הבייסיאנית, הנראותית והשכיחותית באמידה, אומדים נקודתיים, בדיקת השערות; הסקה על ממוצעים: רווח סמך לתוחלת כשהשונות לא ידועה, רווח סמך להפרש בין תוחלות, בדיקת השערות על הפרש של תוחלות; רגרסיה: רגרסיה פשוטה, רגרסיה מרובה, רגרסיה פולינומיאלית.

0368-2002-03	הסתברות וסטטיסטיקה (לדו-חוגי)
גב' ויטורי איה		תרגיל	שרייבר מתמטי	008	ג'	1400- 1300	סמ' א'
מבוא כללי - הסתברות, סטטיסטיקה ומודלים לתצפיות מדעיות; מושגי יסוד של הסתברות: מרחב מדגם ומאורע, האקסיומות של פ' הסתברות, מסקנות מן האקסיומות; הסתברות מותנית: עצי הסתברות וחוק ההסתברות השלמה, משפט בייס, אי-תלות; משתנים מקריים: משתנה מקרי בדיד ופ' ההסתברות שלו, משתנה מקרי רציף ופ' הצפיפות שלו, פ' התפלגות של משתנה מקרי, תוחלת, שונות, וסטיית תקן; התפלגויות שימושיות: בדידה, בינומית, גיאומטרית, פואסון, רציף: מעריכית, נורמלית; התפלגות דו-ממדית: פ' התפלגות משותפת, פ' התפלגות שולית, קווריאנס ומתאם, פ' התפלגות מותנית, תוחלת מותנית, אי-תלות; הדיוק של הממוצע: השונות של הממוצע, משפט הגבול המרכזי, רווח סמך לתוחלת; הסקה סטטיסטית: הגישה הבייסיאנית, הנראותית והשכיחותית באמידה, אומדים נקודתיים, בדיקת השערות; הסקה על ממוצעים: רווח סמך לתוחלת כשהשונות לא ידועה, רווח סמך להפרש בין תוחלות, בדיקת השערות על הפרש של תוחלות; רגרסיה: רגרסיה פשוטה, רגרסיה מרובה, רגרסיה פולינומיאלית.

0368-2157-01	תוכנה 1
מר ברזילי אוהד		שיעור	אורנשטיין	103	א'	1900- 1600	סמ' א'
(מתכונת חדשה, החל מסמסטר א' תשס"ו). הקורס מציג את המתודולגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.

0368-2157-02	תוכנה 1
מר זריצקי אסף		תרגיל	שרייבר מתמטי	006	ד'	1700- 1600	סמ' א'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.

0368-2157-03	תוכנה 1
מר זריצקי אסף		תרגיל	שרייבר מתמטי	006	ד'	1800- 1700	סמ' א'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.

0368-2157-04	תוכנה 1
פרופ הלפרין דן		שיעור	אורנשטיין	111	ב'	1500- 1200	סמ' א'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.

0368-2157-05	תוכנה 1
מר שמרת מתי		תרגיל	שרייבר מתמטי	006	ד'	1200- 1100	סמ' א'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.

0368-2157-06	תוכנה 1
מר שמרת מתי		תרגיל	שרייבר מתמטי	006	ד'	1300- 1200	סמ' א'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.


0368-2157-07	תוכנה 1
ד"ר וולף ליאור		שיעור			ג'	1300- 1000	סמ' ב'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.
This is a mandatory Computer Science course that teaches the principles of software design, object oriented programming, and the Java programming language.

0368-2157-08	תוכנה 1
מר שמרת מתי		תרגיל			ד'	1100- 1000	סמ' ב'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.

0368-2157-09	תוכנה 1
מר שמרת מתי		תרגיל			ד'	1200- 1100	סמ' ב'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.

0368-2157-10	תוכנה 1
מר שפירא ליאור		שיעור			ד'	1200- 0900	סמ' ב'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.

0368-2157-11	תוכנה 1
מר בוים ראובן		תרגיל			ה'	1300- 1200	סמ' ב'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.

0368-2158-01	מבני נתונים
פרופ לוי חנוך		שיעור	דאך	005	ד'	1600- 1300	סמ' א'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-

0368-2158-02	מבני נתונים
מר נוסבאום יהב		תרגיל	אורנשטיין	103	ה'	1400- 1300	סמ' א'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-

0368-2158-03	מבני נתונים
מר נוסבאום יהב		תרגיל	אורנשטיין	103	ה'	1300- 1200	סמ' א'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-

0368-2158-04	מבני נתונים
פרופ לוי חנוך		שיעור	אוד' מלמד / הולצבלט	006	ג'	1600- 1300	סמ' א'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-

0368-2158-05	מבני נתונים
גב' לוי נגה		תרגיל	שרייבר מתמטי	007	ה'	1100- 1000	סמ' א'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-

0368-2158-06	מבני נתונים
גב' לוי נגה		תרגיל	שרייבר מתמטי	007	ה'	1200- 1100	סמ' א'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-

0368-2158-07	מבני נתונים
פרופ צוויק אורי		שיעור			ב'	1700- 1400	סמ' ב'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-

0368-2158-08	מבני נתונים
מר זריצקי אסף		שיעור			ג'	1500- 1400	סמ' ב'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-

0368-2158-09	מבני נתונים
מר זריצקי אסף		תרגיל			ג'	1600- 1500	סמ' ב'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-

0368-2158-10	מבני נתונים
פרופ קפלן חיים		שיעור			ג'	1900- 1600	סמ' ב'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-

0368-2158-11	מבני נתונים
מר נוסבאום יהב		תרגיל			ה'	1400- 1300	סמ' ב'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-

0368-2158-12	מבני נתונים
מר נוסבאום יהב		תרגיל			ה'	1700- 1600	סמ' ב'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-

0368-2159-01	מבנה מחשבים
פרופ אינטרטור נתן		שיעור	פיזיקה-שנקר	104	ד'	1300- 1000	סמ' א'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.

0368-2159-02	מבנה מחשבים
מר מגר עודד		תרגיל	שרייבר מתמטי	007	ב'	1700- 1600	סמ' א'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.

0368-2159-03	מבנה מחשבים
מר מגר עודד		תרגיל	שרייבר מתמטי	007	ב'	1800- 1700	סמ' א'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.

0368-2159-04	מבנה מחשבים
פרופ אפק יהודה		שיעור	שרייבר מתמטי	006	ג'	1300- 1000	סמ' א'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.

0368-2159-05	מבנה מחשבים
מר מגר עודד		תרגיל	שרייבר מתמטי	008	ה'	1400- 1300	סמ' א'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.

0368-2159-06	מבנה מחשבים
מר מגר עודד		תרגיל	שרייבר מתמטי	008	ה'	1300- 1200	סמ' א'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.

0368-2159-07	מבנה מחשבים
פרופ רופין איתן		שיעור			ד'	1700- 1400	סמ' ב'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.

0368-2159-08	מבנה מחשבים
מר מגר עודד		תרגיל			ה'	1500- 1400	סמ' ב'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.

0368-2159-09	מבנה מחשבים
מר מגר עודד		תרגיל			ה'	1400- 1300	סמ' ב'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.

0368-2160-01	אלגוריתמים
פרופ שריר מיכה		שיעור	כיתות דן דוד	001	ג'	1800- 1500	סמ' א'
אלגוריתמים יעילים בגרפים: סריקה של גרף, מעגל אוילר, עץ פורש מינימלי, מסלולים קצרים ביותר, זרימה ברשתות; התאמת מחרוזות; טכניקות אלגוריתמיות נוספות, כגון תכנות דינאמי ותכנות לינארי.

0368-2160-02	אלגוריתמים
מר שפר אדם		תרגיל	שרייבר מתמטי	007	ה'	1300- 1200	סמ' א'
אלגוריתמים יעילים בגרפים: סריקה של גרף, מעגל אוילר, עץ פורש מינימלי, מסלולים קצרים ביותר, זרימה ברשתות; התאמת מחרוזות; טכניקות אלגוריתמיות נוספות, כגון תכנות דינאמי ותכנות לינארי.

0368-2160-03	אלגוריתמים
מר שפר אדם		תרגיל	שרייבר מתמטי	008	ה'	1500- 1400	סמ' א'
אלגוריתמים יעילים בגרפים: סריקה של גרף, מעגל אוילר, עץ פורש מינימלי, מסלולים קצרים ביותר, זרימה ברשתות; התאמת מחרוזות; טכניקות אלגוריתמיות נוספות, כגון תכנות דינאמי ותכנות לינארי.

0368-2160-04	אלגוריתמים
פרופ אלון נוגה		שיעור	שרייבר מתמטי	006	א'	1900- 1600	סמ' א'
אלגוריתמים יעילים בגרפים: סריקה של גרף, מעגל אוילר, עץ פורש מינימלי, מסלולים קצרים ביותר, זרימה ברשתות; התאמת מחרוזות; טכניקות אלגוריתמיות נוספות, כגון תכנות דינאמי ותכנות לינארי.

0368-2160-07	אלגוריתמים
פרופ שמיר רון		שיעור			ג'	1900- 1600	סמ' ב'
אלגוריתמים- 0368.2160 אלגוריתמים יעילים בגרפים: סריקה של גרף, מעגל אוילר, עץ פורש מינימלי, מסלולים קצרים ביותר, זרימה ברשתות; התאמת מחרוזות; טכניקות אלגוריתמיות נוספות, כגון תכנות דינאמי ותכנות לינארי.

0368-2160-08	אלגוריתמים
מר ולדמן ידעאל		תרגיל			ה'	1200- 1100	סמ' ב'
אלגוריתמים יעילים בגרפים: סריקה של גרף, מעגל אוילר, עץ פורש מינימלי, מסלולים קצרים ביותר, זרימה ברשתות; התאמת מחרוזות; טכניקות אלגוריתמיות נוספות, כגון תכנות דינאמי ותכנות לינארי.

0368-2160-09	אלגוריתמים
מר ולדמן ידעאל		תרגיל			ה'	1300- 1200	סמ' ב'
אלגוריתמים יעילים בגרפים: סריקה של גרף, מעגל אוילר, עץ פורש מינימלי, מסלולים קצרים ביותר, זרימה ברשתות; התאמת מחרוזות; טכניקות אלגוריתמיות נוספות, כגון תכנות דינאמי ותכנות לינארי.

0368-2160-10	אלגוריתמים
פרופ עזר יוסף		שיעור			א'	1500- 1200	סמ' ב'
אלגוריתמים יעילים בגרפים: סריקה של גרף, מעגל אוילר, עץ פורש מינימלי, מסלולים קצרים ביותר, זרימה ברשתות; התאמת מחרוזות; טכניקות אלגוריתמיות נוספות, כגון תכנות דינאמי ותכנות לינארי.

0368-2160-11	אלגוריתמים
		תרגיל					סמ' ב'
אלגוריתמים- 0368.2160 אלגוריתמים יעילים בגרפים: סריקה של גרף, מעגל אוילר, עץ פורש מינימלי, מסלולים קצרים ביותר, זרימה ברשתות; התאמת מחרוזות; טכניקות אלגוריתמיות נוספות, כגון תכנות דינאמי ותכנות לינארי.

0368-2160-12	אלגוריתמים
		תרגיל					סמ' ב'
אלגוריתמים יעילים בגרפים: סריקה של גרף, מעגל אוילר, עץ פורש מינימלי, מסלולים קצרים ביותר, זרימה ברשתות; התאמת מחרוזות; טכניקות אלגוריתמיות נוספות, כגון תכנות דינאמי ותכנות לינארי.

0368-2161-01	פרויקט תוכנה
פרופ קנטי רן		פרויקט	כיתות דן דוד	001	ב'	1300- 1100	סמ' א'
בקורס נלמדת שפת התכנות C ונכתב פרויקט תכנות מתקדם. מידע נוסף ניתן למצוא באתר הקורס.

0368-2161-03	פרויקט תוכנה
פרופ שרן רודד		פרויקט	שרייבר מתמטי	006	ד'	1500- 1300	סמ' א'
בקורס נלמדת שפת התכנות C ונכתב פרויקט תכנות מתקדם. מידע נוסף ניתן למצוא באתר הקורס.

0368-2161-05	פרויקט תוכנה
פרופ קנטי רן		פרויקט			ה'	1700- 1500	סמ' ב'
בקורס נלמדת שפת התכנות C ונכתב פרויקט תכנות מתקדם. מידע נוסף ניתן למצוא באתר הקורס.
The first part of the course will cover the C programming language under the UNIX programming environment. In the second part of the course you will develop an advanced project in C. A detailed syllabus of the course can be found on the course's web-page

0368-2162-01	מערכות הפעלה
פרופ אורבוך אמיר		שיעור	הנדסה כתות ח	101	ה'	1100- 0800	סמ' א'
תכנון ומימוש מערכות הפעלה: תהליכים. קבצים ומערכת קבצים. שימוש במשאב משותף: מניעה הדדית, נעילות, סמפורים. תזמון תהליכים. ניהול זכּרון, דפדוף, זכּרון וירטואלי. יסודות רשתות מחשבים.

0368-2162-02	מערכות הפעלה
מר זיידנברג נצר		תרגיל	אורנשטיין	111	ה'	1700- 1600	סמ' א'
תכנון ומימוש מערכות הפעלה: תהליכים. קבצים ומערכת קבצים. שימוש במשאב משותף: מניעה הדדית, נעילות, סמפורים. תזמון תהליכים. ניהול זכּרון, דפדוף, זכּרון וירטואלי. יסודות רשתות מחשבים.

0368-2162-03	מערכות הפעלה
מר זיידנברג נצר		תרגיל	פיזיקה-שנקר	204	ה'	1400- 1300	סמ' א'
תכנון ומימוש מערכות הפעלה: תהליכים. קבצים ומערכת קבצים. שימוש במשאב משותף: מניעה הדדית, נעילות, סמפורים. תזמון תהליכים. ניהול זכּרון, דפדוף, זכּרון וירטואלי. יסודות רשתות מחשבים.

0368-2162-04	מערכות הפעלה
מר זיידנברג נצר		תרגיל	פיזיקה-שנקר	204	ה'	1500- 1400	סמ' א'
תכנון ומימוש מערכות הפעלה: תהליכים. קבצים ומערכת קבצים. שימוש במשאב משותף: מניעה הדדית, נעילות, סמפורים. תזמון תהליכים. ניהול זכּרון, דפדוף, זכּרון וירטואלי. יסודות רשתות מחשבים.

0368-2162-05	מערכות הפעלה
פרופ ישורון יחזקאל		שיעור			ב'	1900- 1600	סמ' ב'
תכנון ומימוש מערכות הפעלה: תהליכים. קבצים ומערכת קבצים. שימוש במשאב משותף: מניעה הדדית, נעילות, סמפורים. תזמון תהליכים. ניהול זכּרון, דפדוף, זכּרון וירטואלי. יסודות רשתות מחשבים.

0368-2162-06	מערכות הפעלה
מר אפרצ'ין אלכסנדר		תרגיל			ג'	1400- 1300	סמ' ב'
תכנון ומימוש מערכות הפעלה: תהליכים. קבצים ומערכת קבצים. שימוש במשאב משותף: מניעה הדדית, נעילות, סמפורים. תזמון תהליכים. ניהול זכּרון, דפדוף, זכּרון וירטואלי. יסודות רשתות מחשבים.

0368-2162-07	מערכות הפעלה
מר אפרצ'ין אלכסנדר		תרגיל			ג'	1500- 1400	סמ' ב'
תכנון ומימוש מערכות הפעלה: תהליכים. קבצים ומערכת קבצים. שימוש במשאב משותף: מניעה הדדית, נעילות, סמפורים. תזמון תהליכים. ניהול זכּרון, דפדוף, זכּרון וירטואלי. יסודות רשתות מחשבים.

0368-2162-08	מערכות הפעלה
פרופ טולדו סיון		שיעור			ד'	1300- 1000	סמ' ב'
תכנון ומימוש מערכות הפעלה: תהליכים. קבצים ומערכת קבצים. שימוש במשאב משותף: מניעה הדדית, נעילות, סמפורים. תזמון תהליכים. ניהול זכּרון, דפדוף, זכּרון וירטואלי. יסודות רשתות מחשבים.

0368-2170-01	לוגיקה למדעי המחשב
פרופ אברון ארנון		שיעור	אורנשטיין	103	ג'	1400- 1100	סמ' א'
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.

0368-2170-02	לוגיקה למדעי המחשב
גב' כהן לירון		תרגיל	שרייבר מתמטי	007	ד'	0900- 0800	סמ' א'
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.

0368-2170-03	לוגיקה למדעי המחשב
גב' כהן לירון		תרגיל	שרייבר מתמטי	007	ד'	1000- 0900	סמ' א'
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.

0368-2170-05	לוגיקה למדעי המחשב
פרופ אברון ארנון		שיעור			ב'	1300- 1000	סמ' ב'
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים, משפט הרברנד ושימושיו, לוגיקה אינטואיציוניסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.

0368-2170-06	לוגיקה למדעי המחשב
גב' כהן לירון		תרגיל			ד'	0900- 0800	סמ' ב'
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.

0368-2170-07	לוגיקה למדעי המחשב
גב' כהן לירון		תרגיל			ד'	1000- 0900	סמ' ב'
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.

0368-2200-01	מודלים חישוביים
פרופ דרשוביץ נחום		שיעור	דאך	005	ה'	1900- 1600	סמ' א'
ד"ר קמפה יוליה
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.

0368-2200-02	מודלים חישוביים
מר ברנט יהונתן		תרגיל	פיזיקה-שנקר	222	ג'	1400- 1300	סמ' א'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.

0368-2200-03	מודלים חישוביים
מר ברנט יהונתן		תרגיל	פיזיקה-שנקר	222	ג'	1500- 1400	סמ' א'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.

0368-2200-04	מודלים חישוביים
פרופ דרשוביץ נחום		שיעור	דאך	005	ב'	1600- 1300	סמ' א'
ד"ר קמפה יוליה
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.

0368-2200-05	מודלים חישוביים
מר להב אורי		תרגיל	שרייבר מתמטי	006	ד'	1600- 1500	סמ' א'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.

0368-2200-06	מודלים חישוביים
מר להב אורי		תרגיל	שרייבר מתמטי	007	ד'	1700- 1600	סמ' א'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.

0368-2200-08	מודלים חישוביים
פרופ רובינפלד רונית		שיעור			ד'	1300- 1000	סמ' ב'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.

0368-2200-09	מודלים חישוביים
מר ברנט יהונתן		תרגיל			ה'	1300- 1200	סמ' ב'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.

0368-2200-10	מודלים חישוביים
מר ברנט יהונתן		תרגיל			ה'	1500- 1400	סמ' ב'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי NP שלמות ו– NP קושי: הגדרות ודוגמאות.

0368-3013-01	מבוא לחישוב עצבי
פרופ ישורון יחזקאל		שיעור	כיתות דן דוד	111	ב'	1300- 1000	סמ' א'
הקורס עוסק במודלים חישוביים במערכות עצביות, במיוחד מערכת הראיה ומערכת השמיעה, ובמודלים חישוביים המבוססים על רשתות עצביות.

0368-3014-01	גרפיקה ממוחשבת
מר שפירא ליאור		שיעור	שרייבר מתמטי	007	ב'	1600- 1300	סמ' א'
קורס בסיסי בגרפיקה ממוחשבת בו נלמד מבוא לארבעת הנושאים הבאים: עיבוד תמונה - Image Processing רינדור - Rendering מודלים - Modeling אנימציה - Animation בקורס יינתנו שלושה פרויקטים מעשיים ומבחן בסופו

0368-3030-01	רשתות תקשורת מחשבים
פרופ מנצור ישי		שיעור	אורנשטיין	111	א'	1900- 1600	סמ' א'
ארכיטקטורת שכבות של רשתות תקשורת, פרוטוקולים של ערוצי תקשורת. מודלים בסיסיים להערכת זמני המתנה ברשתות. נתוב ופקוח זרימה ברשתות, תכנון רשתות.

0368-3030-02	רשתות תקשורת מחשבים
מר אבני הלל		תרגיל	מרכזי על	315	ד'	1200- 1100	סמ' א'
ארכיטקטורת שכבות של רשתות תקשורת, פרוטוקולים של ערוצי תקשורת. מודלים בסיסיים להערכת זמני המתנה ברשתות. נתוב ופקוח זרימה ברשתות, תכנון רשתות.

0368-3030-03	רשתות תקשורת מחשבים
מר אבני הלל		תרגיל	מרכזי על	315	ד'	1300- 1200	סמ' א'
ארכיטקטורת שכבות של רשתות תקשורת, פרוטוקולים של ערוצי תקשורת. מודלים בסיסיים להערכת זמני המתנה ברשתות. נתוב ופקוח זרימה ברשתות, תכנון רשתות.

0368-3049-01	יסודות הקריפטוגרפיה
פרופ שור בני		שיעור	אורנשטיין	111	ג'	1300- 1000	סמ' א'
בקורס נעסוק במספר אבני בניין יסודיות של קריפטוגרפיה קלסית ומודרנית. אלה יכללו פונקציות חד כווניות, מערכות הצפנה עם מפתחות סימטריים, ומערכות עם מפתח הצפנה פומבי. שיטות לאימות, זיהוי, וחתימות דיגיטליות. אקראיות ופסאודו אקראיות. וסכמות לחלוקת סוד. כמו כן נדון באספקטים אלגוריתמיים של מספר נושאים רלוונטיים מתורת המספרים, כגון בדיקת ראשוניות, משפט המספרים הראשוניים, מציאת מחלק משותף, שדות וחוגים סופיים, יוצרים כפליים, ועוד. נלמד להשתמש (ונשתמש לצרכי הקורס) במערכות של אלגברה סימבולית, כגון Maple או תחליף מבוסס Python. כמו כן נעסוק מעט בפרוטוקולים בטוחים ב"עולם האמיתי", ספציפית ב- Secure Sockets Layer: SSL

0368-3052-01	הנדסת תוכנה מוכוונת עצמים
ד"ר טישברוביץ שמואל		שיעור	שרייבר מתמטי	008	ב'	1700- 1400	סמ' א'
הנדסת תוכנה: מבוא, סיבוכיות תוכנה, איכות תוכנה, משבר התוכנה, מחזור החיים של התוכנה, מודלים של תוכנה. אנליזה ותיכון מכווני עצמים: מושגים ותפיסות, CRC, 452-Cases, שיטות לאנליזה ותיכון. סיכום ומסקנות.

0368-3056-01	פתוח מערכות תוכנה מבוססות JAVA
מר ברזילי אוהד		שיעור			ד'	1200- 0900	סמ' ב'
מטרת הקורס לחשוף את התלמידה לשיקולים ולעקרונות שבפיתוח מערכות תוכנה "אמיתיות". זהו קורס בחירה מתקדם המיועד לתלמידי תואר ראשון אשר יש להם זיקה לתחום התוכנה. הקורס מאגד בתוכו מבחר נושאים מתחומים שונים של הנדסת תוכנה: טכנולוגיות חדשניות (עם דגש על טכנולוגיות Java), גישות מודרניות לניהול תהליך הפיתוח (עם דגש על eXtreme Programming) , ארכיטקטורה ותכן של מוצר התוכנה ושימוש בכלי תוכנה מתקדמים. התכנות לאורך כל הקורס מתבצע בצוותים. (לסילבוס המלא לחצו על הקישורית שבתחתית העמוד)

0368-3058-01	נושאים מתקדמים בתכנות
מר הלחמי יוסף		שיעור			ד'	2000- 1600	סמ' ב'

Contact me at: yhalahmi@post.tau.ac.il Goals The main goal of the course is to provide deep understanding of OO approach C++ internals C++ features and the look from the compiler point of view We’ll discuss the cost of C++ features and the ways to decrease recourses needed for application ( memory, time ). General description The course divided into following parts: 1) The pass through all features of C++ but on higher level ( example: no explanation what is the meaning of Constructor and Destructor, but the cost of these functions and ways to decrease number of there invocations will be discussed ). 2) Object Oriented Design 3) Design Patterns 4) Standard Template Library, C++ Streams, 5) Pitfalls and Tips Exercises · Exercises will be given once in two weeks. · Students are allowed to do exercises in pairs or individually · The final grade is based on exam (65%) and exercises (35%).

0368-3133-01	קומפילציה
ד"ר צביאל-גירשין רינה		שיעור	שרייבר מתמטי	006	ה'	1300- 1000	סמ' א'
ניתוח לקסיקלי ותחבירי (כולל שימוש בכלים כגון Lex ו- Yacc). דקדוקים מופשטים. יצירת קוד ביניים. בחירה יעילה של קוד מכונה. מבוא לאופטימיזציה והקצאת אוגרים. הקורס כולל פרוייקט גדול של בניית קומפילר משפת תכנות קטנה לשפת מכונה.

0368-3133-02	קומפילציה
מר שחם אוהד		תרגיל	שרייבר מתמטי	008	ד'	1200- 1100	סמ' א'
ניתוח לקסיקלי ותחבירי (כולל שימוש בכלים כגון Lex ו- Yacc). דקדוקים מופשטים. יצירת קוד ביניים. בחירה יעילה של קוד מכונה. מבוא לאופטימיזציה והקצאת אוגרים. הקורס כולל פרוייקט גדול של בניית קומפילר משפת תכנות קטנה לשפת מכונה.

0368-3133-03	קומפילציה
מר שחם אוהד		תרגיל	שרייבר מתמטי	008	ד'	1400- 1300	סמ' א'
ניתוח לקסיקלי ותחבירי (כולל שימוש בכלים כגון Lex ו- Yacc). דקדוקים מופשטים. יצירת קוד ביניים. בחירה יעילה של קוד מכונה. מבוא לאופטימיזציה והקצאת אוגרים. הקורס כולל פרוייקט גדול של בניית קומפילר משפת תכנות קטנה לשפת מכונה.

0368-3133-04	קומפילציה
מר שחם אוהד		תרגיל	אורנשטיין	110	ד'	1500- 1400	סמ' א'
ניתוח לקסיקלי ותחבירי (כולל שימוש בכלים כגון Lex ו- Yacc). דקדוקים מופשטים. יצירת קוד ביניים. בחירה יעילה של קוד מכונה. מבוא לאופטימיזציה והקצאת אוגרים. הקורס כולל פרוייקט גדול של בניית קומפילר משפת תכנות קטנה לשפת מכונה.

0368-3151-01	מבוא לבינה מלאכותית
מר בושינסקי ישעיהו		שיעור	אוד' מלמד / הולצבלט	007	ג'	1500- 1200	סמ' א'
הקורס יציג את מטרות המחקר בבינה מלאכותית, את הנחותיו היסודיות ואת הגישות והשיטות העיקריות שפותחו עד עתה. נושאים מרכזיים יהיו: יצוג ידע והשימוש בו, שיטות לפתרון בעיות, חיפוש, הסקים לצורותיהם השונות, תכנון ולימוד.

0368-3168-01	סיבוכיות
פרופ ספרא שמואל		שיעור	אוד' מלמד / הולצבלט	006	ב'	1600- 1300	סמ' א'
סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch. NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה BPP. המחלקה BPP מוכלת ב S₂. משפט ה PCP וקושי של קרוב בעיות NP קשות. ספרי לימוד: · C. Papadimitriou, Computational complexity. · M. Sipser, Introduction to the theory of computation. · V. Vazirani, Approximation Algorithms. דרישות קדם: יעילות של חישובים, מודלים חישוביים

0368-3168-02	סיבוכיות
מר בן אליעזר עידו		תרגיל	קפלון	118	ה'	1400- 1300	סמ' א'
סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch. NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה BPP. המחלקה BPP מוכלת ב S₂. משפט ה PCP וקושי של קרוב בעיות NP קשות. ספרי לימוד: · C. Papadimitriou, Computational complexity. · M. Sipser, Introduction to the theory of computation. · V. Vazirani, Approximation Algorithms. דרישות קדם: יעילות של חישובים, מודלים חישוביים

0368-3168-03	סיבוכיות
מר בן אליעזר עידו		תרגיל	אורנשטיין	110	ה'	1500- 1400	סמ' א'
סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch. NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה BPP. המחלקה BPP מוכלת ב S₂. משפט ה PCP וקושי של קרוב בעיות NP קשות. ספרי לימוד: · C. Papadimitriou, Computational complexity. · M. Sipser, Introduction to the theory of computation. · V. Vazirani, Approximation Algorithms. דרישות קדם: יעילות של חישובים, מודלים חישוביים

0368-3168-07	סיבוכיות
פרופ תא-שמע אמנון		שיעור			ג'	1300- 1000	סמ' ב'
סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch. NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה BPP. המחלקה BPP מוכלת ב S₂. משפט ה PCP וקושי של קרוב בעיות NP קשות. ספרי לימוד: · C. Papadimitriou, Computational complexity. · M. Sipser, Introduction to the theory of computation. · V. Vazirani, Approximation Algorithms. דרישות קדם: יעילות של חישובים, מודלים חישוביים

0368-3168-08	סיבוכיות
מר בן אליעזר עידו		תרגיל			ג'	1600- 1500	סמ' ב'
סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch. NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה BPP. המחלקה BPP מוכלת ב S₂. משפט ה PCP וקושי של קרוב בעיות NP קשות. ספרי לימוד: · C. Papadimitriou, Computational complexity. · M. Sipser, Introduction to the theory of computation. · V. Vazirani, Approximation Algorithms. דרישות קדם: יעילות של חישובים, מודלים חישוביים

0368-3168-09	סיבוכיות
מר בן אליעזר עידו		תרגיל			ג'	1700- 1600	סמ' ב'
סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch. NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה BPP. המחלקה BPP מוכלת ב S₂. משפט ה PCP וקושי של קרוב בעיות NP קשות. ספרי לימוד: · C. Papadimitriou, Computational complexity. · M. Sipser, Introduction to the theory of computation. · V. Vazirani, Approximation Algorithms. דרישות קדם: יעילות של חישובים, מודלים חישוביים

0368-3168-10	סיבוכיות
מר בן אליעזר עידו		תרגיל			ג'	1900- 1800	סמ' ב'
סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch. NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה BPP. המחלקה BPP מוכלת ב S₂. משפט ה PCP וקושי של קרוב בעיות NP קשות. ספרי לימוד: · C. Papadimitriou, Computational complexity. · M. Sipser, Introduction to the theory of computation. · V. Vazirani, Approximation Algorithms. דרישות קדם: יעילות של חישובים, מודלים חישוביים

0368-3241-01	שפות תכנות
פרופ יהודאי עמירם		שיעור			ב'	1300- 1000	סמ' ב'
יסודות התחביר והסמנטיקה של שפות תכנות. לימוד משווה של מספר שפות תכנות על מרכיביהם העיקריים (מבני בקרה, טיפוסי נתונים, הפשטה, כבילה וכו'). פרדיגמות של שפות תכנות. מבוא לסמנטיקה פורמלית של שפות תכנות

0368-3242-01	רעיונות יסודיים במדעי המחשב(הקורס ינתן בשפה האנגלית)
		שיעור					סמ' ב'
This course will present several important concepts and tools in computer science, mainly in theoretical computer science. For each such idea, tool or concept, first an introduction will be given, and then an application, usually the first or one of the most important applications of this idea. These applications will come from theory, like complexity theory, algorithm design and communication complexity, but also from cryptography, networks or data structures. Some of the tool and ideas presented include: semidefinite programming techniques, error correcting codes, dimension reduction, probability theory, expanders, and others. The course will be held in English and is intended for advanced undergradutate students. Graduate students are also welcome.

0368-3249-01	צעדים ראשונים במחקר לסטודנטים מצטיינים
פרופ רגב עודד		שיעור	הנדסה כתות ח	008	ג'	1900- 1600	סמ' א'
הקורס יכסה מגוון רחב של נושאים במדעי המחשב של ימינו, עם דגש על אפשרות להמשך מחקר מדעי בנושא. הקורס מיועד לתלמידים מצטיינים בתואר ראשון שמעוניינים באפשרות להמשיך את לימודיהם לתואר שני במדעי המחשב. התלמידים יתבקשו לבחור באחד מהנושאים שילמדו בקורס ולבצע בו עבודת מחקר בהיקף בינוני, תוך שיתוף פעולה עם המנחה הרלוונטי. תוצאות המחקר יסוכמו במאמר, שבמידת האפשר ישלח לפרסום. מאמר כזה יכול להיות משמעותי מאוד בהמשך הלימודים לתואר שני. דרישות קבלה: הקורס מיועד לתלמידי תואר ראשון בשנה השלישית ללימודיהם. דרישות המינימום הן ציון ממוצע נוכחי של 85. מספר המקומות בקורס מוגבל מאוד. עקב כך, ההרשמה תתבצע בצורה ידנית ולא דרך מערכת הבידינג. להרשמה, נא לשלוח גיליון ציונים מעודכן וכל פרט רלוונטי אחר לרכזת המנהלית של הקורס, רונית רייטשטיין (ronitrei@post.tau.ac.il).

0368-3323-01	סמינר בסיבוכיות תקשורת
פרופ רובינפלד רונית		סמינר	קפלון	319	א'	1500- 1300	סמ' א'
The need for communication arises whenever two or more computers, systems or humans need to jointly perform a task that they cannot perform alone. In this course we will study the question of how much communication is necessary to solve a given computational problem. Such questions are of fundamental interest in their own right, and are also increasingly important to the understanding of computational requirements for algorithms for massive data sets, most notably in the streaming model. We will cover selected topics from the text "Communication Complexity" by E. Kushilevitz and N. Nisan. At the end of the semester, if time and interest permits, we will cover papers on recent applications of communication complexity to lower bounds for the streaming model. Students are expected to present a lecture on a section of the book.

0368-3369-01	סמינר בתכנות מונחה אספקטים
פרופ יהודאי עמירם		סמינר			א'	1100- 0900	סמ' ב'
בבניית מערכת תוכנה יש צורך ליישם אוסף של דרישות אופרטיביות. על מנת לאפשר תחזוקה של תוכנה, מערכת תוכנה נדרשת להיות מודולורית, כלומר יש לבנות את המערכת כאוסף של מודולים, באופן שכל מודול מטפל בנושא מסוים (concern), ומסתיר את פרטי הנושא ככל האפשר מיתר המערכת. בתכנות מונחה עצמים המחלקות מהוות את המודולים הבסיסיים של המערכת, ומאפשרות ארכיטקטורת תוכנה שבה ניתן לקיים את עקרונות המודולריות – לוקליזציה והפרדת עניינים. בשנים האחרונות הבחינו חוקרים ומפתחים רבים, שישנם נושאים שמערכת תוכנה מונחית עצמים לא יכולה לבודדם במחלקה אחת או במספר קטן של מחלקות. אלה נושאים שנחתכים עם חלק גדול מהמערכת, (הם נקראים crosscutting concerns ). תכנות מונחה אספקטים היא גישה חדשנית למודולריזציה של מערכות תכנות שפותחה בעשור האחרון במעבדות מחקר שונות, וזוכה לאחרונה להכרה ולשימוש גוברים והולכים. קיימות מספר שפות תכנות בגישה זאת, וכן כלי פיתוח. נכתבו עבודות רבות על הצורך והשימוש בגישה זאת, על עקרונותיה, ועל הדרכים ליישומה. הסמינר יעסוק בנושאים אלה,אך גם בנושאים מתקדמים אחרים בשפות תכנות, תוך הסתמכות על מאמרים בספרות, בעיקר מהספר: Robert E. Filman, Tzilla Elrad, Siobhán Clarke, Mehmet Aksit, Aspect-Oriented Software Development, Addison-Wesley, 2004 ידע מוקדם דרוש: הקורס תוכנה 1 (במתכונת החדשה).

0368-3458-01	מערכות בסיסי נתונים
מר בוים ראובן		שיעור	אורנשטיין	111	ג'	1600- 1300	סמ' א'
1. תוכן הקורס: מבוא למערכות בסיסי נתונים: מערכות בסיסי נתונים מאפשרות ניהול וטיפול בכמויות נתונים עצומות שצריכות להישמר לצורכי עדכון ושליפה יעילה, והינן הלב של אפליקציות מסחריות רבות. מטרת הקורס לתת מבוא לתכנון ושימוש במערכות בסיסי נתונים ולהבנת העקרונות המנחים בבניית מערכות אלה. נתחיל בהכרת המודל היחסי ושפת השאילתות SQL, ובלימוד שיטות לתכנון המסד, כולל מודל ישויות-קשרים. אם הזמן ירשה, נטפל במידע XML ושפות השאילתא המתאימות לו. בהמשך נדון בארכיטקטורה הפנימית של המערכות, כולל אכסון נתונים יעיל, אופטימיזציה של שאילתות, מנגנוני בקרת מקביליות, וכדומה. 2. חובות התלמיד: השתתפות בשיעורים, הגשה של פתרונות התרגילים והפרויקט, מבחן מסכם. 3. הרכב הציון: תרגילים 25% פרויקט: 30% מבחן: 40% פרמטרים נוספים: 5% תרגילים/פרויקט שיוגשו באיחור לא יתקבלו (מלבד מיקרים המאושרים אל פי התקנון) 4. חומרי עזר : בדף הבית http://www.cs.tau.ac.il/~milo/db04/DBHomePage.htm

0368-3464-01	עיבוד ספרתי של אותות
ד"ר שטיין יעקב		שיעור	אוד' מלמד / הולצבלט	007	א'	2000- 1700	סמ' א'
הקורס נועד לתלמידי תואר ראשון ושני במדעי המחשב או מתימטיקה. הקורס מתבסס על ספר לימוד "Digital Signal Processing - a Computer Science Perspective" Wiley:2000) John) מאת המרצה. רשימת הנושאים, ובעיקר חלק היישומים שבה, עשויה להשתנות בהתאם לתחומי העניין של קהל הסטודנטים. רקע מתימטי דרוש: · מספרים מרוכבים · פונקציות טריגונומריות ואקספוננציאליות · מושגי יסוד באלגברה ליניארית (מרחב ווקטורי, מטריצה, פתרון משוואות ליניאריות) · אינפי בסיסי (נגזרת, אנטגרל, טור אינסופי) רשימת הנושאים הנלמדים אותות 1) אותות אנאלוגיים וספרתיים, משפט הדגימה 2) ייצוג בזמן ובתדר 3) ספקטרום, עקרון אי-הוודאות 4) רעש מערכות לעיבוד אותות 1) מסננים ומערכות שאינן מסננים 2) זיהוי מערכות 3) מסננים מתואמים (במידה ויספיק הזמן) 4) מסננים אדפטיביים (במידה ויספיק הזמן) אלגוריתמים וארכיטקטורות חישוב 1) השימוש בגרפים ויישום מסננים סיפרתיים 2) אלגוריתם ה FFT 3) אלגוריתמים נומריים ב DSP (במידה ויספיק הזמן) 4) מעבדי אותות וההבדל בינם לבין ה CPU יישומים 1) DSP בתקשורת ומודמים 2) עיבוד, דחיסה והבנה של דיבור

0368-3500-01	סדנה במדעי המחשב
פרופ קפלן חיים		סדנה	קפלון	324	א'	1300- 1100	סמ' א'
We will be designing concurrent data structures in both Java and C/++. Each student/group will be taking a concurrent data structure (most will be from the book "The art of multiprocessor programming" and related papers") and will create C/++ and Java versions, then test them on a new Sun 128 way multiprocessor machine we have just received using a set of benchmarks we will provide. The results will then be published in a specific web form that we will supply and will be part of a library that we will most likely make available to other programmers.

0368-3500-02	סדנה במדעי המחשב
פרופ קפלן חיים		מעבדה			ב'	1600- 1300	סמ' א'
We will be designing concurrent data structures in both Java and C/++. Each student/group will be taking a concurrent data structure (most will be from the book "The art of multiprocessor programming" and related papers") and will create C/++ and Java versions, then test them on a new Sun 128 way multiprocessor machine we have just received using a set of benchmarks we will provide. The results will then be published in a specific web form that we will supply and will be part of a library that we will most likely make available to other programmers.

0368-3500-03	סדנה במדעי המחשב
		מעבדה			ג'	1500- 1200	סמ' א'
We will be designing concurrent data structures in both Java and C/++. Each student/group will be taking a concurrent data structure (most will be from the book "The art of multiprocessor programming" and related papers") and will create C/++ and Java versions, then test them on a new Sun 128 way multiprocessor machine we have just received using a set of benchmarks we will provide. The results will then be published in a specific web form that we will supply and will be part of a library that we will most likely make available to other programmers.

0368-3500-07	סדנה במדעי המחשב
ד"ר הלפרין ערן		סדנה	קפלון	319	ה'	1300- 1100	סמ' א'
The workshop will be on subjects in Bioinformatics. Each group of students will choose a research subject either out of a set of projects suggested in the course, or other related projects. The projects will include studying a specific subject by reading related research articles, and an attempt to improve on the state of the art technology in this subject. A successful attempt for such an improvement is not a requirement for the final grade; the latter will be determined by the creativity, effort, and progress made towards such an improvement. The course will be open to computer science students, with preference to Bioinformatics students.

0368-3500-13	סדנה במדעי המחשב
פרופ מטיאס יוסף		סדנה	פיזיקה-שנקר	105	ב'	1200- 1000	סמ' א'
Google Technologies for Web Development This is a workshop focusing on Google tools and technologies for Web Development. These include iGoogle Gadgets, Android (Google Phone), Google Maps, YouTube API, Google Visualization API, Google AppEngine and more. Students will group in teams of 3-4 students. Each group will come up with a project for the semster. Projects will include designing and developing a live web system. The course will include several frontal lectures going over the technologies, and the rest of the semester will include project reviews (initial project presentation, design and workplan review, several iterations of project demos and finally a complete project presentation). Each group will also maintain a web page with project documentation and design documents. The workshop website is: http://sites.google.com/site/taugadgets10a/ For references, see previous semesters: 2008/9 B 2008/9 A 2007/8 B 2007/8 A Classes will be held on Mondays 10-12 only

0368-3500-14	סדנה במדעי המחשב
פרופ מטיאס יוסף		מעבדה			ד'	1900- 1600	סמ' א'
Google Technologies for Web Development This is a workshop focusing on Google tools and technologies for Web Development These include iGoogle Gadgets, Android (Google Phone), Google Maps, YouTube API, Google Visualization API, Google AppEngine and more. Students will group in teams of 3-4 students. Each group will come up with a project for the semster. Projects will include designing and developing a live web system. The course will include several frontal lectures going over the technologies, and the rest of the semester will include project reviews (initial project presentation, design and workplan review, several iterations of project demos and finally a complete project presentation). Each group will also maintain a web page with project documentation and design documents. The workshop website is: http://sites.google.com/site/taugadgets10a/ For references, see previous semesters: 2007/8 A 2007/8 B 2008/9 A 2008/9 B Classes will be held on Mondays 10-12 only

0368-3500-15	סדנה במדעי המחשב
מר ברזילי אוהד		מעבדה			א'	1600- 1300	סמ' א'

This is a workshop focusing on Google tools and technologies for Web Development. These include iGoogle Gadgets, Android (Google Phone), Google Maps, YouTube API, Google Visualization API, Google AppEngine and more. Students will group in teams of 3-4 students. Each group will come up with a project for the semster. Project will include designing and developing a live web system. The course will include several frontal lectures going over the technologies, and the rest of the semester will include project reviews (initial project presentation, design and workplan review, several iterations of project demos and finally a complete project presentation). Each group will also maintain a web page with project documentation and design documents. The workshop website is: http://sites.google.com/site/taugadgets10a/ For references, see previous semesters: 2007/8 A. 2007/8 B. 2008/9 A. 2008/9 B. Classes will be held on Mondays 10-12 only. This time slot (Sunday 13:00-16:00) is reserved for office hours.

0368-3500-16	סדנה במדעי המחשב
פרופ תא-שמע אמנון		סדנה	קפלון	324	ד'	1200- 1000	סמ' א'
The workshop will focus on two electronic voting protocols. Our objective is to obtain a protocol that will meet the following conditions: 1. Results cannot be forged. 2. Anonymity. 3. The voting can not be coerced. 4. No need to bring any computational device to the voting booth. 5. Simplicity. It is not easy to obtain all of these goals simultaneously. We will discuss how well the two methods we implement achieve these goals.

0368-3500-25	סדנה במדעי המחשב
ד"ר וולף ליאור		סדנה			א'	1100- 0900	סמ' ב'
הסדנא תעסוק בשני נושאים: 1. פיתוח אינטרנט באמצעות PHP ו ZEND FRAMEWORK למרבית הסטודנטים או 2. ראייה ממוחשבת לסטודנטים אשר מתעניינים בתחום להוראה של 1 יבוא מרצה אורח מחברת ZEND (החברה שהמציאה את PHP) להעביר הדרכות מפורטות במשך כמה שבועות. רקע על PHP, שהיא שפה פשוטה במיוחד ללמידה: האינטרנט הפך להיות חלק משמעותי בחיי היום יום שלנו ולכן גם בתעשיית הפיתוח העולמית. בעולם של היום, כאשר כשליש משרתי האינטרנט בעולם מריצים PHP ויותר ויותר חברות מעבירות את המערכות שלהם להיות מבוססות רשת, הביקוש למפתחי PHP איכותיים רק גובר. משום כך הוחלט לפתוח סדנא העוסקת בשרתי LAMP תוך התמקדות בשפת PHP אשר תציג את יכולות השפה והשוני בין תפיסות פיתוח קונבנציונאליות לתפיסות פיתוח מוכוון רשת. בסדנא יוצגו כלים, ספריות ושיטות העומדים בבסיס הפיתוח האינטרנטי העכשוי כשהשאיפה היא לחשוף את הסטונדטים לעולם הפיתוח מבוסס הרשת ולהביא אותם למצב בו יוכלו להשתלב בתעשיה.

0368-3500-29	סדנה במדעי המחשב
פרופ רבינוביץ אלכסנדר		מעבדה			ב'	1500- 1200	סמ' ב'


0368-3500-30	סדנה במדעי המחשב
		מעבדה			ג'	1300- 1000	סמ' ב'


0368-3500-31	סדנה במדעי המחשב
פרופ שרן רודד		סדנה			ד'	1600- 1400	סמ' ב'
סדנת "מיני מחקר" בה כל קבוצה (בגודל 1 או 2) מקבלת פרוייקט מחקרי בתחום ביואינפורמטי. המשימה היא ללמוד את הנושא, להבין את הבעייה המחקרית ואת אופי ה-data (אשר פעמים רבות יילקח מבסיסי נתונים ביולוגיים), לכתוב קוד הפותר את הבעייה, ולהעריך את טיב התוצאות. חלק לא זניח מן המטלות הוא הצגת התקדמות הפרוייקט, בשלושה שלבים שונים, בפני כלל הקבוצה (לא רק בפני המרצה), ומעקב צמוד של צוות הקורס אחר ההתקדמות. במספר מקרים בעבר הובילו פרוייקטים אלה למאמרים בספרות המקצועית (אך זה כמובן אינו תנאי הכרחי לצורך הצלחה בקורס). הפרוייקט פתוח לכלל למידי מדעי המחשב בשנה ג', אך תנתן עדיפות לתלמידי מסלול הביואינפורמטיקה.

0368-3500-37	סדנה במדעי המחשב
פרופ מנצור ישי		סדנה			ב'	1600- 1400	סמ' ב'
: Systems Biology is an active research field that deals with the modeling of complex biological systems (e.g. genetic regulation, signal transduction, metabolism, etc). In many cases, the inherent complexity of these systems enables a direct modeling of only small sub-systems consisting of very few genes and proteins. A remarkable exception is cellular metabolism for which a specific computational approach enables the analysis of large-scale models spanning hundreds of genes. This approach called constraint-based modeling (CBM) successfully predicts different metabolic phenotypes in microorganisms having various applications in the field of bioengineering. Nowadays, with the first version of a genome-scale human metabolic model that is just published (by the Systems Biology Research Group in UCSD), CBM models are expected to also have concrete biomedical applications. In this workshop we aim to develop computational methods for modeling metabolic processes within the framework of CBM. No previous biological knowledge is required for participating in the workshop. The workshop will start with an introduction to molecular biology and metabolism, and then move on to CBM models. Projects will be done in groups of 2-3 students under our close guidance. Note that due to the nature of research work, the workshop is likely to require a considerable investment of time and effort, providing a unique opportunity to take part in a very active research field. Interested students who have further questions are invited to contact Tomer via e-mail shlomito@post.tau.ac.il.

0368-3500-40	סדנה במדעי המחשב
פרופ מטיאס יוסף		סדנה			ב'	1200- 1000	סמ' ב'
Google Technologies for Web Development This is a workshop focusing on Google tools and technologies for Web Development These include iGoogle Gadgets, Android (Google Phone), Google Maps, YouTube API, Google Visualization API, Google AppEngine and more. Students will group in teams of 3-4 students. Each group will come up with a project for the semster. Projects will include designing and developing a live web system. The course will include several frontal lectures going over the technologies, and the rest of the semester will include project reviews (initial project presentation, design and workplan review, several iterations of project demos and finally a complete project presentation). Each group will also maintain a web page with project documentation and design documents. The workshop website is: http://sites.google.com/site/taugadgets10b/ For references, see previous semesters: 2007/8 A 2007/8 B 2008/9 A 2008/9 B 2009/10 A Classes will be held on Mondays 10-12 only

0368-3500-41	סדנה במדעי המחשב
פרופ מטיאס יוסף		מעבדה			ד'	1900- 1600	סמ' ב'
Google Technologies for Web Development This is a workshop focusing on Google tools and technologies for Web Development These include iGoogle Gadgets, Android (Google Phone), Google Maps, YouTube API, Google Visualization API, Google AppEngine and more. Students will group in teams of 3-4 students. Each group will come up with a project for the semster. Projects will include designing and developing a live web system. The course will include several frontal lectures going over the technologies, and the rest of the semester will include project reviews (initial project presentation, design and workplan review, several iterations of project demos and finally a complete project presentation). Each group will also maintain a web page with project documentation and design documents. The workshop website is: http://sites.google.com/site/taugadgets10b/ For references, see previous semesters: 2007/8 A 2007/8 B 2008/9 A 2008/9 B 2009/10 A Classes will be held on Mondays 10-12 only

0368-3500-42	סדנה במדעי המחשב
מר ברזילי אוהד		מעבדה			א'	1600- 1300	סמ' ב'
This is a workshop focusing on Google tools and technologies for Web Development. These include iGoogle Gadgets, Android (Google Phone), Google Maps, YouTube API, Google Visualization API, Google AppEngine and more. Students will group in teams of 3-4 students. Each group will come up with a project for the semster. Project will include designing and developing a live web system. The course will include several frontal lectures going over the technologies, and the rest of the semester will include project reviews (initial project presentation, design and workplan review, several iterations of project demos and finally a complete project presentation). Each group will also maintain a web page with project documentation and design documents. The workshop website is: http://sites.google.com/site/taugadgets10b/ For references, see previous semesters: 2007/8 A. 2007/8 B. 2008/9 A. 2008/9 B. Classes will be held on Mondays 10-12 only. This time slot is reserved for office hours.

0368-3500-46	סדנה במדעי המחשב
פרופ אפק יהודה		סדנה	פיזיקה-שנקר	114	ג'	1800- 1600	סמ' א'
Title: "The use of mobile devices to serve communities” In this workshop mobile applications will be designed and developed in order to serve different communities. Students will learn Mobility Technology; that include 1. How to program Cell phones that run Windows Mobile 2. How to program them to access WEB services such as maps. 3. How to access and take advantage of advanced features of Mobile Windows and Smart phones such as GPS, touch screens, etc. A smartphone will be provided to each group (for the project only). Each group will meet a “scoped” community such as handicapped people and ask the students to: 1. Define a project that can help the people in this community or similar communities 2. To implement the project to demonstrate its feasibility. The project will be supervised by people from Microsoft R&D center and from TAU CS department.
In this workshop mobile applications will be designed and developed in order to serve different communities. Students will learn Mobility Technology; that include 1. How to program Cell phones that run Windows Mobile 2. How to program them to access WEB services such as maps. 3. How to access and take advantage of advanced features of Mobile Windows and Smart phones such as GPS, touch screens, etc. A smartphone will be provided to each group (for the project only). Each group will meet a “scoped” community such as handicapped people and ask the students to: 1. Define a project that can help the people in this community or similar communities 2. To implement the project to demonstrate its feasibility. The project will be supervised by people from Microsoft R&D center and from TAU CS department.

Google Technologies for Web Development

Google Technologies for Web Development

Google Technologies for Web Development

Google Technologies for Web Development