שנה"ל תשע"ו

0368-1101-01
 סמינר נושאים בביואינפורמטיקה 1
 Seminar - Topics in Bioinformatics 1
פרופ וולפסון חייםסמינר אורנשטיין110 ב'1600-1400 סמ'  א'
סמינר אורנשטיין110 ב'1600-1400 סמ'  ב'
 
0368-1105-01
 מבוא מורחב למדעי המחשב
 Extended Introduction to Computer Science
פרופ יהודאי עמירםשיעור כיתות דן דוד003 א'1600-1400 סמ'  א'
שיעור כיתות דן דוד003 ד'1200-1000 סמ'  א'
מר רובינשטיין אמיר

בקורס מבואי זה יוצגו מושגי יסוד במדעי המחשב, לצד מושגים בתכנות ובשפות תכנות. השפה בה נשתמש תהיה פייתון, גרסא 3, והיא תהווה פלטפורמה להצגה וטיפול במגוון נושאים בעלי עניין כללי במדעי המחשב.

נושאים לדוגמא: מיון וחיפוש; מבוא למבני נתונים; טבלאות ערבול (hash tables); ייצוג תווים ומחרוזות, התאמת מחרוזות; ייצוג ועיבוד תמונה; קודים לתיקון טעויות; דחיסת טקסט; חישובים נומריים ויציבותם; פעולות על מספרים גדולים מאוד ושימושיהן בתורת המספרים (בדיקת ראשוניות) ובתורת ההצפנות (יצירת מפתח סודי משותף); תכנות מונחה עצמים; רקורסיה; מושגים בתכנות פונקציונלי, ייצוג עצמים אינסופיים במחשב, ועוד.

 

בחלק מהנושאים נציג ונשווה בין מספר גישות לפתרון הבעיה. יינתן דגש על נכונות הפתרונות, ועל הסיבוכיות שלהם, הן סיבוכיות אסימפטוטית והן זמן ריצה בפועל. 


הקורס שם דגש על חשיפה למגוון תחומים במדעי המחשב, ועל כן אינו קורס "טהור" בתכנות, אך המטלות בו יכללו כתיבת תכניות מחשב בהיקף משמעותי.

This introductory course presents fundamental concepts of computer science, along with foundations of programming and programming languages. The language used is python, version 3, which will serve as the platform for presenting a variety of topics of general interest in computer science.

Sample topics: Sorting and searching; introduction to data structures; hash tables; representation of characters and strings, string matching;  image representation and processing; error correcting codes; text compression; numerical computations and their stability; operations on very large numbers and their applications in number theory (primality testing) and in cryptography (generating a joint secret key); object oriented programming; recursion;  concepts in functional programming, representation of infinite object; etc.

 

Several approaches for representing each problem and its input, and for finding a solution, will be presented. The emphasis will be on structured solutions, their correctness and their complexity, both asymptotic and actual run time.

 

The main goal of the course is to expose students to a variety of areas in computer science, hence it is not a "pure" programming course. However, homework assignments will include writing a significant volume of computer programs

 

 
0368-1105-04
 מבוא מורחב למדעי המחשב
 Extended Introduction to Computer Science
פרופ יהודאי עמירםשיעור כיתות דן דוד003 א'1800-1600 סמ'  א'
שיעור כיתות דן דוד003 ד'1400-1200 סמ'  א'
מר רובינשטיין אמיר

בקורס מבואי זה יוצגו מושגי יסוד במדעי המחשב, לצד מושגים בתכנות ובשפות תכנות. השפה בה נשתמש תהיה פייתון, גרסא 3, והיא תהווה פלטפורמה להצגה וטיפול במגוון נושאים בעלי עניין כללי במדעי המחשב.

נושאים לדוגמא: מיון וחיפוש; מבוא למבני נתונים; טבלאות ערבול (hash tables); ייצוג תווים ומחרוזות, התאמת מחרוזות; ייצוג ועיבוד תמונה; קודים לתיקון טעויות; דחיסת טקסט; חישובים נומריים ויציבותם; פעולות על מספרים גדולים מאוד ושימושיהן בתורת המספרים (בדיקת ראשוניות) ובתורת ההצפנות (יצירת מפתח סודי משותף); תכנות מונחה עצמים; רקורסיה; מושגים בתכנות פונקציונלי, ייצוג עצמים אינסופיים במחשב, ועוד.

 

בחלק מהנושאים נציג ונשווה בין מספר גישות לפתרון הבעיה. יינתן דגש על נכונות הפתרונות, ועל הסיבוכיות שלהם, הן סיבוכיות אסימפטוטית והן זמן ריצה בפועל. 


הקורס שם דגש על חשיפה למגוון תחומים במדעי המחשב, ועל כן אינו קורס "טהור" בתכנות, אך המטלות בו יכללו כתיבת תכניות מחשב בהיקף משמעותי.

This introductory course presents fundamental concepts of computer science, along with foundations of programming and programming languages. The language used is python, version 3, which will serve as the platform for presenting a variety of topics of general interest in computer science.

Sample topics: Sorting and searching; introduction to data structures; hash tables; representation of characters and strings, string matching;  image representation and processing; error correcting codes; text compression; numerical computations and their stability; operations on very large numbers and their applications in number theory (primality testing) and in cryptography (generating a joint secret key); object oriented programming; recursion;  concepts in functional programming, representation of infinite object; etc.

 

Several approaches for representing each problem and its input, and for finding a solution, will be presented. The emphasis will be on structured solutions, their correctness and their complexity, both asymptotic and actual run time.

 

The main goal of the course is to expose students to a variety of areas in computer science, hence it is not a "pure" programming course. However, homework assignments will include writing a significant volume of computer programs

 
0368-1105-05
 מבוא מורחב למדעי המחשב
 Extended Introduction to Computer Science
מר ברן יעלתרגיל אורנשטיין103 ב'1400-1200 סמ'  א'

בקורס מבואי זה יוצגו מושגי יסוד במדעי המחשב, לצד מושגים בתכנות ובשפות תכנות. השפה בה נשתמש תהיה פייתון, גרסא 3, והיא תהווה פלטפורמה להצגה וטיפול במגוון נושאים בעלי עניין כללי במדעי המחשב.
נושאים לדוגמא: מיון וחיפוש; טבלאות ערבול (
hash tables); ייצוג תווים ומחרוזות, התאמת מחרוזות; ייצוג ועיבוד תמונה; קודים לתיקון טעויות; דחיסת טקסט; חישובים נומריים ויציבותם; פעולות על מספרים גדולים מאוד ושימושיהן בתורת המספרים (בדיקת ראשוניות) ובתורת ההצפנות  

(יצירת מפתח סודי משותף); ערבול גיאומטרי (geometric hashing); תכנות מונחה עצמים; מושגים בתכנות פונקציונלי, ייצוג עצמים אינסופיים במחשב, ועוד.

יוסברו מספר גישות אפשריות לייצוג הבעיה והקלט, ולמציאת פתרון. יינתן דגש על פתרונות מובנים, על נכונות הפתרונות, ועל סיבוכיותם, הן אסימפטוטית והן על זמן הריצה בפועל.

הקורס שם דגש על חשיפה למגוון תחומים במדעי המחשב, ועל כן אינו קורס "טהור" בתכנות, אך המטלות בו יכללו כתיבת תכניות מחשב בהיקף משמעותי.

 

 
0368-1105-06
 מבוא מורחב למדעי המחשב
 Extended Introduction to Computer Science
מר ברן יעלתרגיל כיתות דן דוד110 ג'1000-0800 סמ'  א'

בקורס מבואי זה יוצגו מושגי יסוד במדעי המחשב, לצד מושגים בתכנות ובשפות תכנות. השפה בה נשתמש תהיה פייתון, גרסא 3, והיא תהווה פלטפורמה להצגה וטיפול במגוון נושאים בעלי עניין כללי במדעי המחשב.
נושאים לדוגמא: מיון וחיפוש; טבלאות ערבול (
hash tables); ייצוג תווים ומחרוזות, התאמת מחרוזות; ייצוג ועיבוד תמונה; קודים לתיקון טעויות; דחיסת טקסט; חישובים נומריים ויציבותם; פעולות על מספרים גדולים מאוד ושימושיהן בתורת המספרים (בדיקת ראשוניות) ובתורת ההצפנות  

(יצירת מפתח סודי משותף); ערבול גיאומטרי (geometric hashing); תכנות מונחה עצמים; מושגים בתכנות פונקציונלי, ייצוג עצמים אינסופיים במחשב, ועוד.

יוסברו מספר גישות אפשריות לייצוג הבעיה והקלט, ולמציאת פתרון. יינתן דגש על פתרונות מובנים, על נכונות הפתרונות, ועל סיבוכיותם, הן אסימפטוטית והן על זמן הריצה בפועל.

הקורס שם דגש על חשיפה למגוון תחומים במדעי המחשב, ועל כן אינו קורס "טהור" בתכנות, אך המטלות בו יכללו כתיבת תכניות מחשב בהיקף משמעותי.

 

 
0368-1105-07
 מבוא מורחב למדעי המחשב
 Extended Introduction to Computer Science
מר רובינשטיין אמירשיעור כיתות דן דוד003 א'1800-1600 סמ'  ב'
שיעור כיתות דן דוד003 ד'1700-1500 סמ'  ב'
ד"ר דויטש דניאל

בקורס מבואי זה יוצגו מושגי יסוד במדעי המחשב, לצד מושגים בתכנות ובשפות תכנות. השפה בה נשתמש תהיה פייתון, גרסא 3, והיא תהווה פלטפורמה להצגה וטיפול במגוון נושאים בעלי עניין כללי במדעי המחשב.
נושאים לדוגמא: מיון וחיפוש; טבלאות ערבול (
hash tables); ייצוג תווים ומחרוזות, התאמת מחרוזות; ייצוג ועיבוד תמונה; קודים לתיקון טעויות; דחיסת טקסט; חישובים נומריים ויציבותם; פעולות על מספרים גדולים מאוד ושימושיהן בתורת המספרים (בדיקת ראשוניות) ובתורת ההצפנות  

(יצירת מפתח סודי משותף); ערבול גיאומטרי (geometric hashing); תכנות מונחה עצמים; מושגים בתכנות פונקציונלי, ייצוג עצמים אינסופיים במחשב, ועוד.

יוסברו מספר גישות אפשריות לייצוג הבעיה והקלט, ולמציאת פתרון. יינתן דגש על פתרונות מובנים, על נכונות הפתרונות, ועל סיבוכיותם, הן אסימפטוטית והן על זמן הריצה בפועל.

הקורס שם דגש על חשיפה למגוון תחומים במדעי המחשב, ועל כן אינו קורס "טהור" בתכנות, אך המטלות בו יכללו כתיבת תכניות מחשב בהיקף משמעותי.

 

 
0368-1105-08
 מבוא מורחב למדעי המחשב
 Extended Introduction to Computer Science
מר ברן יעלתרגיל אורנשטיין103 ה'1400-1200 סמ'  ב'

בקורס מבואי זה יוצגו מושגי יסוד במדעי המחשב, לצד מושגים בתכנות ובשפות תכנות. השפה בה נשתמש תהיה פייתון, גרסא 3, והיא תהווה פלטפורמה להצגה וטיפול במגוון נושאים בעלי עניין כללי במדעי המחשב.
נושאים לדוגמא: מיון וחיפוש; טבלאות ערבול (
hash tables); ייצוג תווים ומחרוזות, התאמת מחרוזות; ייצוג ועיבוד תמונה; קודים לתיקון טעויות; דחיסת טקסט; חישובים נומריים ויציבותם; פעולות על מספרים גדולים מאוד ושימושיהן בתורת המספרים (בדיקת ראשוניות) ובתורת ההצפנות  

(יצירת מפתח סודי משותף); ערבול גיאומטרי (geometric hashing); תכנות מונחה עצמים; מושגים בתכנות פונקציונלי, ייצוג עצמים אינסופיים במחשב, ועוד.

יוסברו מספר גישות אפשריות לייצוג הבעיה והקלט, ולמציאת פתרון. יינתן דגש על פתרונות מובנים, על נכונות הפתרונות, ועל סיבוכיותם, הן אסימפטוטית והן על זמן הריצה בפועל.

הקורס שם דגש על חשיפה למגוון תחומים במדעי המחשב, ועל כן אינו קורס "טהור" בתכנות, אך המטלות בו יכללו כתיבת תכניות מחשב בהיקף משמעותי.

 

 
0368-1105-09
 מבוא מורחב למדעי המחשב
 Extended Introduction to Computer Science
מר ברן יעלתרגיל פיזיקה-שנקר104 ה'1800-1600 סמ'  ב'

בקורס מבואי זה יוצגו מושגי יסוד במדעי המחשב, לצד מושגים בתכנות ובשפות תכנות. השפה בה נשתמש תהיה פייתון, גרסא 3, והיא תהווה פלטפורמה להצגה וטיפול במגוון נושאים בעלי עניין כללי במדעי המחשב.
נושאים לדוגמא: מיון וחיפוש; טבלאות ערבול (
hash tables); ייצוג תווים ומחרוזות, התאמת מחרוזות; ייצוג ועיבוד תמונה; קודים לתיקון טעויות; דחיסת טקסט; חישובים נומריים ויציבותם; פעולות על מספרים גדולים מאוד ושימושיהן בתורת המספרים (בדיקת ראשוניות) ובתורת ההצפנות  

(יצירת מפתח סודי משותף); ערבול גיאומטרי (geometric hashing); תכנות מונחה עצמים; מושגים בתכנות פונקציונלי, ייצוג עצמים אינסופיים במחשב, ועוד.

יוסברו מספר גישות אפשריות לייצוג הבעיה והקלט, ולמציאת פתרון. יינתן דגש על פתרונות מובנים, על נכונות הפתרונות, ועל סיבוכיותם, הן אסימפטוטית והן על זמן הריצה בפועל.

