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

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

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

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

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

קומבינטוריקה: קומבינטוריקה בסיסית, בינום ניוטון, עקרון ההכלה וההפרדה, עקרון שובך היונים,