הקורס שם דגש על חשיפה למגוון תחומים במדעי המחשב, ועל כן אינו קורס "טהור" בתכנות, אך המטלות בו יכללו כתיבת תכניות מחשב בהיקף משמעותי.

 

 
0368-1105-10
 מבוא מורחב למדעי המחשב
 Extended Introduction to Computer Science
מר רובינשטיין אמירשיעור כיתות דן דוד003 א'1600-1400 סמ'  ב'
שיעור כיתות דן דוד003 ד'1500-1300 סמ'  ב'
ד"ר דויטש דניאל
 
0368-1105-11
 מבוא מורחב למדעי המחשב
 Extended Introduction to Computer Science
גב' קליינבורט מיכלתרגיל אורנשטיין103 ב'1300-1100 סמ'  ב'

בקורס מבואי זה יוצגו מושגי יסוד במדעי המחשב, לצד מושגים בתכנות ובשפות תכנות. השפה בה נשתמש תהיה פייתון, גרסא 3, והיא תהווה פלטפורמה להצגה וטיפול במגוון נושאים בעלי עניין כללי במדעי המחשב.
נושאים לדוגמא: מיון וחיפוש; טבלאות ערבול (
hash tables); ייצוג תווים ומחרוזות, התאמת מחרוזות; ייצוג ועיבוד תמונה; קודים לתיקון טעויות; דחיסת טקסט; חישובים נומריים ויציבותם; פעולות על מספרים גדולים מאוד ושימושיהן בתורת המספרים (בדיקת ראשוניות) ובתורת ההצפנות  

(יצירת מפתח סודי משותף); ערבול גיאומטרי (geometric hashing); תכנות מונחה עצמים; מושגים בתכנות פונקציונלי, ייצוג עצמים אינסופיים במחשב, ועוד.

יוסברו מספר גישות אפשריות לייצוג הבעיה והקלט, ולמציאת פתרון. יינתן דגש על פתרונות מובנים, על נכונות הפתרונות, ועל סיבוכיותם, הן אסימפטוטית והן על זמן הריצה בפועל.

הקורס שם דגש על חשיפה למגוון תחומים במדעי המחשב, ועל כן אינו קורס "טהור" בתכנות, אך המטלות בו יכללו כתיבת תכניות מחשב בהיקף משמעותי.

 

 
0368-1105-12
 מבוא מורחב למדעי המחשב
 Extended Introduction to Computer Science
גב' קליינבורט מיכלתרגיל שרייבר מתמטי006 ה'1200-1000 סמ'  ב'

בקורס מבואי זה יוצגו מושגי יסוד במדעי המחשב, לצד מושגים בתכנות ובשפות תכנות. השפה בה נשתמש תהיה פייתון, גרסא 3, והיא תהווה פלטפורמה להצגה וטיפול במגוון נושאים בעלי עניין כללי במדעי המחשב.
נושאים לדוגמא: מיון וחיפוש; טבלאות ערבול (
hash tables); ייצוג תווים ומחרוזות, התאמת מחרוזות; ייצוג ועיבוד תמונה; קודים לתיקון טעויות; דחיסת טקסט; חישובים נומריים ויציבותם; פעולות על מספרים גדולים מאוד ושימושיהן בתורת המספרים (בדיקת ראשוניות) ובתורת ההצפנות  

(יצירת מפתח סודי משותף); ערבול גיאומטרי (geometric hashing); תכנות מונחה עצמים; מושגים בתכנות פונקציונלי, ייצוג עצמים אינסופיים במחשב, ועוד.

יוסברו מספר גישות אפשריות לייצוג הבעיה והקלט, ולמציאת פתרון. יינתן דגש על פתרונות מובנים, על נכונות הפתרונות, ועל סיבוכיותם, הן אסימפטוטית והן על זמן הריצה בפועל.

הקורס שם דגש על חשיפה למגוון תחומים במדעי המחשב, ועל כן אינו קורס "טהור" בתכנות, אך המטלות בו יכללו כתיבת תכניות מחשב בהיקף משמעותי.

 

 
0368-1105-13
 מבוא מורחב למדעי המחשב
 Extended Introduction to Computer Science
מר גלעד אמירתרגיל הנדסת תוכנה106 ב'1300-1100 סמ'  ב'

   

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

 

 

 

 

 

 

 

 

  בקורס מבואי זה, המורץ השנה לראשונה במתכונת ניסויית, יוצגו  

 

 
0368-1105-14
 מבוא מורחב למדעי המחשב
 Extended Introduction to Computer Science
תרגיל סמ'  א'
תכניות מחשב כאמצעי הבעה. בניה מודולרית של מערכות תוכנה באמצעות הפשטות. תהליכי חישוב.
א. הפשטה פונקציונלית: מודל ההצבה, פונקציות מסדר גבוה. ב. הפשטה וייצוג של נתונים: טיפוסים גלויים וכמוסים, תכנות מונחה נתונים. ג. עצמים ומצב מקומי: השמה, מודל הסביבות, העברת הודעות, זרמים והערכה עצלה. ד. בנית שפות חדשות ע"י אינטרפרטציה.
הקורס כולל עבודה מעשית - כתיבת תוכנות מחשב - בהקף רב.
 
0368-1118-01
 מתמטיקה בדידה
 Discrete Mathematics
פרופ פלדמן מיכלשיעור אודיטור' לב009 א'1400-1200 סמ'  א'
שיעור אודיטור' לב009 ב'1900-1700 סמ'  א'
ד"ר צ'צ'יק שירי
פרופ אברון ארנון

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-02
 מתמטיקה בדידה
 Discrete Mathematics
מר וולק בן ליתרגיל אורנשטיין103 ג'1000-0800 סמ'  א'

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-03
 מתמטיקה בדידה
 Discrete Mathematics
מר זוהר יהונתןתרגיל כיתות דן דוד110 ד'1200-1000 סמ'  א'

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-04
 מתמטיקה בדידה
 Discrete Mathematics
מר עדן אלון נתןתרגיל כיתות דן דוד203 ד'1200-1000 סמ'  א'
 

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-05
 מתמטיקה בדידה
 Discrete Mathematics
מר עדן אלון נתןתרגיל כיתות דן דוד110 ה'1000-0800 סמ'  א'

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-06
 מתמטיקה בדידה
 Discrete Mathematics
שיעור כיתות דן דוד003 ב'1400-1200 סמ'  א'
פרופ פלדמן מיכלשיעור אודיטור' לב009 ד'1500-1300 סמ'  א'
ד"ר צ'צ'יק שירי
פרופ אברון ארנון
 1

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-07
 מתמטיקה בדידה
 Discrete Mathematics
מר דורון דיןתרגיל אורנשטיין103 ה'1000-0800 סמ'  א'

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-08
 מתמטיקה בדידה
 Discrete Mathematics
מר דורון דיןתרגיל שרייבר מתמטי006 ה'1700-1500 סמ'  א'

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-09
 מתמטיקה בדידה
 Discrete Mathematics
גב' גריצ'נר קורלתרגיל הולצבלט007 ה'1700-1500 סמ'  א'

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-10
 מתמטיקה בדידה
 Discrete Mathematics
פרופ פלדמן מיכלשיעור אודיטור' לב009 ה'1500-1300 סמ'  א'
שיעור כיתות דן דוד001 ד'1800-1600 סמ'  א'
ד"ר צ'צ'יק שירי
פרופ אברון ארנון

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-11
 מתמטיקה בדידה
 Discrete Mathematics
מר וולק בן ליתרגיל כיתות דן דוד110 א'1400-1200 סמ'  א'

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-12
 מתמטיקה בדידה
 Discrete Mathematics
מר זוהר יהונתןתרגיל פיזיקה-שנקר104 ב'1800-1600 סמ'  א'

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-13
 מתמטיקה בדידה
 Discrete Mathematics
גב' גריצ'נר קורלתרגיל פיזיקה-שנקר204 ב'1800-1600 סמ'  א'

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-14
 מתמטיקה בדידה
 Discrete Mathematics
גב' כהן לירוןשיעור נפתלי101 ב'1900-1700 סמ'  ב'
שיעור כיתות דן דוד003 א'1400-1200 סמ'  ב'
מר דורון דיןשיעור סמ'  ב'

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-15
 מתמטיקה בדידה
 Discrete Mathematics
מר דורון דיןתרגיל כיתות דן דוד205 ה'1200-1000 סמ'  ב'

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-1118-16
 מתמטיקה בדידה
 Discrete Mathematics
מר דורון דיןתרגיל ולפסון הנדסה118 ה'1600-1400 סמ'  ב'

                    

מתמטיקה בדידה

                                            ספר לימוד  לקורס: ארנון אברון "מבוא למתמטיקה בדידה"

                                                           

 

                        ספרים נוספים בעברית:  שי גירון ושוני דר "מתמטיקה בדידה"

                                                            נתי ליניאל ומיכל פרנס "מתמטיקה בדידה"

                                                            האוניברסיטה הפתוחה: "מתמטיקה דיסקרטית" (4 חלקים)

 

 

תוכנית הקורס:

 

חלק ראשון  - מבוא ל"תרבות מתמטית"- לוגיקה ותורת הקבוצות  

 

 

מושגים  בלוגיקה                        

טענות ופסוקים; על הגישה הפורמלית; גרירה;  שקילות; קוניונקציה ודיסיונקציה;  שלילה;  טאוטולוגיות;  טבלאות אמת;  משתנים ותבניות, הצבה וקשירה, משתנים קשורים ומשתנים חפשיים; כמתים; מנגנוני קשירה שונים; כלל אלפא; שלילה פורמלית.

 

 

מושגי יסוד בתורת הקבוצות      

קבוצות ואברים;  תת קבוצות; סימון קבוצות;   הפרדוקס של ראסל; עקרונות לבניית קבוצות;  הקבוצה הריקה;  קבוצת החזקה;  איחוד,  חיתוך, משלים, הפרש ותכונותיהם;  איחוד וחיתוך מוכללים

 

פונקציות ויחסים                        

זוגות סדורים; מכפלה קרטזית; יחסים;  היחס ההפוך;  הרכבת יחסים;  יחס מלא ויחס חד ערכי

פונקציות: פונקציות ופונקציות חלקיות; סימון l; פעולת החזקה בין קבוצות; פונקציות הפיכות                             

יחסים בתוך קבוצה ומיונם: תכונות של יחסים;  יחסי שקילות וחלוקות;  יחסי סדר

 

עוצמות                                     

עוצמה של קבוצה;  המספרים הטבעיים;  עוצמות אינסופיות; קבוצות בנות מניה ושימושיהן, אריתמטיקה של עוצמות;  סדר העוצמות; משפט  קנטור שרדר-ברנשטיין; קבוצות אינסופיות שאינן בנות מניה;  משפט קנטור

 

 

 

חלק שני - מבוא לקומבינטוריקה

 

 

עקרונות קומבינטוריים כלליים              

עקרונות החיבור והכפל;  עקרון שובך היונים; תמורות וצירופים

 

קומבינטוריקה סופית בסיסית               

תמורות עם או בלי חזרות; צרופים עם או בלי חזרות; הוכחות קומבינטוריות ; נוסחת הבינום; משולש פסקל;  תכונות של המקדמים הבינומיים    

 

עקרון ההכלה וההדחה              

פיתוח הנוסחה; שימושים; אי-סדר מלא

 

פונקציות  יוצרות                                               

הגדרה; מציאת פונקציות יוצרות; מציאת סדרות נוצרות; אופרטור הסכימה; פונקציות יוצרות מעריכית; שימושים לבעיות קומבינטוריות

 

רקורסיה                                                          

סדרות המוגדרות ברקורסיה; סדרת פיבונצ'י; משוואות נסיגה;  פתרון באמצעות פונקציות יוצרות רגילות; פתרון באמצעות הפולינום האופייני;  משואות נסיגה לינאריות הומוגניות במקדמים קבועים

 

מבוא לתורת הגרפים                 

הגדרות ושמושים אלמנטריים;  מסילות מעגלים וקשירות; עצים ונוסחת קיילי;  נושאים נוספים ככל שיתאפשר.

0368-2002-01
 הסתברות וסטטיסטיקה (לדו-חוגי)
 Probability and Statistics
ד"ר רובינשטיין שלומישיעור כיתות דן דוד003 א'1300-1000 סמ'  א'
מרחב מדגם, מאורעות, תכונות של מרחב הסתברות, מרחב מדגם סימטרי, הסתברות מותנית, הסתברות שלמה, אי תלות, משתנים מקריים בדידים ורציפים, התפלגויות דו מימדיות, התפלגויות מותנות, תוחלת, שונות, שונות משותפת, מקדם המתאם, אי שיוויונים, השונות של הממוצע, התכנסות בהתפלגות, משפט הגבול המרכזי, החוק החלש, מושגים בהסקה סטטיסטית, אומד חסר הטיה ואומד נראות מכסימלי.
0368-2002-02
 הסתברות וסטטיסטיקה (לדו-חוגי)
 Probability and Statistics
גב' ג'לג'ולי אימאןתרגיל אורנשטיין103 ג'1200-1100 סמ'  א'

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

 

0368-2002-03
 הסתברות וסטטיסטיקה (לדו-חוגי)
 Probability and Statistics
גב' ג'לג'ולי אימאןתרגיל פיזיקה-שנקר222 ג'1400-1300 סמ'  א'

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

 

0368-2101-01
 מעבדה בכלים (ביואינפורמטיקה)
 Laboratory for Bioinformatics Tools
מר רחמני אליאורמעבדה שרייבר מתמטי008 ב'1300-1000 סמ'  ב'

Bioinformatics is the application of computer science and computer technology to biological research. This course introduces some of the basic concepts, algorithms, and tools used in Bioinformatics. Assuming previous knowledge in both Computer Science and Biology, this course will provide an overview over the field of bioinformatics as well as provide the students with tools to solve related problems in their own future research.

 

The course will cover the following topics:

-           Pairwise sequence alignment

-           Multiple sequence alignment (MSA)

-           Blast

-           Phylogenetics

-           Biological databases and web browsers

-           Gene Expression analysis

-           Networks and pathways

-           Proteins structure

-           Python for Bioinformatics (including Biopython)

 

 

 

 

 

 

0368-2102-01
 סמינר נושאים בביואינפורמטיקה 2
 Seminar - Topics in Bioinformatics 2
פרופ הלפרין ערןסמינר קפלון118 ג'2000-1800 סמ'  א'
סמינר קפלון118 ג'2000-1800 סמ'  ב'
0368-2157-01
 תוכנה 1
 Programming 1
פרופ וולף ליאורשיעור אודיטור' לב009 ב'1500-1200 סמ'  א'

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

 

 

 

 

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

 

0368-2157-07
 תוכנה 1
 Programming 1
פרופ טולדו סיוןשיעור כיתות דן דוד003 ג'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
 Programming 1
גב' דנקין לנהתרגיל פיזיקה-שנקר204 ד'1100-1000 סמ'  ב'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.
0368-2157-09
 תוכנה 1
 Programming 1
גב' דנקין לנהתרגיל פיזיקה-שנקר204 ד'1200-1100 סמ'  ב'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.
0368-2157-11
 תוכנה 1
 Programming 1
גב' יונגמן בריתתרגיל כיתות דן דוד203 ד'1700-1600 סמ'  ב'
הקורס מציג את המתודולוגיה של תכנות מונחה עצמים ואת שפת התכנות ג'אווה. הקורס עוסק גם בצדדים תיאורטיים ועקרוניים של תכנות מונחה עצמים וגם מקנה מיומנויות תכנות בג'אווה. בצד התיאורטי, הקורס עוסק בנושאים: נכונות של מחלקה, נכונות במחלקות יורשות ומממשות, חוזים, משמעות ותיכון נכון של חריגים, טיפוסים גנריים, ועוד. בצד המעשי, הקורס מלמד את שפת ג'אווה ואת השימוש בספריות הסטנדרטיות שלה, כולל גישה לקבצים, מבני נתונים, שימוש בסביבת פיתוח מתקדמת, בדיקות תכנה וכדומה.
0368-2157-12
 תוכנה 1
 Programming 1
גב' יונגמן בריתתרגיל כיתות דן דוד203 ד'1800-1700 סמ'  ב'
0368-2158-01
 מבני נתונים
 Data Structures
פרופ הלפרין ערןשיעור כיתות דן דוד001 ד'1600-1300 סמ'  א'
פרופ לוי חנוךשיעור ד'1600-1300 סמ'  א'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-
0368-2158-02
 מבני נתונים
 Data Structures
מר ורדי עדיתרגיל כיתות דן דוד110 ה'1400-1300 סמ'  א'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-
0368-2158-03
 מבני נתונים
 Data Structures
מר ורדי עדיתרגיל כיתות דן דוד110 ה'1300-1200 סמ'  א'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-
0368-2158-04
 מבני נתונים
 Data Structures
פרופ לוי חנוךשיעור ג'1600-1300 סמ'  א'
פרופ עזר יוסףשיעור כיתות דן דוד003 ג'1600-1300 סמ'  א'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-
0368-2158-05
 מבני נתונים
 Data Structures
גב' רז אורית אסתרגיל כיתות דן דוד110 ה'1100-1000 סמ'  א'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-
0368-2158-06
 מבני נתונים
 Data Structures
גב' רז אורית אסתרגיל כיתות דן דוד110 ה'1200-1100 סמ'  א'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-
0368-2158-07
 מבני נתונים
 Data Structures
ד"ר הוד רנישיעור כיתות דן דוד003 ב'1700-1400 סמ'  ב'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-
0368-2158-08
 מבני נתונים
 Data Structures
מר כהן שראלתרגיל פיזיקה-שנקר222 ד'1000-0900 סמ'  ב'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-
0368-2158-09
 מבני נתונים
 Data Structures
מר כהן שראלתרגיל פיזיקה-שנקר222 ד'1100-1000 סמ'  ב'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-
0368-2158-10
 מבני נתונים
 Data Structures
מר ורדי עדיתרגיל כיתות דן דוד201 ה'1400-1300 סמ'  ב'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-
0368-2158-11
 מבני נתונים
 Data Structures
מר ורדי עדיתרגיל כיתות דן דוד201 ה'1500-1400 סמ'  ב'
טיפוס נתונים מופשט, רשימות לינאריות, מחסניות, תורים, רשימות משולבות, עצים, עצי חיפוש בינארי, עצים מאוזנים, תור עדיפות, העתקות מפתח, שיטות מיון, מיון חצוני, עציB-
0368-2159-01
 מבנה מחשבים
 Computer Structure
פרופ קנטי רןשיעור כיתות דן דוד003 ד'1900-1600 סמ'  א'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.
0368-2159-02
 מבנה מחשבים
 Computer Structure
מר כהן שראלתרגיל שרייבר מתמטי006 ב'1700-1600 סמ'  א'
מר סולוביי קיריל
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.
0368-2159-03
 מבנה מחשבים
 Computer Structure
מר כהן שראלתרגיל שרייבר מתמטי006 ב'1800-1700 סמ'  א'
מר סולוביי קיריל
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.
0368-2159-04
 מבנה מחשבים
 Computer Structure
מר סולוביי קירילתרגיל שרייבר מתמטי006 ה'1300-1200 סמ'  א'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.
0368-2159-05
 מבנה מחשבים
 Computer Structure
ד"ר הוד רנישיעור כיתות דן דוד001 ד'1700-1400 סמ'  ב'
מר סולוביי קירילשיעור סמ'  ב'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.
0368-2159-06
 מבנה מחשבים
 Computer Structure
מר סולוביי קירילתרגיל פיזיקה-שנקר204 ה'1500-1400 סמ'  ב'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.
0368-2159-07
 מבנה מחשבים
 Computer Structure
מר סולוביי קירילתרגיל פיזיקה-שנקר204 ה'1400-1300 סמ'  ב'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.
0368-2159-08
 מבנה מחשבים
 Computer Structure
מר סולוביי קירילתרגיל קפלון118 א'1600-1500 סמ'  ב'
רמת השערים: נושאים בסיסיים בתכנון לוגי (מפות קרנו, ייצוג מספרים וקודים לתיקון שגיאות), מימוש פונקציות בסיסיות (Adder, ALU). רמת הרכיבים: תכנון ותכנות מיקרו מחשב בסיסי, שפת אסמבלי, Pipeline, היררכיות זיכרון, ארכיטקטורות מחשב.
0368-2160-01
 אלגוריתמים
 Algorithms
פרופ שריר מיכהשיעור כיתות דן דוד001 ג'1800-1500 סמ'  א'
פרופ שמיר רון

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

 

0368-2160-02
 אלגוריתמים
 Algorithms
מר כהן אילן ראותרגיל פיזיקה-שנקר222 ה'1300-1200 סמ'  א'

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

 

0368-2160-03
 אלגוריתמים
 Algorithms
מר כהן אילן ראותרגיל כיתות דן דוד110 ה'1500-1400 סמ'  א'

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

 

0368-2160-04
 אלגוריתמים
 Algorithms
מר פרידלר אופירתרגיל כיתות דן דוד110 ד'1600-1500 סמ'  א'

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

 

0368-2160-05
 אלגוריתמים
 Algorithms
מר פרידלר אופירתרגיל כיתות דן דוד110 ה'1600-1500 סמ'  א'
0368-2160-07
 אלגוריתמים
 Algorithms
פרופ אלון נגהשיעור כיתות דן דוד003 ג'1900-1600 סמ'  ב'
פרופ פיאט עמוס
מר פרידלר אופירשיעור ג'1900-1600 סמ'  ב'

אלגוריתמים- 0368.2160

 

 

 

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

 

 

 

0368-2160-08
 אלגוריתמים
 Algorithms
מר כהן אילן ראותרגיל פיזיקה-שנקר204 ה'1200-1100 סמ'  ב'
0368-2160-09
 אלגוריתמים
 Algorithms
מר כהן אילן ראותרגיל פיזיקה-שנקר204 ה'1100-1000 סמ'  ב'
0368-2160-10
 אלגוריתמים
 Algorithms
פרופ אלון נגהשיעור כיתות דן דוד001 א'1500-1200 סמ'  ב'
פרופ פיאט עמוס
מר פרידלר אופירשיעור א'1500-1200 סמ'  ב'

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

 

0368-2160-11
 אלגוריתמים
 Algorithms
מר פרידלר אופירתרגיל כיתות דן דוד207 ה'1400-1300 סמ'  ב'

אלגוריתמים- 0368.2160

 

 

 

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

 

 

 

 

0368-2160-12
 אלגוריתמים
 Algorithms
מר פרידלר אופירתרגיל שרייבר מתמטי007 ד'1800-1700 סמ'  ב'

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

 

0368-2160-13
 אלגוריתמים
 Algorithms
מר פרידלר אופירתרגיל שרייבר מתמטי007 ה'1000-0900 סמ'  ב'

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

 

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

0368-2161-05
 פרויקט תוכנה
 Software Project
פרופ כהן-אור דניאלפרוייקט כיתות דן דוד003 ה'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-2161-07
 פרויקט תוכנה
 Software Project
פרופ כהן-אור דניאלפרוייקט טרובוביץ משפ101 ד'1500-1300 סמ'  ב'
פרופ הלפרין דן
מר אעראר מואבפרוייקט סמ'  ב'
0368-2162-01
 מערכות הפעלה
 Operating Systems
ד"ר טרומר ערןשיעור הנדסת תוכנה102 ה'1100-0800 סמ'  א'
תכנון ומימוש מערכות הפעלה: תהליכים. קבצים ומערכת קבצים. שימוש במשאב משותף: מניעה הדדית, נעילות, סמפורים. תזמון תהליכים. ניהול זכּרון, דפדוף, זכּרון וירטואלי. יסודות רשתות מחשבים.

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

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

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

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

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

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

0368-2162-09
 מערכות הפעלה
 Operating Systems
מר סולאמי משהתרגיל פיזיקה-שנקר104 ה'1500-1400 סמ'  ב'
תכנון ומימוש מערכות הפעלה: תהליכים. קבצים ומערכת קבצים. שימוש במשאב משותף: מניעה הדדית, נעילות, סמפורים. תזמון תהליכים. ניהול זכּרון, דפדוף, זכּרון וירטואלי. יסודות רשתות מחשבים.
 
0368-2162-10
 מערכות הפעלה
 Operating Systems
מר סולאמי משהתרגיל קפלון118 ה'1100-1000 סמ'  ב'
תכנון ומימוש מערכות הפעלה: תהליכים. קבצים ומערכת קבצים. שימוש במשאב משותף: מניעה הדדית, נעילות, סמפורים. תזמון תהליכים. ניהול זכּרון, דפדוף, זכּרון וירטואלי. יסודות רשתות מחשבים.
 
0368-2170-01
 לוגיקה למדעי המחשב
 Logic for Computer Science
ד"ר אושמן רותםשיעור לימודי הסביבה013Bג'1400-1100 סמ'  א'
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
0368-2170-02
 לוגיקה למדעי המחשב
 Logic for Computer Science
גב' כהן לירוןתרגיל שרייבר מתמטי006 ד'0900-0800 סמ'  א'
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
0368-2170-03
 לוגיקה למדעי המחשב
 Logic for Computer Science
גב' כהן לירוןתרגיל שרייבר מתמטי006 ד'1000-0900 סמ'  א'
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
0368-2170-04
 לוגיקה למדעי המחשב
 Logic for Computer Science
גב' כהן לירוןתרגיל שרייבר מתמטי006 ד'1100-1000 סמ'  א'
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
0368-2170-05
 לוגיקה למדעי המחשב
 Logic for Computer Science
פרופ רבינוביץ אלכסנדרשיעור כיתות דן דוד003 א'1200-0900 סמ'  ב'
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים, משפט הרברנד ושימושיו, לוגיקה אינטואיציוניסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
0368-2170-06
 לוגיקה למדעי המחשב
 Logic for Computer Science
גב' כהן לירוןתרגיל פיזיקה-שנקר104 ד'0900-0800 סמ'  ב'
גב' גריצ'נר קורל
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
0368-2170-07
 לוגיקה למדעי המחשב
 Logic for Computer Science
גב' כהן לירוןתרגיל פיזיקה-שנקר104 ד'1000-0900 סמ'  ב'
גב' גריצ'נר קורל
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
0368-2170-08
 לוגיקה למדעי המחשב
 Logic for Computer Science
גב' כהן לירוןתרגיל פיזיקה-שנקר104 ד'1100-1000 סמ'  ב'
גב' גריצ'נר קורל
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
0368-2200-01
 מודלים חישוביים
 Computational Models
פרופ שור בן ציוןשיעור כיתות דן דוד001 ב'1600-1300 סמ'  א'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church  ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי  NP שלמות ו– NP קושי: הגדרות ודוגמאות.
אתר הקורס: http://tau-cm2016.wikidot.com
0368-2200-02
 מודלים חישוביים
 Computational Models
גב' מוסקוביץ' אוריתתרגיל שרייבר מתמטי006 ד'1600-1500 סמ'  א'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church  ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי  NP שלמות ו– NP קושי: הגדרות ודוגמאות.
אתר הקורס: http://tau-cm2016.wikidot.com
0368-2200-03
 מודלים חישוביים
 Computational Models
גב' מוסקוביץ' אוריתתרגיל שרייבר מתמטי006 ד'1500-1400 סמ'  א'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church  ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי  NP שלמות ו– NP קושי: הגדרות ודוגמאות. 
אתר הקורס: http://tau-cm2016.wikidot.com
0368-2200-04
 מודלים חישוביים
 Computational Models
מר רתם גלתרגיל שרייבר מתמטי006 ד'1400-1300 סמ'  א'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church  ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי  NP שלמות ו– NP קושי: הגדרות ודוגמאות.
אתר הקורס: http://tau-cm2016.wikidot.com
0368-2200-05
 מודלים חישוביים
 Computational Models
גב' מוסקוביץ' יובלשיעור סמ'  ב'
מר זלצמן אורן
פרופ רובינפלד רוניתשיעור הנדסת תוכנה102 ד'1300-1000 סמ'  ב'
מר דורון דין
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church  ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי  NP שלמות ו– NP קושי: הגדרות ודוגמאות.
0368-2200-06
 מודלים חישוביים
 Computational Models
גב' מוסקוביץ' יובלתרגיל שרייבר מתמטי006 ה'1300-1200 סמ'  ב'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church  ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי  NP שלמות ו– NP קושי: הגדרות ודוגמאות.
0368-2200-07
 מודלים חישוביים
 Computational Models
מר זלצמן אורןתרגיל קפלון118 ה'1500-1400 סמ'  ב'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church  ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי  NP שלמות ו– NP קושי: הגדרות ודוגמאות.
0368-2200-08
 מודלים חישוביים
 Computational Models
גב' מוסקוביץ' יובלתרגיל הנדסת תוכנה104 ה'1500-1400 סמ'  ב'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church  ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי  NP שלמות ו– NP קושי: הגדרות ודוגמאות.
0368-2200-09
 מודלים חישוביים
 Computational Models
גב' מוסקוביץ' יובלשיעור סמ'  ב'
פרופ היטנר יפתח אילןשיעור כיתות דן דוד001 ב'1600-1300 סמ'  ב'
מר זלצמן אורן
מר דורון דין
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church  ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי  NP שלמות ו– NP קושי: הגדרות ודוגמאות.
 
0368-2200-10
 מודלים חישוביים
 Computational Models
מר דורון דיןתרגיל אורנשטיין103 ד'1600-1500 סמ'  ב'
אוטומטים סופיים ושפות רגולריות . למות ניפוח. אוטומטי מחסנית, דטרמיניסטיים ואי דטרמיניסטיים. דקדוקים ושפות חסרות הקשר. מכונות Turing. מודלים נוספים ושקילותם למכונות Turing (כולל RAM). התאזה של Church  ו– Turing. מכונות Turing אוניברסליות. אי כריעות של בעיית העצירה. רדוקציות מיפוי. משפט Rice. בעיות אי כריעות נוספות. סיבוכיות Kolmogorov. הבעיה העשירית של Hilbert (סקירה). משפט הרקורסיה. מחלקות זמן דטרמיניסטיות ואי דטרמיניסטיות. המחלקה NP. משפט Cook-Levin (ניסוח בלבד). רדוקציות פולינומיאליות, מושגי  NP שלמות ו– NP קושי: הגדרות ודוגמאות.
0368-2200-11
 מודלים חישוביים
 Computational Models
מר דורון דיןתרגיל אורנשטיין103 ד'1500-1400 סמ'  ב'
0368-2200-12
 מודלים חישוביים
 Computational Models
מר זלצמן אורןתרגיל קפלון118 ה'1400-1300 סמ'  ב'
0368-2200-13
 מודלים חישוביים
 Computational Models
מר זלצמן אורןתרגיל אורנשטיין111 ה'1300-1200 סמ'  ב'
0368-3030-01
 רשתות תקשורת מחשבים
 Communication Networks -
פרופ לוי חנוךשיעור כיתות דן דוד003 ה'1800-1500 סמ'  א'

Course name: Communication Networks

 

Course Syllabus

 

 

 

Lecturer: Dr. Eliezer Dor, 09-7719823, eliezer.dor@gmail.com

 

Credit: 4 (3+1)

 

Prerequisites: Algorithms, Introduction to Probability, Software Project

 

Course Objectives:

The course provides an introduction to the principles, challenges and techniques used in designing network architectures and protocols. 

The focus of the course is: network architectures, the layering model, the protocol concept, performance modeling, the Internet. Some of the topics included in detail: network programming, STP, ARP, reliable data transfer, flow and congestion control, addressing, routing algorithms,

 

Course Syllabus:

·         Introduction to network, layers and protocols

·         Datalink layer protocols, LAN protocols

·         LAN connectivity: Hubs, bridges, routers

·         Network layer: types of networks, addressing, forwarding, IP

·         Routing protocols & algorithms

·         Reliable data transfer issues and design alternatives

·         TCP handshake, data transfer, flow control,

·         TCP congestion control

·         Application protocols, Network security

·         Advanced topics (e.g. switching networks, scheduling ,  mobile IP, multicast) as time permits

 

Course prerequisites:

Algorithms, Introduction to Probability, Software Project

 

Course requirements:

Homework Assignments submission (should be done in pairs) 

 

Required reading:

None

 

 


Recommended reading
:

[1]   James F. Kurose and Keith W. Ross, “Computer Networking: A Top-Down Approach Featuring the Internet”, Addison-Wesley 3rd Edition (2005), 2nd ed. (2003)

[2]   S. Tanenbaum, “Computer Networks”,  Prentice-Hall, 4th ed. (2003) / 3rd ed (1996)

[3]   R. Perlman: Interconnections : Bridges, Routers, Switches and Interworking Protocols, Addisoin Wesley 2000

[4]   R. Stevens: TCP/IP Illustrated vol. I The Protocols, Addison Wesley 1994

[5]   R. Stevens, B. Fenner, A.M. Rudoff: UNIX Network Programming: The Socket Networking API , vol. 1, 3rd Edition, Addison Wesley 2004

 

 

Grade: 60% final exam, 20% programming exercises, 20% theoretical
             exercises

 

 

Link to course site:

http://www.cs.tau.ac.il/~deliezer/

 

0368-3030-02
 רשתות תקשורת מחשבים
 Communication Networks -
מר רוכמן יובלתרגיל פיזיקה-שנקר104 ב'1100-1000 סמ'  א'
ארכיטקטורת שכבות של רשתות תקשורת, פרוטוקולים של ערוצי תקשורת. מודלים בסיסיים להערכת זמני המתנה ברשתות. נתוב ופקוח זרימה ברשתות, תכנון רשתות.
0368-3030-03
 רשתות תקשורת מחשבים
 Communication Networks -
מר רוכמן יובלתרגיל פיזיקה-שנקר104 ב'1200-1100 סמ'  א'
ארכיטקטורת שכבות של רשתות תקשורת, פרוטוקולים של ערוצי תקשורת. מודלים בסיסיים להערכת זמני המתנה ברשתות. נתוב ופקוח זרימה ברשתות, תכנון רשתות.
0368-3049-01
 מבוא לקריפטוגרפיה מודרנית
 Introduction to Modern Cryptography
ד"ר אפלבאום בנישיעור טרובוביץ משפ102 ג'1500-1200 סמ'  א'

 
   בקורס נעסוק במספר אבני בניין יסודיות של קריפטוגרפיה קלסית ומודרנית. אלה יכללו פונקציות חד כווניות, מערכות הצפנה עם מפתחות סימטריים, ומערכות עם מפתח הצפנה פומבי. שיטות לאימות, זיהוי, וחתימות דיגיטליות. אקראיות ופסאודו אקראיות. 
 וסכמות לחלוקת סוד. כמו כן נדון באספקטים אלגוריתמיים של מספר נושאים רלוונטיים מתורת המספרים, כגון בדיקת ראשוניות, משפט המספרים הראשוניים, מציאת מחלק משותף, שדות וחוגים סופיים, יוצרים כפליים, ועוד.

0368-3049-02
 מבוא לקריפטוגרפיה מודרנית
 Introduction to Modern Cryptography
מר לוי ניסןתרגיל פיזיקה-שנקר222 ה'1200-1100 סמ'  א'
0368-3049-03
 מבוא לקריפטוגרפיה מודרנית
 Introduction to Modern Cryptography
מר לוי ניסןתרגיל פיזיקה-שנקר222 ה'1100-1000 סמ'  א'
0368-3058-01
 נושאים מתקדמים בתכנות
 Advanced Topics in Programing
מר קירש אמירשיעור אודיטור' לב009 ה'1100-0800 סמ'  ב'

סילבוס נושאים

מתקדמים בתכנות סמ'

ב' תשע"ו

(

amir@taskil.co.il) מרצ ה : אמיר קירש

דרישות קדם

(C סיום

בהצלחה של הקורס "פרוייקט תוכנה" (וידיעת שפת

היכרות טובה (מעבר ל"שלום שלום") עם מחלקות, Java

כלשהי, כגון OOP רקע

בשפה

הורשה, כתיבת קוד גנרי. ,Constructors

מטרת הקורס

שיקולים ,object oriented designו

design patterns , מטרת הקורס הינה לגעת בנושאים מתקדמים בתכנות

.C++11/14 עם דגש על תקן ++C בעיצוב של ספריות קוד ועוד, תוך שימוש בשפת

תכנים

תכני הקורס העיקריים יכללו:

התלמידים יידרשו ללמוד חלק מפרטי התחביר בקריאה מודרכת) ) ++C 1. היכרות עם תחביר שפת

STL2

. ספריית ה

design patterns .3

תרגילים

1 יש להגיש בזוגות. הקורס

יכלול 4 תרגילים. את תרגילים 3

תרגיל 4 הינו הכנה למבחן ויש להגישו ביחידים.

ציון סופי

40% תרגילים,

60% מבחן

על מנת לעבור את הקורס יש לקבל ציון עובר במבחן.

רשימת קריאה

:++C 1. ספרים מאת מייסד שפת

A Tour of C++ , Bjarne Stroustrup, AddisonWesley,

2013

The C++ Programming Language , Bjarne Stroustrup, Addison Wesley, 4th edition, 2013

Programming Principles

and Practice Using C++ , Bjarne Stroustrup, AddisonWesley,

2014

מהאורים והתומים של השפה: ,Scott Meyers של Effective2

. סידרת ספרי ה

Effective C++ , Scott Meyers, AddisonWesley,

3rd edition, 2005

More Effective C++ , Scott Meyers, AddisonWesley,

1996

Effective STL , Scott Meyers, AddisonWesley,

2001

Effective Modern C++ , Scott Meyers, AddisonWesley,

2014

:(GOFה

) The Gang of Four של החבורה המכונה design patterns 3. הספר הידוע על

Design Patterns: Elements of Reusable ObjectOriented

Software ,

Erich Gamma, John Vlissides, Ralph Johnson, and Richard Helm, AddisonWesley,

1994

1

מקורות ברשת

רשימה חלקית של מקורות רלבנטיים:

:C++אתר

הבית של תקן ה

https://isocpp.org

, https://isocpp.org/faq , https://isocpp.org/wiki/faq/cpp11

:Bjarne Stroustrup אתר

הבית של

http://www.stroustrup.com

, http://www.stroustrup.com/C++11FAQ.html

אתר

הכולל את הפירוט המלא של השפה, כלי עזר חשוב!

http://en.cppreference.com

, http://en.cppreference.com/w/cpp/language

:C++אתר

הכולל מאמרים בנושאים שונים ב

http://www.cplusplus.com

http://www.cplusplus.com/doc/tutorial/

http://www.cplusplus.com/articles/

:StackOverflowשאלות

ותשובות ב

http://stackoverflow.com/tags/c++

http://stackoverflow.com/tags/c++/info

http://stackoverflow.com/tags/c++faq

http://stackoverflow.com/tags/c++faq/

info

מצויין למתקדמים: wiki ספר

http://en.wikibooks.org/wiki/More_C++_Idioms

2


  

 
0368-3058-02
 נושאים מתקדמים בתכנות
 Advanced Topics in Programing
מר כהן שראלתרגיל כיתות דן דוד001 ג'1800-1700 סמ'  ב'
0368-3062-01
 ניהול נתונים באינטרנט
 Web Data Management
ד"ר דויטש דניאלשיעור כיתות דן דוד002 ג'1500-1300 סמ'  א'

Web Data Management

Dr. Daniel Deutch

The course discusses various algorithmic aspects of web data management. Web data has distinctive features: it contains both structured (tables), semi-structured (XML and linked data), and unstructured data (text); it is large-scale, contains contradicting pieces of data, and is uncertain. 

To be able to deal with this ocean of information, there is a need for new models as well as efficient retrieval, recommendation, and ranking techniques.

The goal of this course is to teach state-of-the-art models and algorithmic techniques for dealing with web data, in light of these challenging features.

In particular, we will start with an overview of models for structured data (in particular the relational and the nested relational models), semi-structured data (XML, tree automata, Web Graphs..), and unstructured data (Context-Free and Context-sensitive Languages). We will highlight some key issues in the design and usage of these models, in the context of web data. For each model, we will further introduce a probabilistic variant that allows to model uncertainty (probabilistic databases, probabilistic XML, HMMs, PCFGs, ..).  We will introduce analysis tasks (and query languages that capture them where appropriate) for all cases (relational algebra, XQuery and XPath, Text analysis with HMMs and PCFGs, Ranking web-pages) and state-of-the-art algorithms   for performing these tasks in the context of the probabilistic models that were studied.  The algorithms will include  techniques for evaluating relational algebra on probabilistic databases;  Google PageRank algorithm; algorithms for computing Part-of-speech tagging in text analysis; algorithms for recommendations,  and many others.

  

Bibliography:

 

 

Books

 

1. Serge Abiteboul,  Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart,

 

    Web Data Management,  Cambridge University Press 2011


2. Dan Suciu‌, Dan Olteanu‌, Christopher Ré ‌, Christoph Koch‌ 

    Probabilistic databases,  Morgan and Claypool 2011

 


 


Papers

1. Brin, Page


 The Anatomy of a Large-Scale Hypertextual Web Search Engine, Computer Networks and ISDN Systems 30 (7), 1998

2. Fagin,

Kumar, Sivakumar, COMPARING TOP k LISTS SIAM J. Discrete Math 17 (1), 2003

3. Fagin, Lotem, Naor,

Optimal aggregation algorithms for middleware, in Proc. of SIGMOD ‘01

4. Sarwar, Karypis, Konstan, Reidl,

Item-based collaborative filtering recommendation algorithms in proc. of WWW’01

5. Wang, De Vries, Reinders,

Unifying user-based and item-based Collaborative Filtering in proc. of SIGIR ‘06

6. Kleinberg,

Authoritative sources in a hyperlinked environment, in JACM 46 (5), 1999

7. Serge Abiteboul, Benny Kimelfeld, Yehoshua Sagiv, Pierre Senellart:

     On the expressiveness of probabilistic XML models. VLDB J. 18(5), 2009

0368-3065-01
 מבוא לאבטחת מידע
 Introduction to Information Security
פרופ וול אבישישיעור שרמן002 א'1600-1300 סמ'  ב'
ד"ר אוסטפלד צבי
ראו פרטים באנגלית בהמשך, ואת אתר הקורס.

The Introduction to Information Security course surveys central concepts in applied information security and cyber security, and offers a hands-on introduction to secure programming and vulnerability analysis.

High-level goals:
- Make students aware of the major security risks and attack vectors
- Gain concrete hands-on experience with prominent tools and technologies
- Teach about good tools and practices for building secure systems
- Instill the state of mind and conceptual vocabulary for reasoning about systems security

A student who has taken the class and then got programming project should know when he's doing something dangerous, what are the standard solutions, and be able to to productively communicate with vendors and experts.
 

Scope:
1. Programming vulnerabilities (buffer/stack/integer overflow, format strings, privilege escalation)
2. Secure platforms and programming (OS, TPM, languages, libraries, good practices, analysis tools)
3. Network vulnerabilities (impersonation, DoS, application-level) and defense (SSL, IPsec, firewalls, anomaly detection)
4. Exploitation techniques and the low-level details underlying them (reverse engineering x86 assembly, shell code, packet injection
5. Cryptography basics (encryption, digital signatures, certificates)
6. Authentication (passwords, biometrics, tokens, certificates)
7. Authorization policies (access control, information flow control, logging, detection)
8. Physical and psychological elements (tamperproofing, user interfaces, social engineering)
9. Study cases (e.g., banks, mobile phones, cars)

A significant part of the course material will be in English.

Course requirements:

 

Requisite courses:

  • Operating Systems (0368-2162) or Introduction to Systems Programming (0512-4402) or equivalent

Recommended (not mandatory) courses:

  • Introduction to Modern Cryptography (0368-3049) or Cryptography and Computer Security (0510-7401) or Foundations of Cryptography (0368-4162) or equivalent

 

0368-3065-02
 מבוא לאבטחת מידע
 Introduction to Information Security
מר גיטיק דאןתרגיל שרמן002 א'1700-1600 סמ'  ב'
0368-3065-03
 מבוא לאבטחת מידע
 Introduction to Information Security
מר קרקובסקי נירתרגיל שרמן002 א'1800-1700 סמ'  ב'
0368-3069-01
 בדיקת תוכנה
 Software Testing
ד"ר סגל איתישיעור כיתות דן דוד001 א'1200-0900 סמ'  א'

בדיקת תוכנה

ד"ר איתי סגל


בדיקת התוכנה היא מרכיב קריטי בתהליך הנדסת התוכנה.
בקורס זה נציג מושגי יסוד בבדיקת תוכנה - החל מסקירת קוד (code review) , וכלה
בשיטות מתקדמות לתכנון בדיקות (test planning) . נלמד על תהליך בדיקת התוכנה,
ועל בדיקות קופסה שחורה ולבנה. נלמד על הרמות השונות בהן ניתן לבדוק תוכנה -
מרמת היחידה (unit testing) ועד רמת המערכת (system testing) . נכיר שיטות
המתאימות לבדיקה ברמות השונות. נסיים בנושאים מתקדמים מחזית המחקר בבדיקת
תוכנה.

קורס בחירה לתואר ראשון.

דרישת קדם: "תוכנה 1"

0368-3102-01
 גנומיקה חישובית
 Computational Genomics
ד"ר גת ויקס עיריתשיעור ג'1330-1200 סמ'  א'
שיעור ה'1600-1430 סמ'  א'
פרופ שמיר רוןשיעור אורנשטיין110 ה'1600-1430 סמ'  א'
שיעור פיזיקה-שנקר204 ג'1330-1200 סמ'  א'
פרופ וולפסון חיים
המחקר הביולוגי והרפואי עבר מהפכה בעקבות ריצוף הגנום האנושי – תחילה רוצף גנום בודד וכיום מרוצפים מדי שנה רבבות גנומים של בני אדם, ובמקביל גנומים של יצורים חיים אחרים (בעלי חיים, צמחים, חידקים ועוד). טכנולוגיות נסיוניות חדישות מתפתחות ומייצרות מידע המאפשר לחשוף תובנות מהפכניות לגבי חיינו, בריאותנו והעולם שסביבנו. ניתוח מידע זה מחייב שיטות חישוביות מתקדמות, ובמידה רבה צוואר הבקבוק של הניתוח עבר מייצור המידע לניתוחו.  
הקורס ידון באלגוריתמים לבעיות חישוביות מרכזיות בביולוגיה וברפואה. אנו נלמד אלגוריתמים מדויקים לבעיות שניתן לפתרן ביעילות, ואלגוריתמי קירוב והיוריסטיקות לבעיות קשות יותר. דוגמאות ביולוגיות יוצגו לכל בעיה. השיטות החישוביות משלבות אלגוריתמים, סיבוכיות, תורת הגרפים, הסתברות, סטטיסטיקה, אופטימיזציה, למידה חישובית ועוד. פירוט הנושאים שיילמדו מוצג באתר הקורס.
הקורס אינו דורש רקע ביולוגי.
0368-3102-02
 גנומיקה חישובית
 Computational Genomics
מר זעירא רוןתרגיל אורנשטיין110 ה'1700-1600 סמ'  א'
0368-3103-01
 סמינר נושאים בביואינפורמטיקה 3
 Seminar - Topics in Bioinfprmatics 3
סמינר ג'2000-1800 סמ'  א'
סמינר ג'2000-1800 סמ'  ב'
0368-3105-01
 ביולוגיה מבנית חישובית
 Computational Structural Biology
פרופ בן-טל נירשיעור אורנשטיין110 ב'1200-1000 סמ'  ב'
שיעור כיתות דן דוד107 ה'1100-1000 סמ'  ב'
פרופ וולפסון חיים
0368-3105-02
 ביולוגיה מבנית חישובית
 Computational Structural Biology
פרופ בן-טל נירתרגיל כיתות דן דוד107 ה'1200-1100 סמ'  ב'
פרופ וולפסון חיים
0368-3133-01
 קומפילציה
 Compilation
ד"ר רינצקי נעםשיעור כיתות דן דוד001 ג'1200-0900 סמ'  א'
ניתוח לקסיקלי ותחבירי (כולל שימוש בכלים כגון Lex ו- Yacc). דקדוקים מופשטים. יצירת קוד ביניים. בחירה יעילה של קוד מכונה. מבוא לאופטימיזציה והקצאת אוגרים.
הקורס כולל פרוייקט גדול של בניית קומפילר משפת תכנות קטנה לשפת מכונה.
0368-3133-02
 קומפילציה
 Compilation
מר איש שלום אורןתרגיל אורנשטיין111 ד'1200-1100 סמ'  א'
ניתוח לקסיקלי ותחבירי (כולל שימוש בכלים כגון Lex ו- Yacc). דקדוקים מופשטים. יצירת קוד ביניים. בחירה יעילה של קוד מכונה. מבוא לאופטימיזציה והקצאת אוגרים.
הקורס כולל פרוייקט גדול של בניית קומפילר משפת תכנות קטנה לשפת מכונה.
0368-3133-03
 קומפילציה
 Compilation
מר איש שלום אורןתרגיל פיזיקה-שנקר222 ד'1400-1300 סמ'  א'
ניתוח לקסיקלי ותחבירי (כולל שימוש בכלים כגון Lex ו- Yacc). דקדוקים מופשטים. יצירת קוד ביניים. בחירה יעילה של קוד מכונה. מבוא לאופטימיזציה והקצאת אוגרים.
הקורס כולל פרוייקט גדול של בניית קומפילר משפת תכנות קטנה לשפת מכונה.
0368-3133-04
 קומפילציה
 Compilation
מר איש שלום אורןתרגיל אורנשטיין111 ד'1100-1000 סמ'  א'
ניתוח לקסיקלי ותחבירי (כולל שימוש בכלים כגון Lex ו- Yacc). דקדוקים מופשטים. יצירת קוד ביניים. בחירה יעילה של קוד מכונה. מבוא לאופטימיזציה והקצאת אוגרים.
הקורס כולל פרוייקט גדול של בניית קומפילר משפת תכנות קטנה לשפת מכונה.
0368-3168-01
 סיבוכיות
 Computational Complexity
פרופ תא שמע אמנוןשיעור טרובוביץ משפ100 ב'1600-1300 סמ'  א'
0368-3168-02
 סיבוכיות
 Computational Complexity
מר גלמן אפריםתרגיל קפלון118 ה'1300-1200 סמ'  א'
 סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch.  NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה   BPP. המחלקה BPP מוכלת ב S2. משפט ה PCP וקושי של קרוב בעיות NP קשות.

  ספרי לימוד:

 ·      C. Papadimitriou, Computational complexity.

  ·      M. Sipser, Introduction to the theory of computation.

 ·      V. Vazirani, Approximation Algorithms.

 דרישות קדם:

 יעילות של חישובים, מודלים חישוביים

 

 

 

 

 

 

 

 

 

 

0368-3168-03
 סיבוכיות
 Computational Complexity
מר גלמן אפריםתרגיל קפלון118 ה'1400-1300 סמ'  א'
 סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch.  NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה   BPP. המחלקה BPP מוכלת ב S2. משפט ה PCP וקושי של קרוב בעיות NP קשות.

  ספרי לימוד:

 ·      C. Papadimitriou, Computational complexity.

  ·      M. Sipser, Introduction to the theory of computation.

 ·      V. Vazirani, Approximation Algorithms.

 דרישות קדם:

 יעילות של חישובים, מודלים חישוביים

 

 

 

 

 

 

 

 

 

 

0368-3168-07
 סיבוכיות
 Computational Complexity
פרופ בנבנישתי שפילקה אמירשיעור אודיטור' לב009 ג'1300-1000 סמ'  ב'
שיעור סמ'  ב'

סילבוס לקורס סיבוכיות 0368-3168-07

(לא בדיוק לפי סדר ההרצאות).

חזרה והרחבה של חומר שנלמד במודלים:

1.      מכונות טיורינג, NP, לכסון, בעיית העצירה, חיפוש לעומת הכרעה.

2.      מ״ט כמודל אוניפורמי (מכונה אחת לכל קלט) לעומת מעגלים כמודל לא אוניפורמי. כל פונקציה סופית ניתן לחשב במעגל. חסם תחתון משיקולי ספירה למעגלים.

3.      היררכיית זמן.

4.      משפט קוק.

סיבוכיות זכרון:

5.      הגדרות, רדוקציות, הרכבות, דוגמאות: כפל מטריצות, קשירות בגרפים.

6.      מחלקות סיבוכיות

7.      stcon היא NL שלמה, NL ב L^2

8.      NL = coNL

9.      זכרון מוכל בזמן אקספוננציאלי

10.  היררכיית זכרון

11.  הגדרת PSPACE

12.  TQBF: הגדרה והוכחת שלמות ב-PSPACE. קשר למשחקים .

נושאים נוספים הקשורים לזמן וזכרון:

13.  Polynomial Hierarchy

14.  מכונות טיורינג בעלות אוב (oracle Turing machines)

15.  משפט Karp Lipton

אקראיות:

16.  הגדרת BPP,RP .  

17.  דוגמאות לאלגוריתמים מטילי מטבעות: האם AB=C עבור מטריצות.
 esting
Polynomial Identity T, Matching בגרף דו-צדדי.

18.  ל־ BPP יש מעגלים בגודל פולינומיאלי.

19.  BPP מוכלת ב 2^.

20.  קושי כמשאב:Hardness vs. randomness   

נושאים מתקדמים:

21.  חסמים תחתונים למעגלים בוליאנים

22.  אלגוריתמי קירוב

23.  פרוטוקולים אינטראקטיבים

0368-3168-08
 סיבוכיות
 Computational Complexity
מר וולק בן ליתרגיל כיתות דן דוד110 ג'1600-1500 סמ'  ב'
 סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch.  NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה   BPP. המחלקה BPP מוכלת ב S2. משפט ה PCP וקושי של קרוב בעיות NP קשות.

  ספרי לימוד:

 ·      C. Papadimitriou, Computational complexity.

  ·      M. Sipser, Introduction to the theory of computation.

 ·      V. Vazirani, Approximation Algorithms.

 דרישות קדם:

 יעילות של חישובים, מודלים חישוביים

 

 

 

 

 

 

 

 

 

 

0368-3168-09
 סיבוכיות
 Computational Complexity
מר וולק בן ליתרגיל כיתות דן דוד110 ג'1700-1600 סמ'  ב'
 סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch.  NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה   BPP. המחלקה BPP מוכלת ב S2. משפט ה PCP וקושי של קרוב בעיות NP קשות.

  ספרי לימוד:

 ·      C. Papadimitriou, Computational complexity.

  ·      M. Sipser, Introduction to the theory of computation.

 ·      V. Vazirani, Approximation Algorithms.

 דרישות קדם:

 יעילות של חישובים, מודלים חישוביים

 

 

 

 

 

 

 

 

 

 

0368-3168-10
 סיבוכיות
 Computational Complexity
מר וולק בן ליתרגיל כיתות דן דוד110 ג'1900-1800 סמ'  ב'
 סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch.  NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה   BPP. המחלקה BPP מוכלת ב S2. משפט ה PCP וקושי של קרוב בעיות NP קשות.

  ספרי לימוד:

 ·      C. Papadimitriou, Computational complexity.

  ·      M. Sipser, Introduction to the theory of computation.

 ·      V. Vazirani, Approximation Algorithms.

 דרישות קדם:

 יעילות של חישובים, מודלים חישוביים

 

 

 

 

 

 

 

 

 

 

0368-3168-11
 סיבוכיות
 Computational Complexity
מר מינצר דורתרגיל אורנשטיין111 ד'1400-1300 סמ'  ב'
סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch.  NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה   BPP. המחלקה BPP מוכלת ב S2. משפט ה PCP וקושי של קרוב בעיות NP קשות.

  ספרי לימוד:

 ·      C. Papadimitriou, Computational complexity.

  ·      M. Sipser, Introduction to the theory of computation.

 ·      V. Vazirani, Approximation Algorithms.

 דרישות קדם:

 יעילות של חישובים, מודלים חישוביים

 

0368-3168-12
 סיבוכיות
 Computational Complexity
מר מינצר דורתרגיל ולפסון הנדסה118 ג'1600-1500 סמ'  ב'
סיבוכיות זמן וזיכרון. המחלקות L,NL,P,NP ו PSPACE. רדוקציות ובעיות שלמות למחלקות הנ"ל. משפט Savitch.  NL=coNL. משפט Cook-Levin. דוגמאות לבעיות NP שלמות. אלגוריתמי קירוב לבעיות NP שלמות. רדוקציות משמרות קירוב. ההיררכיה הפולינומית. חישובים מטילי מטבעות, המחלקה   BPP. המחלקה BPP מוכלת ב S2. משפט ה PCP וקושי של קרוב בעיות NP קשות.

  ספרי לימוד:

 ·      C. Papadimitriou, Computational complexity.

  ·      M. Sipser, Introduction to the theory of computation.

 ·      V. Vazirani, Approximation Algorithms.

 דרישות קדם:

 יעילות של חישובים, מודלים חישוביים

 

 

 

0368-3235-01
 מבוא ללמידה חישובית
 Introduction to Machine Learning
פרופ הלפרין ערןשיעור לימודי הסביבה101 א'1500-1300 סמ'  א'
פרופ וולף ליאור

The course is a basic introduction to machine learning, including:

  • Supervised learning (mainly, classification)
  • Unsupervised learning (such as clustering)
  • Bayesian methods

The course will include both theory and applied machine learning,
and a special emphasis will be put on machine learning algorithms.

See here for a complete list of topics:

http://ml-tau-2014.wikidot.com/course-schedule

Self inclusion/exclusion: The excercises will be done in Matlab; The course has large parts that are mathematical in nature.

 

0368-3236-01
 יסודות גרפיקה, עיבוד תמונה וראיה
 Fundamentals of Computer Graphics, Vision and Image Processi
פרופ כהן-אור דניאלשיעור שרמן003 ב'1800-1600 סמ'  ב'
0368-3241-01
 שפות תכנות
 Programming Languages
פרופ שגיב שמואלשיעור כיתות דן דוד003 ב'1300-1000 סמ'  ב'
יסודות התחביר והסמנטיקה של שפות תכנות. לימוד משווה של מספר שפות תכנות על מרכיביהם העיקריים (מבני בקרה, טיפוסי נתונים, הפשטה, כבילה וכו'). פרדיגמות של שפות תכנות. מבוא לסמנטיקה פורמלית של שפות תכנות
 
0368-3241-02
 שפות תכנות
 Programming Languages
מר פדון עודדתרגיל פיזיקה-שנקר222 ד'1700-1600 סמ'  ב'
יסודות התחביר והסמנטיקה של שפות תכנות. לימוד משווה של מספר שפות תכנות על מרכיביהם העיקריים (מבני בקרה, טיפוסי נתונים, הפשטה, כבילה וכו'). פרדיגמות של שפות תכנות. מבוא לסמנטיקה פורמלית של שפות תכנות
 
0368-3245-01
 הוראת מדעי המחשב בקהילה
 Computer Science Learning in the Community
פרופ שור בן ציוןשיעור כיתות דן דוד003 ג'2000-1700 סמ'  א'
מר רתם גל
0368-3249-01
 צעדים ראשונים במחקר לסטודנטים מצטיינים
 First Steps in Research of Outstanding Students
ד"ר צ'צ'יק שירישיעור אורנשטיין102 ה'1300-1000 סמ'  ב'
פרופ כהן-אור דניאל

הקורס יכסה מגוון רחב של נושאים במדעי המחשב של ימינו, עם דגש על אפשרות
להמשך מחקר מדעי בנושא. הקורס מיועד לתלמידים מצטיינים בתואר ראשון שמעוניינים באפשרות
להמשיך את לימודיהם לתואר שני במדעי המחשב. התלמידים יתבקשו לבחור באחד מהנושאים
שילמדו בקורס ולבצע בו עבודת מחקר בהיקף בינוני, תוך שיתוף פעולה עם המנחה הרלוונטי.
תוצאות המחקר יסוכמו במאמר, שבמידת האפשר ישלח לפרסום. מאמר כזה יכול להיות משמעותי
מאוד בהמשך הלימודים לתואר שני.

דרישות קבלה: הקורס מיועד לתלמידי תואר ראשון בשנה השלישית ללימודיהם.
דרישות *המינימום* הן ציון ממוצע נוכחי של 85. מספר המקומות בקורס מוגבל מאוד.
עקב כך, ההרשמה תתבצע בצורה ידנית ולא דרך מערכת הבידינג.
להרשמה, נא לשלוח גיליון ציונים מעודכן וכל פרט רלוונטי אחר לרכזת המנהלית של הקורס,
רונית רייטשטיין (ronitrei@post.tau.ac.il).

0368-3250-01
 אבטחת מערכות וישומים ברשת
 Web System and Application Security
ד"ר מובשוביץ דודשיעור לימודי הסביבה101 א'1200-0900 סמ'  ב'
.Web based systems are facing unique threats from information security perspective, both on the network layer as well as in the application layer. In the course we will discuss the threats to the network and how to mitigate them using firewalls to control the access the web system network, and the SSL protocol to ensure secure communication over the internet. In addition, we will learn how to perform threat modeling and risk analysis to a web system, and how to prevent web infrastructure vulnerabilities by implementing best practices. In the application layer, we will discuss the unique aspects of authentication, authorization, and session management in web applications, as well as web application vulnerabilities and related attacks, focusing on browser base attacks. We will learn how to prevent them by implementing secure coding best practices, and will discuss the unique security aspects to Web 2.0 (or AJAX based) and to cloud computing (as time permit
0368-3338-01
 סמינר בנושאים מתקדמים בתיאוריה
 
פרופ בנבנישתי שפילקה אמירסמינר כיתות דן דוד204 ב'1100-0900 סמ'  א'
הסמינר יעסוק במעגלים אריתמטים, בעיקר בחסמים תחתונים עבורם. ההרצאות יתבססו על חומר המופיע במאמרי הסקירה של יהודיוף ושפילקה (Shpilka-Yehudayoff) ושל רמפרסד ספטרישי (Ramprasad Saptharishi).
 
חומר הרקע הדרוש הוא אלגברה ליניארית והסתברות. ההוכחות שנראה משתמשות בכלים הללו באופן מורכב כך שנדרשת בגרות מתמטית מעבר להיכרות עם החומר. כמו כן הקורס בסיבוכיות רלוונטי לסמינר, אבל הוא יכול להילמד במקביל.
 
השיעורים הראשונים ינתנו ע״י המרצה ובהם נכסה את ההגדרות הבסיסיות, רקע ומספר כלים שימושיים. התוכנית להמשך היא:
 
1. מקבול מעגלים (Valiant-Skyum-Berkowitz-Rackoff)
2. דחיסה לעומק 4 (Agrawal-Vinay, Raz)
3. דחיסה לעומק 3 (Gupta-Kamath-Kayal-Saptharishi)
4. חישוב נגזרות ראשונות מהר והוכחת חסם תחתון למעגלים כלליים (Baur-Strassen, Strassen)
5. חסם תחתון לנוסחאות אריתמטיות כלליות (Kalorkoti)
6. חסם תחתון למעגלים מעומק 3 מעל שדות קטנים (Grigoriev-Karpinski)
7. טכניקת הנגזרות החלקיות וחסמים תחתונים פשוטים (Nisan-Wigderson)
8. חסמים תחתונים לנוסחאות מולטליניאריות (Raz, Raz-Yehudayoff)
9. חסמים תחתונים למעלים הומוגנים מעומק 4 (Gupta-Kamath-Kayal-Saptharishi)
 
דרישות: על התלמידים יהיה להרצות על חלק מהנושאים הנ״ל, כפי שיקבע ע״י המרצה, להכין מצגת באנגלית על נושא ההרצאה ולענות על מספר תרגילים הקשורים לחומר הנלמד. הציון יתבסס על איכות ההרצאה, איכות המצגת, התרשמות המרצה מהבנת החומר, ציון התרגילים והשתתפות בשיעור. 
 
 
0368-3340-01
 סמינר בגיאומטריה חישובית
 Seminar in Computational Geometry
פרופ שריר מיכהסמינר פיזיקה-שנקר204 ב'1600-1400 סמ'  א'
0368-3350-01
 סמינר:הגורם האנושי בהנדסת תוכנה
 Seminar - Human Aspects of Software Engineering
פרופ יהודאי עמירםסמינר כיתות דן דוד204 א'1100-0900 סמ'  א'

הנדסת תוכנה היא תחום מחקר שעוסק בשיטות וכלים לפיתוח תוכנה. האפקטיביות של השיטות והכלים נבחנת בפועל בעבודתם של מהנדסי התוכנה. בשנים האחרונות גוברת ההכרה בחשיבותו של הגורם האנושי, וחלק גדל של המחקר מתייחס לכך. מדידת הגורם האנושי דורשת שיטות מחקר שמקורן במדעי החברה. בסמינר נציג את שיטות המחקר הכמותיות והאיכותניות, ונציג מחקרים שמשתמשים בשיטות אלה בנושאים שונים בהנדסת תוכנה.

רשימה חלקית אפשרית ולא בהכרח מחייבת של נושאים: הבנת תוכניות, תפקידן של שפות תכנות, שימוש בכלי פיתוח וברשתות חברתיות, בדיקות תוכנה,refactoring 

כל סטודנט יקבל מאמר או מסמך שיהוו נקודת מוצא ללימוד הנושא, ויציג בכתה את הנושא.

הערה: הנוכחות בסמינר היא חובה. העדרויות ו/או איחורים חוזרים יגררו הפחתת ציון ובמקרים חמורים ימנעו ציון עובר בסמינר.

Software Engineering is a research area that deals with techniques and tools for software development. The effectiveness of these techniques and tools has to be evaluated in the actual work of software engineers. In recent years there has been a growing recognition of the importance of the human aspect, and a growing part of the research refers to it. In order to assess the human aspect, researchers need to utilize research methods borrowed from Social Sciences. This seminar will present quantitative and qualitative research methods, and present studies that use these methods in various areas of Software Engineering.

A partial potential list of topics includes: program comprehension, the role of programming languages, the use of development tools and social media, software testing, refactoring.

Every student will get a paper that will serve as the starting point for studying the topic, and will present the topic in class.

Note that attendance in the seminar is mandatory. Missing class meetings, as well as being late repeatedly will result in a lower grade and in severe cases will prevent the student from obtaining a passing grade in the seminar
0368-3383-01
 סמינר באלגוריתמים
 Seminar
פרופ צוויק אוריסמינר כיתות דן דוד204 א'1700-1500 סמ'  ב'
0368-3458-01
 מערכות בסיסי נתונים
 Data-Base Systems
פרופ מילוא טובהשיעור כיתות דן דוד003 ג'1500-1300 סמ'  ב'
1
. תוכן הקורס:
מבוא למערכות בסיסי נתונים: מערכות בסיסי נתונים מאפשרות ניהול וטיפול בכמויות נתונים עצומות שצריכות להישמר לצורכי עדכון ושליפה יעילה, והינן הלב של אפליקציות מסחריות רבות. מטרת הקורס לתת מבוא לתכנון ושימוש במערכות בסיסי נתונים ולהבנת העקרונות המנחים בבניית מערכות אלה.
נתחיל בהכרת המודל הרלציוני ושפת השאילתות SQL, ובלימוד שיטות לתכנון המסד. בהמשך נדון בארכיטקטורה הפנימית של המערכות, כולל אכסון נתונים יעיל, אופטימיזציה של שאילתות, שערוך יעיל של שאילתות, וכדומה. לקראת סוף הקורס, בהתאם למגבלות הזמן, נלמד על נושאים מתקדמים כגון שערוך מבוזר של שאילתות, MapReduce ו-Pig Latin, ניהול מידע בעזרת הקהל (crowdsourcing) ועוד.
 
2. חובות התלמיד:
השתתפות בשיעורים, הגשה של פתרונות התרגילים והפרויקט, מבחן מסכם.
 
3. הרכב הציון:            
תרגילים 15%
פרויקט: 35%
מבחן: 50%
 
תרגילים/פרויקט שיוגשו באיחור לא יתקבלו (מלבד מיקרים המאושרים אל פי התקנון)                                      
4. חומרי עזר :
0368-3458-02
 מערכות בסיסי נתונים
 Data-Base Systems
פרופ מילוא טובהתרגיל כיתות דן דוד003 ג'1600-1500 סמ'  ב'
מר סומך עמית
1. תוכן הקורס:
מבוא למערכות בסיסי נתונים: מערכות בסיסי נתונים מאפשרות ניהול וטיפול בכמויות נתונים עצומות שצריכות להישמר לצורכי עדכון ושליפה יעילה, והינן הלב של אפליקציות מסחריות רבות. מטרת הקורס לתת מבוא לתכנון ושימוש במערכות בסיסי נתונים ולהבנת העקרונות המנחים בבניית מערכות אלה.
נתחיל בהכרת המודל הרלציוני ושפת השאילתות SQL, ובלימוד שיטות לתכנון המסד. בהמשך נדון בארכיטקטורה הפנימית של המערכות, כולל אכסון נתונים יעיל, אופטימיזציה של שאילתות, שערוך יעיל של שאילתות, וכדומה. לקראת סוף הקורס, בהתאם למגבלות הזמן, נלמד על נושאים מתקדמים כגון שערוך מבוזר של שאילתות, MapReduce ו-Pig Latin, ניהול מידע בעזרת הקהל (crowdsourcing) ועוד.
 
2. חובות התלמיד:
השתתפות בשיעורים, הגשה של פתרונות התרגילים והפרויקט, מבחן מסכם.
 
3. הרכב הציון:            
תרגילים 15%
פרויקט: 35%
מבחן: 50%
0368-3464-01
 עיבוד ספרתי של אותות
 "Digital Signal Processing"
ד"ר שטיין יעקבשיעור כיתות דן דוד001 א'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-3469-01
 תכנות מעבדים רבי ליבות
 Multiprocessor Programming
ד"ר מוריסון אדםשיעור כיתות דן דוד003 ה'1500-1200 סמ'  ב'
ראה כאן
http://www.cs.tau.ac.il/~multi/index.php?p=intro

דרישות קדם:    מבנה נתונים  ויכולת תיכנות ב-java
0368-3469-02
 תכנות מעבדים רבי ליבות
 Multiprocessor Programming
מר סולאמי משהתרגיל כיתות דן דוד003 ג'1000-0900 סמ'  ב'
0368-3500-01
 סדנה בהצבעות קריפטוגרפיות
 A workshop on electronic voting
פרופ תא שמע אמנוןסדנה אורנשטיין110 ד'1200-1000 סמ'  א'

A workshop on electronic voting

 

In the workshop we we will design and implement several components of a cryptographic voting system.  Including a simple  zero-knowledge mixing network, and a Pedersen threshold cryptosystem.  The mixnet will be based upon a Benesh network to reduce the problem of mixing n messages to that problem of mixing just two, which is then solved used standard tools. Possible projects include:

 

1. Designing and implementing the mixing network

2. Threshold encryption and decryption

3. Studying the Benes network

 

No prior knowledge in cryptography is required. We will give the necessary background on cryptographic voting, public key encryption (DLOG, El-gammal) and zero-knowledge proofs.

0368-3500-02
 סדנה בהצבעות קריפטוגרפיות
 A workshop on electronic voting
פרופ תא שמע אמנוןמעבדה ה'1500-1200 סמ'  א'

A workshop on electronic voting

 

In the workshop we we will design and implement several components of a cryptographic voting system.  Including a simple  zero-knowledge mixing network, and a Pedersen threshold cryptosystem.  The mixnet will be based upon a Benesh network to reduce the problem of mixing n messages to that problem of mixing just two, which is then solved used standard tools. Possible projects include:

 

1. Designing and implementing the mixing network

2. Threshold encryption and decryption

3. Studying the Benes network

 

No prior knowledge in cryptography is required. We will give the necessary background on cryptographic voting, public key encryption (DLOG, El-gammal) and zero-knowledge proofs.

0368-3500-03
 סדנה בהצבעות קריפטוגרפיות
 A workshop on electronic voting
מר גלמן אפריםמעבדה ב'1300-1000 סמ'  א'

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.

A workshop on electronic voting

 

In the workshop we we will design and implement several components of a cryptographic voting system.  Including a simple  zero-knowledge mixing network, and a Pedersen threshold cryptosystem.  The mixnet will be based upon a Benesh network to reduce the problem of mixing n messages to that problem of mixing just two, which is then solved used standard tools. Possible projects include:

 

1. Designing and implementing the mixing network

2. Threshold encryption and decryption

3. Studying the Benes network

 

No prior knowledge in cryptography is required. We will give the necessary background on cryptographic voting, public key encryption (DLOG, El-gammal) and zero-knowledge proofs.

0368-3501-01
 סדנה בסוכנים ממוחשבים
 Workshop
מר שיין מרינו רובןסדנה כיתות דן דוד204 א'1800-1600 סמ'  א'
פרופ בנבנישתי שפילקה אמיר
In the Sadna we have some lectures to get the students familiar with the topic.
Then the students break in to groups and start working.
Near the end of the term there will be a meeting where the students present their design.
Their final project is due in the middle of the second term.
 
In more details:
 
Session 1 - The Internet Display-Ads ecosystem: The evolution of Internet advertising, the key roles and their interactions.   
 
Session 2 - The AdX game: The setting, the competitor's challenge, the game elements and flow. Group are formed.
 
Session 3 - Software Infrastructure:  Architecture (game server and agents), setup, a sample competing agent.
 
Session 4 - Preliminary Design Reviews: The groups present the outlines of their design, accompanied with a baseline agent.
[This session takes place toward the end of the semester]
 
Session 5 - Implementation Reviews and Competition: A competition, followed by the groups presenting their implementation as detailed in their final submission report. 
[This session takes place after the passover/spring break]
 
0368-3502-03
 סדנה לפיתוח בטכנולוגיות גוגל
 Workshop in Computer Science
גב' לנדאו פייביש שירמעבדה ד'1300-1000 סמ'  א'
0368-3503-01
 סדנה בפיתוח אפליקציות על אמצעים ניידים לטובת הקהילה
 Workshop in Computer Science
פרופ אפק יהודהסדנה שרייבר מתמטי007 ב'1800-1600 סמ'  א'

הסדנה עוסקת בפיתוח אפלקציות על גבי מכשירים ניידים שנשענים על מיחשוב ענן לפתרון בעיות מסובכות ו/או מבוזרות. בנוסף האפליקציות משתמשות בהתקנים שונים על המכשיר הנייד כגון GPS, מצלמה וחיישנים נוספים. בסיום הסדנה הקבוצות מציגות אבי טיפוס עובדים של הפרויקטים על גבי מכשירים אמיתיים. הסדנה מתבצעת בשיתוף עם חברת מייקרוסופט. 
ניתן לראות דוגמאות לפרוייקטים שנעשו בעבר כאן: http://www.cs.tau.ac.il/~shirl11/Microsoft_projects.html

0368-3504-03
 סדנה במיקור המונים
 Workshop in Data-Centered Crowdsourcing
מר נובגורודוב סלבהמעבדה ב'2000-1700 סמ'  א'

Course Goals and Short Syllabus

Crowd-based data sourcing is a new and powerful data procurement paradigm that engages Web users to collectively contribute data, analyze information and share opinions. This brings to light, out of the huge, inconsistent Web ocean, an important body of knowledge that would otherwise not be attainable. Crowd-based data sourcing democratizes data-collection, cutting companies' and researchers' reliance on stagnant, overused datasets and bears great potential for revolutionizing our information world. Yet, triumph has so far been limited to only a handful of successful projects such as Wikipedia or IMDb. This comes notably from the difficulty of managing huge volumes of data and users of questionable quality and reliability.

The workshop will be about Data-Centered Crowdsourcing and it will be devided into three parts:

In the first part we will learn the foundation of crowd data sourcing, do an overview of the latest research projects leading in field of crowdsourcing and present relevant papers from the top-tier conferences.

Second part, the students will split to small teams (2-4 members each team), and propose a topic for a final project (relevant to crowdsourcing, details below). After proposal approval the teams will develop the projects during the semester.

Third and the final part - each team will submit the project and do a presentation to the rest of the teams at the last week of the semester.

Course Format

First three weeks will be lectures which should build a minimum required basics for the rest of the course (the first part). By the end of the three weeks the students will have to split up to groups (2-4 members, depending on the number of registered students) and prepare project proposal.

The task will be developing a crowdsouring project, which will solve one of the proposed problems. The project can be a new feature that current crowdsourcing platforms lack, an algorithm for the better crowd/experts selection, tasks generation, budget allocation or any other problem that exists in today's crowdsourcing systems.

The project can be a standalone application (Mobile/Web) or an extension for given system. Everything is up to the team.

The course will have a control point - midterm meeting where each team will present their detailed project description, software/platform choices, work split between the group members, work plan. This will be done in order to see the progress of the teams and ensure that the project converges in the given time.

The project should be done during the semester and the final presentation will be held at the last week of the semester.

Requirements

  • No formal requirements, but strongly recommended: Web Programming, Databases

Course Schedule

  • First meeting: 21.10.2015
  • Second meeting: 28.10.2015
  • Third meeting: 11.11.2015
  • Midterm meeting: 02.12.2015
  • Final meeting: 13.01.2016
0368-3523-01
 סדנה באבטחת מידע
 Workshop in Information Security
ד"ר טרומר ערןסדנה קפלון118 ג'1200-1000 סמ'  ב'
0368-3524-01
 סדנה - גוגל
 
פרופ מטיאס יוסיסדנה שרייבר מתמטי007 ד'1200-1000 סמ'  ב'

 

This is a workshop focusing on Cloud and Web Development, using primarily - but not exclusively - Google tools and technologies.

These include Android (Google Phone), Chrome and Chrome OS, Google Maps, YouTube API, Google Visualization API, Google AppEngine, Social networks, Google TV and more.

 

Students will group in teams of 4 students. Each group will come up with a project for the semester.

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.

 

מופיע גם באתר: https://sites.google.com/site/cloudweb15b/

0368-3525-01
 סדנה במידול אינטגרטיבי של קומפלקסים של חלבונים
 Workshop in Integrative modeling of protein complexes
פרופ וולפסון חייםסדנה פיזיקה-שנקר222 ג'1500-1300 סמ'  ב'
מבחינה אלגוריתמית/מתימטית הסדנה תעסוק בפיתוח תוכנה לפיתרון פאזלים תלת מימדיים, כשתחום האפליקציה הוא ביולוגיה מוליקולרית.

נעסוק במידול במרחב התלת-מימדי של קומפלקסים המורכבים ממספר רב של חלבונים, כאשר נתון מידע מדויק על החלבונים הבודדים, המשתתפים בקומפלקס ומידע ברזולוציה נמוכה על מבנה כל הקומפלקס.
 
מבחינה מתימטית הבעיה דומה לפיתרון פאזל תלת-מימדי, כאשר ידועות חתיכות הפאזל הבודדות ויש מידע "מטושטש" על המבנה של הפאזל כולו.
מכאן שהאלגוריתמים שנפתח יוכלו להיות מותאמים גם לפיתרון בעיות דומות בראיה ממוחשבת ובגרפיקה, אם כי אנו נתרכז בתחום האפליקציה של ייצוג תלת מימדי של חלבונים.
 
הסדנא מיועדת לתלמידי התכנית לביואינפורמטיקה ולתלמידי תכניות מדעי המחשב. אין צורך בידע ביולוגי מוקדם. עיקרי הידע הביולוגי הדרוש ודרך תרגומו למבנים גיאומטריים יינתנו במפגשים הראשונים של הסדנא.
 
צוות הסדנא יציג מספר פרויקטים לבחירה וניתן יהיה גם להציע פרויקט עצמאי לאישור הצוות.
לקראת אמצע הסמסטר כל קבוצה (של כ-3 איש) תגיש לאישורו של צוות הסדנא תכנית מפורטת של הפרויקט שהם מתכננים לבצע
הגשת הפרויקטים תהיה לקראת סוף הקיץ. שפת התכנות המועדפת היא פייתון, אך ניתן יהיה ליישם את הפרויקטים בשפות אחרות, כפוף לאישור.
0368-3526-01
 סדנה בשפות תכנות
 Workshop in program analysis
ד"ר רינצקי נעםסדנה פיזיקה-שנקר222 ג'1800-1600 סמ'  ב'

סדנא ביצור אוטומטי של תוכניות

 במטרה לזהות חולשות ושגיאות בקומפיילרים ואינטרפרטים

 

מרצה: ד״ר נעם רינצקי

מתרגלת: שיר לנדאו-פייביש

הסדנא בהנחיה משותפת עם ד״ר נורית דור מחברת KayHut, המתמחה ב Cybersecurity.

 

בסדנא תפתחו כלים אוטומטים אשר יבדקו שקומפיילרים מייצרים קוד נכון ושאינטרפרטרים אינם שוגים. לצורך כך, כל קבוצה תיישם פרוייקט המורכב משלושת החלקים הבאים:

1.     כלי לייצור אוטומטי של תוכניות בשפה ספציפית (Program Generator).

2.     כלי להגרלת קלטים לתוכניות שנוצרו בשלב הראשון  (Input Generator).

3.     כלי אשר יעזר בתוכניות שנוצרו לצורך בדיקת הקומפיילר/אינטרפרטר (Validtor).

 

הכלים שתבנו יוכלו להיות הרחבה של כלים קיימים, מימוש של אלגוריתמים המתוארים במאמר מדעי, או מבוססים על טכניקה מקורית שתפתחו.

0368-3527-01
 סדנה באינרנט של הדברים
 Workshop on the Internet of Things (IoT)
פרופ טולדו סיוןסדנה פיזיקה-שנקר105 ב'1100-0900 סמ'  ב'
0368-3528-01
 סדנה במדעי המידע
 Workshop in Data Science
ד"ר דויטש דניאלסדנה קפלון324 ב'1800-1600 סמ'  ב'
הסדנא תתמקד בחילוץ מידע ותובנות מכמות גדולה מאוד של נתונים תוך שימוש בכלים סטטיסטיים ו\או באלגוריתמי למידה חישובית. הסטודנטים יידרשו (בקבוצות) לתיכון ולפיתוח מערכת גדולה שכזו, ולהציג את תוצאותיהם בכיתה.   
נבחנת האפשרות לשיתוף פעולה עם חברת microsoft במסגרת הסדנא.
0368-4041-01
 אלגוריתמים מקוונים ומקורבים
 On-Line and Approximation Algorithms
פרופ עזר יוסףשיעור שרייבר מתמטי007 ב'1900-1600 סמ'  ב'
הקורס יעסוק באלגוריתמים לפתרון מקורב של בעיות ובעיקר במצבים בהם לא כל הקלט נתון מראש ויש להחליט על סמך מידע חלקי. נתרכז באלגוריתמים תחרותיים שביצועיהם משווים לאלגוריתמים אופטימליים.

 
Online algorithms (algorithms that do not have all the information/input in advance) and some corresponding approximation algorithms.
0368-4051-01
 נתוח מתקדם של שפות תכנות
 Advanced Analysis of Programming
פרופ שגיב שמואלשיעור ותפיזיקה-שנקר204 א'1900-1600 סמ'  א'
0368-4141-01
 אימות תוכנה וחומרה
 Verification of Hardware and Software
פרופ רבינוביץ אלכסנדרשיעור כיתות דן דוד204 ד'1900-1600 סמ'  א'
Title: Verification of Hardware and Software.
Various methods for program verification with respect to given
specifications will be covered.
The course consists of two parts.
The first part presents model-checking methods.
The second part introduces deductive methods.
Model-checking: Review of temporal logics as specification languages for reactive properties. The expressive power of temporal logics. The basic algorithms for model checking and  fix-point theory. Automata on infinite words  and their applications to model checking.
Deductive Methods:  Review of Hoare logic, its soundness and (relative) completeness. Recursive procedures: proof under assumptions. Proving properties of nondeterministic programs. Fair termination. Verification of parallel and distributed programs: deadlock freedom, mutual exclusion and progress properties.
0368-4167-01
 אלגוריתמים בזמן תת-ליניארי
 Sublinear Time Algorithms
פרופ רובינפלד רוניתשיעור פיזיקה-שנקר104 ב'1600-1300 סמ'  א'

This course will focus on the design of algorithms that are restricted to run in sublinear time, and thus can view only a very small portion of the data. The study of sublinear time algorithms has been applied to problems from a wide range of areas, including algebra, graph theory, geometry, string and set operations, optimization and probability theory. This course will introduce many of the various techniques that have been applied to analyzing such algorithms.
0368-4211-01
 גיאומטריה חישובית
 Computational Geometry
פרופ הלפרין דןשיעור ותאורנשטיין111 ב'1900-1600 סמ'  א'
אלגוריתמים בסיסיים לבעיות גיאומטריות כגון חישוב קמור, איתור נקודות, דיאגרמת וורונוי, תכנות לינארי במימד נמוך.

 
0368-4222-01
 ניתוח אלגוריתמים
 Analysis of Algorithms
פרופ צוויק אורישיעור ותכיתות דן דוד106 ד'1600-1300 סמ'  א'
בקורס יוצגו אלגוריתמים יעילים יותר עבור הבעיות הבאות: עצים פורשים מינימליים בזמן ליניארי. אימות של עצים פורשים מינימליים. עצים פורשים מינימליים בגרפים מכוונים. חתכי מינימום גלובליים.  גילוי  מעגלים שליליים ומציאת מסלולים קצרים ביותר. זרימה מקסימלית ושידוכים מקסימליים בגרפים דו-צדדיים. זרימה במחיר מינימלי. שידוכים במחיר מינימלי (בעיית ההשמה). שידוכים בגרפים לא דו-צדדיים. חלק מהאלגוריתמים שילמדו הם הסתברותיים.
0368-4429-01
 חישוב מבוזר
 Distributed Computation
פרופ אפק יהודהשיעור ותפיזיקה-שנקר222 א'1900-1600 סמ'  ב'
שיתוף פעולה ותאום אלוגריתמי בין מעבדים ברשת תקשורת על מנת לפתור בעיות גלובאליות משותפות. כל מעבד בחישוב מקבל רק חלק מהקלט ומייצר רק חלק מהפלט כך שאיחוד הפלטים הוא פלט חוקי של החישוב המבוזר; במודל העיקרי בו נעסוק, המעבדים מתקשרים ביניהם אך ורק ע"י העברת הודעות בקוי התקשורת. כמו כן נעסוק במודל של זכרון משותף; יידונו רשתות סינכרוניות ואסינכרוניות ומספר רב של בעיות; הפצת הודעה, בחירת מנהיג, שבירת סימטריה, בניית עץ פורש, פיזור ושליטה במשאבים, תקשורת מקצה לקצה ברשת דינמית וניתוב. כמו כן יידונו בעיות מיוחדות של סינכרון, וצילום מצב גלובלי.

0368-4473-01
 סמינר אלגוריתמים למידול והתאמה של מבנים תלת מימדיים
 Modeling and Matching of 3d Structures
פרופ וולפסון חייםסמינר פיזיקה-שנקר105 ד'1900-1700 סמ'  א'
בסמינר יוצגו אלגוריתמים לגילוי תבניות מרחביות הפותרים בעיות מרכזיות בשטחים מדעיים שונים  ומגווונים.
בפרט יוצגו אלגוריתמים לזיהוי עצמים בתמונות תלת מימדיות בראיה ממוחשבת, אלגוריתמים לזיהוי אינטרקציה של חלבונים בביולוגיה
מולקולרית, אלגוריתמים לשחזור מוצגי אמנות ומוצגים ארכיאולוגיים, אלגוריתמים לפיתרון בעיות בהדמיה רפואית ועוד.
הדגש יושם על הדמיון במתודולוגיה המתימטית והאלגוריתמית ועל הגיוון באפליקציות.
הסמינר אינו מניח ידע מוקדם בשטחי האפליקציה. 

The seminar will discuss applications of three dimensional pattern discovery algorithms to the solution of key tasks in diverse scientific disciplines.
In particular, it will deal with algorithms for the recognition of objects in cluttered 3D scences in Computer Vision, algorithms for the prediction of protein-protein interactions in Molecular Biology, algorithms for the restoration of sculptures and archaeological objects, pattern detection iin Medical Image processing and more.
We shall emphasize the similarity in the mathematical and algorithmic methodology and the diversity in the applications.
No prior knowledge in the application fields is assumed.
0368-4474-01
 אבטחת מידע - תיאוריה בראי המציאות
 Information Security - Theory Vs. Reality
ד"ר טרומר ערןשיעור הנדסה כתות ח206 ג'2000-1700 סמ'  א'

אבטחת מידע - תאוריה בראי המציאות

Information Security: Theory vs. Reality

סמסטר א

יום ג'   16:00-19:00

 

 

הקורס יעסוק ביסודות אבטחת המידע במערכות מיחשוב ותקשורת, ובאתגרים אשר בפער שבין העקרונות ליישומים מעשיים. מחד, הקורס ידון בעקרונות בניית מערכות מאובטחות באמצעים כגון אכיפת גישה והרשאות, ניהול זרימת מידע, שפות תכנות יעודיות, אלגוריתמים קריפטוגרפיים, כלי תכנות ואימות וזיהוי ארועים חריגים. מאידך, הקורס יציג אתגריים מרכזיים במערכות מציאותיות, ובכלל זאת פרצות אבטחה במימוש קוד, זליגה ושיבוש של  מידע באמצעים פיזיקליים, אתגרי אבטחה במיחשוב ענן, התקפות מבוזרות רחבות-היקף, וחולשות במערכות ניידות כגון טלפונים סלולריים ורכבים. נדון בסיבות לפער בין העקרונות התאורתיים לאתגרי המציאות, ובכיווני מחקר עדכניים לצמצומו. הקורס יכלול התנסות ישירה בכלי הגנה והתקפה.

 

 

הקורס מתאים לתלמידי מחקר וכן לתלמידי תואר ראשון מתקדמים (מדמ"ח שנה ג', הנדסה שנה ד'). נדרשים הבנה טובה של מבנה מחשבים (מערכות הפעלה, שפת מכונהעקרונות שפות תכנות, רשתות תקשורת), נסיון תכנות מעשי, והכרת מושגי בסיס בתורת ההצפנה.

0368-4479-01
 ניתוח ואימות תוכנה
 Program Analysis and Verification
ד"ר רינצקי נעםשיעור ותשרייבר מתמטי008 ב'1600-1300 סמ'  ב'
Operational semantics (How do we formally define the meaning of programs).
Program logics (Classical and modern approaches for manual verification of computer programs).
Abstract interpretation (Theoretical foundation of automatic compile-time
analysis, aka static analysis, For example, determining during compile time whether x= y / z is always 1 or that at this program point z is not zero.)
Miscellaneous verification techniques: MC (Model
checking), SAT (Satisfiability) and SMT (Satisfiability
Modulo Theory).
 
The course will have ~4 exercises and a final project (that can be done in pairs.)
Prerequisite: Computational models (0368-2200)
0368-4486-01
 יישומים במדעי המחשב של תורת האינפורמציה
 Information Theory and Applications to Computer Science
פרופ היטנר יפתח אילןשיעור ותפיזיקה-שנקר222 ג'1300-1000 סמ'  א'
This is a graduate course, but open  to undergrad students given my permission (via email).

Syllabus:
The notions of information and entropy, initially originated in statistical physics and electrical engineering, is central in almost all branches of modern science. We will give  an introduction to information theory and its applications, with focus on computer science, and recent applications to complexity-based cryptography.
See last year course website here.


Prerequisite:
Complexity course, possibly taken in parallel.

Assignment:  4-5 home assignments  + exam (in-class for the undergrad students, possibly a take home one for the gradate studetns).



 
0368-4491-01
 סיבוכיות תקשורת ואינפורמציה
 Communication and Information Complexity
ד"ר אושמן רותםשיעור ותפיזיקה-שנקר204 ה'1800-1500 סמ'  ב'

סיבוכיות תקשורת עוסקת בשאלה: כמה ביטים של תקשורת נדרשים כדי לבצע חישוב על קלט שמחולק בין שני מחשבים שונים? למשל, אם שני עותקים של קובץ שמורים על מחשבים שונים, ואנו רוצים לוודא שהעותקים זהים, כמה ביטים של תקשורת נדרשים -- האם צריך לשלוח את הקובץ כולו או שניתן להסתפק בפחות תקשורת?

סיבוכיות תקשורת מהווה כלי שימושי ביותר להוכחת חסמים תחתונים בתאוריה של מדעי המחשב, עם שימושים בתחומים מגוונים הכוללים סיבוכיות מעגלים (circuit complexity), מבני נתונים, חישוב מבוזר, אלגוריתמים תת-לינאריים ועוד. כדי להוכיח חסמים תחתונים על סיבוכיות התקשורת של פונקציות שונות קיימות שיטות הסתברותיות, קומבינטוריות ואלגבריות, אותן נסקור בקורס. כמו-כן נלמד כיצד מודדים את כמות ה*אינפורמציה* שעוברת בפרוטוקול תקשורת נתון, שיטות להוכחת חסמים תחתונים על כמות זו, וקשרים בין אינפורמציה ותקשורת.


דרישות קדם:

  • סיבוכיות (אפשר תוך-כדי באישור המרצה)


דרישות הקורס:

  • תרגילי בית דו-שבועיים

  • בחינה

0368-4493-01
 אלגוריתמים דינמיים
 Dynamic Algorithms
ד"ר צ'צ'יק שירישיעור ותפיזיקה-שנקר204 ג'1900-1600 סמ'  ב'

גרפים דינמיים הם גרפים שמשתנים עם הזמן (קשתות/צמתים נמחקים/מתווספים לגרף).

אלגוריתמים דינמיים הם אלגוריתמים שמתחזקים מבנה רצוי על גרף דינמי. כאשר אחת המטרות המרכזיות היא למזער את הזמן שלוקח לעדכן את מבנה הנתונים בעקבות עדכון (מחיקה או הוספה של צומת או קשת).

 נראה לדוגמא אלגוריתמים שמתחזקים עצי מסלולים קצרים ביותר תוך כדי מחיקת/הוספת קשתות/צמתים לגרף ע"י יריב כלשהוא. דוגמאות נוספות שנראה: קישוריות, עץ פורש מינימלי וכו'.

נלמד בקורס אלגוריתמים דינמיים תוך כדי מתן דגש על תוצאות מרכזיות בתחום.
0368-4503-01
 סמינר באוטומטים, משחקים וסינתזה
 Advanced Seminar
פרופ רבינוביץ אלכסנדרסמינר כיתות דן דוד104 ד'1900-1700 סמ'  ב'

Games, logic and Automata Seminar

 

In this seminar we will study topics related to games, logic and automata and a rich interplay between them.

 

Requirements: (a) give a lecture. (b) actively participate in the lectures of other students.

 

We will use book Automata, Logic and infinite games, edited by Gradel, Thomas and Wilke, LNCS 2500.

0368-4506-01
 מבוא לתורת הקודים לתיקון שגיאות
 Introduction to Error Correcting Codes
פרופ בנבנישתי שפילקה אמירשיעור כיתות דן דוד207 ד'1200-0900 סמ'  א'
סילבוס לקורס מבוא לתורת הקודים לתיקון שגיאות:

- הקדמה ומוטיבציה
- משפטי שאנון
- חסמים על קודים
- בניות מפורשות
- אלגוריתמים לתיקון טעויות
- קודים אלגברים
- קודים הבאים מגרפים מרחיבים
- קודים הניתנים לתיקון מקומי

0368-4612-01
 סמינר באלגוריתמים בזמן תת-ליניארי
 Seminar Sublinear Time Algorithms
פרופ רובינפלד רוניתסמינר אורנשטיין110 א'1500-1300 סמ'  א'
This seminar will focus on the design of algorithms that are restricted to run in sublinear time, and thus can view only a very small portion of the data. The study of sublinear time algorithms has been applied to problems from a wide range of areas, including algebra, graph theory, geometry, string and set operations, optimization and probability theory. This seminar will cover many of the various techniques that have been applied to analyzing such algorithms.
0368-5229-01
 נושאי מתקדמים בכלים לפיתוח תוכנה איכותית
 
פרופ יהודאי עמירםסמינר שרייבר מתמטי309 ב'2000-1800 סמ'  א'
ד"ר מעוז שחרסמינר שרייבר מתמטי309 ב'2000-1800 סמ'  ב'
0368-8888-01
 בחינה על עבודת גמר
 Final Examination
בחינת גמ סמ'  א'
0368-9999-01
 עבודת גמר
 Thesis
עבודת גמ סמ'  א'