(←88-803 אלגברות עם חילוק) |
|||
(72 גרסאות ביניים של 6 משתמשים אינן מוצגות) | |||
שורה 1: | שורה 1: | ||
'''למרצים'''. | '''למרצים'''. | ||
− | בדף זה מופיעה גרסה עדכנית (לתשע" | + | בדף זה מופיעה גרסה עדכנית (לתשע"ה) של כל הסילבוסים בקורסים של המחלקה למתמטיקה. |
+ | * הגרסה בדף זה מתואמת עם ועדת ההוראה המחלקתית ומחייבת למרצים. | ||
+ | * עליכם לעדכן גם את הגרסה לסטודנטים דרך [https://dory.os.biu.ac.il/EntireXMartse/index.html מערכת השירות למרצה] (לקראת סוף השנה, כאשר נקבע השיבוץ לשנה הבאה). | ||
+ | |||
+ | '''שאלה'''. אם יש מערכת אוניברסיטאית רשמית, לשם מה הדף הזה? | ||
+ | |||
+ | '''תשובה'''. דף זה משמש את ועדת ההוראה לעדכון שוטף של המערכת, בצמוד לשינויים במערכת השעות. המערכת האוניברסיטאית אינה מאפשרת עבודה על כמה קורסים במקביל, ואינה מאפשרת עדכונים שוטפים במהלך השנה. המרצה יכול להעזר בסילבוס המופיע כאן, על מנת לעדכן את הסילבוס הרשמי (המחייב כלפי הסטודנטים) על-פי שיקול דעתו. | ||
+ | |||
+ | '''הערות נוספות'''. | ||
* אנא פעלו לפי הסילבוס בקורסים שאתם מלמדים. | * אנא פעלו לפי הסילבוס בקורסים שאתם מלמדים. | ||
− | * | + | * חשוב שתכירו את הסילבוסים של הקורסים השכנים: ידע על הקורסים שהסטודנטים כבר למדו יעזור לכם למנוע פערים או כפילויות מיותרות. הכרת הקורסים שהם אמורים ללמוד בעתיד תעזור לכם לתכנן את נקודת הסיום של הקורס. |
* כדי לבצע שינויים מינוריים ותיקוני סגנון, הרשמו לאתר, והעזרו בדוגמאות מקורסים אחרים. | * כדי לבצע שינויים מינוריים ותיקוני סגנון, הרשמו לאתר, והעזרו בדוגמאות מקורסים אחרים. | ||
* אם אתם מעוניינים להצביע על תקלות או להציע שינויים משמעותיים, אנא התייעצו עם ראש ועדת הוראה. | * אם אתם מעוניינים להצביע על תקלות או להציע שינויים משמעותיים, אנא התייעצו עם ראש ועדת הוראה. | ||
שורה 42: | שורה 50: | ||
# מרחבי מכפלה פנימית. הנורמה המושרה. | # מרחבי מכפלה פנימית. הנורמה המושרה. | ||
# בסיס אורתוגונלי ואורתונורמלי. תהליך גרהם-שמידט. | # בסיס אורתוגונלי ואורתונורמלי. תהליך גרהם-שמידט. | ||
− | # משפט ריס (במימד סופי). | + | # פונקציונלים והמרחב הדואלי. משפט ריס (במימד סופי). |
# טרנספורמציות נורמליות, הרמיטיות, אוניטריות. | # טרנספורמציות נורמליות, הרמיטיות, אוניטריות. | ||
# ליכסון אוניטרי של מטריצות נורמליות מרוכבות וליכסון אורתוגונלי של מטריצות סימטריות ממשיות. | # ליכסון אוניטרי של מטריצות נורמליות מרוכבות וליכסון אורתוגונלי של מטריצות סימטריות ממשיות. | ||
− | + | ||
[http://u.cs.biu.ac.il/~tsaban/LinearAlgebra/LAT73/LA2ExtOutline.pdf תקציר מפורט] (של מרבית הקורס), חוברת על [http://u.cs.biu.ac.il/~tsaban/LinearAlgebra/LAT73/JordanAll.pdf משפט ג'ורדן]. | [http://u.cs.biu.ac.il/~tsaban/LinearAlgebra/LAT73/LA2ExtOutline.pdf תקציר מפורט] (של מרבית הקורס), חוברת על [http://u.cs.biu.ac.il/~tsaban/LinearAlgebra/LAT73/JordanAll.pdf משפט ג'ורדן]. | ||
− | == 88-132 חשבון | + | == 88-132 חשבון אינפיניטסימלי 1 == |
'''שעות'''. 4 הרצאה + 2 תרגיל. סמסטר א'. | '''שעות'''. 4 הרצאה + 2 תרגיל. סמסטר א'. | ||
שורה 71: | שורה 79: | ||
## מושג הפונקציה, הגרף של פונקציה, וסקירת הפונקציות האלמנטאריות | ## מושג הפונקציה, הגרף של פונקציה, וסקירת הפונקציות האלמנטאריות | ||
# גבול של פונקציה | # גבול של פונקציה | ||
− | ## הגדרת הגבול | + | ## הגדרת הגבול בגישת אפסילון-דלתא ובגישת הסדרות (היינה) |
## גבולות חד-צדדיים | ## גבולות חד-צדדיים | ||
## משפטי הגבול היסודיים | ## משפטי הגבול היסודיים | ||
שורה 82: | שורה 90: | ||
## קומפקטיות, משפט היינה-בורל | ## קומפקטיות, משפט היינה-בורל | ||
## פונקציות הפיכות והפוכות | ## פונקציות הפיכות והפוכות | ||
− | ## הפונקציה | + | ## הפונקציה <math>\ a^x</math> |
# הנגזרת | # הנגזרת | ||
## הגדרת הנגזרת ומשמעותה הגיאומטרית והפיסיקלית | ## הגדרת הנגזרת ומשמעותה הגיאומטרית והפיסיקלית | ||
## הכללים היסודיים של גזירה; חוק השרשרת; גזירת הפונקציה ההפוכה; נגזרות של פונקציות אלמנטאריות | ## הכללים היסודיים של גזירה; חוק השרשרת; גזירת הפונקציה ההפוכה; נגזרות של פונקציות אלמנטאריות | ||
## נגזרת מסדר כלשהו | ## נגזרת מסדר כלשהו | ||
+ | ## משפטי פרמה, רול, לגרנג' וקושי | ||
+ | ## כלל לופיטל | ||
− | == 88-133 חשבון | + | == 88-133 חשבון אינפיניטסימלי 2 == |
'''שעות'''. 4 הרצאה + 2 תרגיל. סמסטר ב'. | '''שעות'''. 4 הרצאה + 2 תרגיל. סמסטר ב'. | ||
− | # | + | # חקירת פונקציות. |
− | + | # נוסחת טיילור הסופית עם שארית | |
− | + | ## הערכת השארית | |
− | + | ||
## חישובים מקורבים בעזרת נוסחת טיילור | ## חישובים מקורבים בעזרת נוסחת טיילור | ||
− | # | + | # האינטגרל הלא מסויים |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
## הגדרה והכללים הבסיסיים. | ## הגדרה והכללים הבסיסיים. | ||
− | ## חישוב | + | ## חישוב אינטגרלים לפי פירוק לשברים חלקיים, אינטגרציה לפי חלקים, שיטת ההצבה ושינוי משתנה. |
# האינטגרל המסוים | # האינטגרל המסוים | ||
## סכומי רימן והגדרת האינטגרל על פיהם. | ## סכומי רימן והגדרת האינטגרל על פיהם. | ||
שורה 115: | שורה 114: | ||
## תנאים הכרחיים ומספיקים לאינטגרביליות. | ## תנאים הכרחיים ומספיקים לאינטגרביליות. | ||
## אינטגרביליות של פונקציות רציפות למקוטעין ופונקציות מונוטוניות למקוטעין. | ## אינטגרביליות של פונקציות רציפות למקוטעין ופונקציות מונוטוניות למקוטעין. | ||
− | ## התכונות היסודיות של פונקציות | + | ## התכונות היסודיות של פונקציות אינטגרביליות ושל האינטגרל המסויים. |
## המשפט היסודי של החשבון האינטגרלי. | ## המשפט היסודי של החשבון האינטגרלי. | ||
− | ## משפט הערך הממוצע עבור | + | ## משפט הערך הממוצע עבור אינטגרלים, נוסחת דרבו. |
# אינטגרלים לא אמיתיים | # אינטגרלים לא אמיתיים | ||
## אינטגרלים שגבולותיהם אינסופיים. | ## אינטגרלים שגבולותיהם אינסופיים. | ||
שורה 123: | שורה 122: | ||
## מבחני התכנסות והתכנסות בהחלט. | ## מבחני התכנסות והתכנסות בהחלט. | ||
## המבחן האינטגרלי להתכנסות של טורי מספרים. | ## המבחן האינטגרלי להתכנסות של טורי מספרים. | ||
− | # פונקציות | + | # סדרות וטורים של פונקציות |
+ | ## תכונות כלליות | ||
+ | ### התכנסות נקודתית ובמידה שווה. | ||
+ | ### רציפות הפונקציה הגבולית. | ||
+ | ### גזירה איבר-איבר. | ||
+ | ## טורי חזקות | ||
+ | ### התכנסות והתכנסות במידה שווה של טורי חזקות. | ||
+ | ### רדיוס ההתכנסות. | ||
+ | ### גזירה של טורי חזקות. | ||
+ | ### פיתוח פונקציות אלמנטריות לטורי חזקות. | ||
+ | ### חישובים מקורבים בעזרת טורי חזקות. | ||
+ | ## טורי פוריה | ||
+ | ### הגדרה של טור פורייה. | ||
+ | ### הוכחה שטור פורייה של פונקציה גזירה ברציפות פעמיים מתכנס ושואף אליה. הרחבה לפונקציות גזירות ברציפות. | ||
+ | ### דוגמאות. | ||
+ | ### מכפלה פנימית, אורטוגנאליות, נורמה, שוויון פרסבל (ללא הוכחה). יתרונות וחסרונות לעומת טורי חזקות. | ||
+ | ### חישוב סכומים של טורי מספרים בעזרת טורי פורייה. | ||
== 88-151 שימושי מחשב במתמטיקה == | == 88-151 שימושי מחשב במתמטיקה == | ||
שורה 129: | שורה 144: | ||
'''שעות'''. 2 הרצאה + 1 תרגיל. סמסטר ב'. | '''שעות'''. 2 הרצאה + 1 תרגיל. סמסטר ב'. | ||
− | # | + | # מבוא לתכנות. נלמד בשפת Matlab (כשישה שעורים) |
− | # | + | ## משתנים, תנאים ולולאות. |
− | # | + | ## פונקציות. דוגמה מרכזית: העברת מספרים שלמים בין בסיסים. |
− | # | + | ## מערכים כמבנה נתונים. חיפוש ומיון: |
− | # פתרון | + | ### חיפוש לינארי. |
− | # | + | ### חיפוש בינארי. |
− | # | + | ### מיון פשוט ובועות. |
− | # | + | ## יעילות ויעילות זכרון. סימון O גדול וכדומה. |
− | # | + | ## רקורסיות. |
− | # | + | ### מיון מיזוג. |
− | # | + | ### יעילות של רקורסיה - נוסחאות נסיגה. |
+ | # שימושים מתמטיים - שיטות נומריות | ||
+ | ## אלגברה לינארית | ||
+ | ### ווקטורים ומטריצות, פעולות. | ||
+ | ### פתרון מערכות לינאריות. ריבועים מינימאלים (LS). | ||
+ | ### ערכים ווקטורים עצמיים, ליכסון. | ||
+ | ### FFT. | ||
+ | ## אינפי | ||
+ | ### חקירת פונקציות וגרפיקה. דוגמה מרכזית: מיון של עקומות רבועיות ב 1-3 מימדים. | ||
+ | ### פתרון משוואות ומציאת מינימום. | ||
+ | ### אינטגרציה נומרית. | ||
+ | ### מד"ר. | ||
+ | ### הסתברות וסטטיסטיקה. דוגמה מרכזית: רגרסיה לינארית והקשר בין MLE ל LS. | ||
+ | # חישוב סימבולי (ב Matlab\MuPad\Maple) | ||
+ | ## הרעיון מאחורי חישוב סימבולי. שימושים פשוטים עם Wolfram alpha. | ||
+ | ## משתנים, תנאים ולולאות. | ||
+ | ## אלגברה לינארית. | ||
+ | ## אינפי. | ||
+ | |||
+ | הערה: הקורס כולל ארבעה נושאים מתמטיים אשר אינם נילמדים בקורסים אחרים: | ||
+ | # העברת מספרים שלמים בין בסיסים. | ||
+ | # נוסחאות נסיגה. | ||
+ | # מיון של עקומות רבועיות ב 1-3 מימדים. | ||
+ | # רגרסיה לינארית והקשר בין MLE ל LS. | ||
== 88-165 מבוא להסתברות וסטטיסטיקה == | == 88-165 מבוא להסתברות וסטטיסטיקה == | ||
− | '''שעות'''. 4 הרצאה + 2 תרגיל. סמסטר ב' | + | '''שעות'''. 4 הרצאה + 2 תרגיל. סמסטר ב'. |
# מבוא לקומבינטוריקה: תמורות, בחירה עם החזרה וללא החזרה כשיש וכשאין חשיבות לסדר. מקדמים בינומיים ומולטינומיים. משולש פסקל, משפט הבינום והכללות. עקרון ההכלה וההדחה. | # מבוא לקומבינטוריקה: תמורות, בחירה עם החזרה וללא החזרה כשיש וכשאין חשיבות לסדר. מקדמים בינומיים ומולטינומיים. משולש פסקל, משפט הבינום והכללות. עקרון ההכלה וההדחה. | ||
שורה 153: | שורה 191: | ||
# התפלגויות רציפות: אחידה, מעריכית, נורמלית תקנית; נורמלית. התפלגות כי-בריבוע, התפלגות t והתפלגות F. | # התפלגויות רציפות: אחידה, מעריכית, נורמלית תקנית; נורמלית. התפלגות כי-בריבוע, התפלגות t והתפלגות F. | ||
# אי-שוויוני מרקוב וצ'ביצ'ב. פונקציות יוצרות מומנטים: דוגמאות ושימושים. החוק החלש של המספרים הגדולים. החוק החזק (ללא הוכחה). הבדלים ודוגמאות. משפט הגבול המרכזי (עם הוכחה בהנחת היחידות של פונקציה יוצרת מומנטים). הקירוב הנורמלי להתפלגות בינומית (לפי CLT, ללא חסמים). דוגמאות (מהלך מקרי). | # אי-שוויוני מרקוב וצ'ביצ'ב. פונקציות יוצרות מומנטים: דוגמאות ושימושים. החוק החלש של המספרים הגדולים. החוק החזק (ללא הוכחה). הבדלים ודוגמאות. משפט הגבול המרכזי (עם הוכחה בהנחת היחידות של פונקציה יוצרת מומנטים). הקירוב הנורמלי להתפלגות בינומית (לפי CLT, ללא חסמים). דוגמאות (מהלך מקרי). | ||
− | # אופציונאלי | + | # [אופציונאלי] שרשראות מרקוב (על מרחב מצבים סופי): דוגמאות, התפלגות סטציונרית, הסתברויות ספיגה ותוחלת של זמן המתנה. |
# אוכלוסיה ומדגם. תוחלת ושונות של הממוצע. אמידה נקודתית, אומד חסר הטיה. שיטת הנראות המכסימלית ואומד נראות מכסימלית. אמידה של תוחלת ושונות בהתפלגות נורמלית. | # אוכלוסיה ומדגם. תוחלת ושונות של הממוצע. אמידה נקודתית, אומד חסר הטיה. שיטת הנראות המכסימלית ואומד נראות מכסימלית. אמידה של תוחלת ושונות בהתפלגות נורמלית. | ||
# רווחי סמך: רווח סמך לתוחלת בהתפלגות נורמלית (שונות ידועה ולא ידועה). רווח סמך לשונות. רווח סמך להפרש תוחלות עם שונויות ידועות; לא ידועות אך שוות; לא ידועות. | # רווחי סמך: רווח סמך לתוחלת בהתפלגות נורמלית (שונות ידועה ולא ידועה). רווח סמך לשונות. רווח סמך להפרש תוחלות עם שונויות ידועות; לא ידועות אך שוות; לא ידועות. | ||
שורה 159: | שורה 197: | ||
'''אתר הקורס'''. [[88-165 מבוא להסתברות וסטטיסטיקה]] | '''אתר הקורס'''. [[88-165 מבוא להסתברות וסטטיסטיקה]] | ||
+ | |||
+ | '''הערה למרצים'''. זהו הקורס היחיד בסטטיסטיקה לכל תלמידי המחלקה. אנא הקפידו להקדיש די זמן לנושאים 10-12. בניית קו רגרסיה מכוסה בקורס [[#88-151 שימושי מחשב]]. | ||
== 88-170 מבוא לחישוב == | == 88-170 מבוא לחישוב == | ||
שורה 198: | שורה 238: | ||
'''שעות'''. 4 הרצאה + 2 תרגיל. סמסטר א' (קיץ לתלמידי התיכון). | '''שעות'''. 4 הרצאה + 2 תרגיל. סמסטר א' (קיץ לתלמידי התיכון). | ||
− | # לוגיקה 1: קשרים לוגיים, | + | # לוגיקה 1 (תחשיב הפסוקים): הצרנה, קשרים לוגיים, טבלת אמת, שקילות לוגית, תכונות הקשרים (בפרט: חוקי דה מורגן), טאוטולוגיה, סתירה; כמתים, משמעותם ושלילתם. |
− | + | # מבוא לתורת הקבוצות: קבוצה, איברים, השתייכות, תיאור קבוצה ע"י רשימה וע"י תכונה, שוויון קבוצות, שלילה של כמתים (אי-שוויון קב'), הכלה, קבוצה ריקה, איחוד, דיאגרמת וון, לוח השתייכות, חיתוך, קבוצות זרות, הפרש, הפרש סימטרי, משלים, תכונות הפעולות (בפרט: קיבוץ/אסוציאטיביות, פילוג/דיסטריבוטיביות, חוקי דה-מורגן), איחוד כללי, חיתוך כללי, קבוצת החזקה, זוג סדור, מכפלה קרטזית. | |
− | # מבוא לתורת הקבוצות: קבוצה, איברים, השתייכות, תיאור קבוצה ע"י רשימה וע"י תכונה, שוויון קבוצות, שלילה של כמתים (אי- | + | # לוגיקה 2 (תחשיב הכמתים): הסבר לא פורמלי של המושגים: נוסחה, כללי היסק (עם דוגמאות), הוכחה, הוכחה בדרך השלילה. אינדוקציה, לרבות אינדוקציה שלמה, ודוגמאות. |
− | # יחסים: יחס, יחס רפלקסיבי, סימטרי, טרנזיטיבי, יחס שקילות, הסגור הטרנזיטיבי של יחס, מחלקת | + | # יחסים: יחס, יחס רפלקסיבי, סימטרי, טרנזיטיבי, יחס שקילות, הסגור הטרנזיטיבי של יחס, מחלקת שקילות, קבוצת המנה, חלוקה של קבוצה, שקילות המושגים יחס וחלוקה. |
− | # יחסי סדר: סדר חלקי, | + | # יחסי סדר: סדר חלקי, דיאגרמת Hasse, איבר מינימלי, איבר מקסימלי, איבר קטן ביותר (קטן מכל האחרים), איבר גדול ביותר, היחס ההפוך, חסם מלעיל/מלרע, חסם עליון /סופרמום, חסם תחתון/אינפימום, סדר מלא/קוי, שרשרת. |
− | # | + | # פונקציות: תחום ותמונה של יחס, יחס חד-ערכי, פונקציה, פונקציה חח"ע, פונקציה על, הרכבת פונקציות, מסקנות מחח"ע/על של הרכבה, פונקצית הזהות, פונקציה הפיכה, יחידות ההופכית, אפיון הפיכה כחח"ע ועל, תמונה ומקור (תמונה הפוכה) של קבוצות, תמונה ומקור של איחוד/חיתוך, צמצום של פונקציה, פונקציות מוגדרות היטב על קבוצת מנה. |
− | # | + | # עוצמות: שוויון עוצמות, קבוצה סופית/אינסופית, המלון של הילברט; השוויון מוגדר היטב והוא יחס שקילות בין עוצמות; אי-שוויון בין עוצמות ועקרון שובך היונים (כולל דוגמאות קומבינטוריות); קבוצה בת-מניה, אלף-אפס הוא הקטן מכל העוצמות האינסופיות; הקשר בין עוצמות כשיש פונקציה על, משפט קנטור-ברנשטיין; עוצמת הרציונליים, איחוד בן-מניה של קבוצות בנות-מניה הוא בן-מניה; משפט קנטור על עוצמת קבוצת החזקה, עוצמת הרצף. |
− | + | # פעולות בין עוצמות: חיבור, כפל וחזקה של עוצמות - הגדרה, אריתמטיקה של עוצמות, העדר צמצום בחיבור וכפל עוצמות. | |
− | # | + | # תורת הגרפים (משך: כשבוע וחצי): מבוא - בעית גשרי קניגסברג; גרף מכוון (יחס), גרף לא מכוון כיחס סימטרי וכקבוצה עם אוסף זוגות לא סדורים, לולאות וצלעות כפולות, תת-גרף, שכנות, מסלול, גרף קשיר, רכיבי קשירות, מסלול ומעגל אוילר, קריטריון לקיום מסלול או מעגל אוילר, מסלול ומעגל המילטוני; משפחות מיוחדות של גרפים: גרף שלם ומס' צלעותיו, גרף דו-צדדי, גרף דו-צדדי שלם ומס' צלעותיו, עץ, יער, תנאים שקולים לעץ. אם נותר זמן, צביעת קודקודים. |
− | #תורת הגרפים - | + | |
− | + | לתשומת לב המרצה: קומבינטוריקה מכוסה ב-88-165; נוסחאות נסיגה ב-88-151; הלמה של צורן ב-88-222 וב-88-202. | |
+ | |||
+ | לסטודנטים: אתם מוזמנים לקרוא על [[הלמה של צורן]] ושימושיה לחישובי עוצמות, בקישור. | ||
== 88-201 גאומטריה אנליטית ודיפרנציאלית == | == 88-201 גאומטריה אנליטית ודיפרנציאלית == | ||
שורה 214: | שורה 256: | ||
'''שעות'''. 3 הרצאה + 2 תרגיל. סמסטר ב' (קיץ לתלמידי התיכון). | '''שעות'''. 3 הרצאה + 2 תרגיל. סמסטר ב' (קיץ לתלמידי התיכון). | ||
− | + | # ווקטורים במישור ובמרחב. המכפלה הסקלרית והמכפלה הווקטורית. תבניות ריבועיות. וקטור עצמי של מטריצה סימטרית, אופרטור צמוד לעצמו. | |
− | + | # חתכי חרוט: אליפסה, היפרבולה ופרבולה. משטחים ריבועיים (מיון ניתן בקורס [[88-151 שימושי מחשב|אחר]]). ה-Hessian. נקודות אוכף. | |
− | + | # גאומטריה של המישור: עקומות. אורך של עקומה. חישוב העקמומיות דרך הצגה פרמטרית והצגה סתומה. | |
− | + | # גאומטריה תלת-מימדית: ישרים ומישורים במרחב. משוואות של עקומות ומשטחים במרחב. משטחים. מישור משיק. התבנית היסודית הראשונה, אורך ושטח. הסכם הסיכום של איינשטיין. היעקוביאן. | |
− | + | # קואורדינטות כדוריות. משטחי סיבוב. מקדמי גמא. | |
− | + | # מבוא לגאומטריה ספרית: ישרים ספריים, משולשים ספריים (חוק הסינוסים, שטח). | |
− | ## | + | # יחס קלארו והמשוואה הגאודזית. קוים גאודזיים על משטחי סיבוב. העתקת ויינגרטן. |
− | # | + | # התבנית היסודית השניה. עקמומיות גאוס. |
− | + | # בועות סבון, קרומי סבון, משטחים מינימליים. עקמומיות ממוצעת. | |
− | # | + | # המשפט של גאוס Theorema Egregium והמושג של גאומטריה עצמית. |
− | # | + | # עקמומיות מסומנת של עקומות, אינדקס של רוטציה. מטריקה היפרבולית על חצי המישור העליון (אם נשאר זמן - מבוא לגאומטריה היפרבולית: גאודזים, משולשים היפרבוליים, חבורת האיזומטריות; מודל פואנקרה). |
− | + | # שריגים, טורוסים. | |
+ | # העתקת גאוס, משפט גאוס-בונה, דריבציות. | ||
+ | |||
== 88-202 תורת הקבוצות == | == 88-202 תורת הקבוצות == | ||
שורה 236: | שורה 280: | ||
# מערכות המספרים: הטבעיים (ממומשים ע"י אומגה), השלמים והרציונלים (ע"י מחלקות שקילות), הממשיים (חתכי דדקינד) ותכונותיהם הבסיסיות (כולל תכונת החסם העליון מאינפי'). כל סדר קוי בן מניה צפוף לא חסום הוא איזומורפי-סדר לרציונלים (טיעון הלוך-ושוב של קנטור), שימוש: גרפים אקראיים בני מניה הם איזומורפיים בהסתברות 1, הממשיים הם הסדר השלם היחיד שיש בו קבוצה צפופה איזומורפית-סדר לרציונלים. היחידות של שדה סדור שלם. | # מערכות המספרים: הטבעיים (ממומשים ע"י אומגה), השלמים והרציונלים (ע"י מחלקות שקילות), הממשיים (חתכי דדקינד) ותכונותיהם הבסיסיות (כולל תכונת החסם העליון מאינפי'). כל סדר קוי בן מניה צפוף לא חסום הוא איזומורפי-סדר לרציונלים (טיעון הלוך-ושוב של קנטור), שימוש: גרפים אקראיים בני מניה הם איזומורפיים בהסתברות 1, הממשיים הם הסדר השלם היחיד שיש בו קבוצה צפופה איזומורפית-סדר לרציונלים. היחידות של שדה סדור שלם. | ||
# השערת הרצף: משפט קנטור-בנדיקסון. | # השערת הרצף: משפט קנטור-בנדיקסון. | ||
+ | |||
+ | '''אתר הקורס'''. [http://settheory.assafrinot.com/2014b/ כאן] | ||
== 88-211 אלגברה מופשטת 1 == | == 88-211 אלגברה מופשטת 1 == | ||
− | '''שעות'''. 3 הרצאה + 2 תרגיל. סמסטר א' | + | '''שעות'''. 3 הרצאה + 2 תרגיל. סמסטר א'. |
# מבוא. | # מבוא. | ||
שורה 329: | שורה 375: | ||
# הגדרת יריעה, שיכון של יריעה במרחב אוקלידי. | # הגדרת יריעה, שיכון של יריעה במרחב אוקלידי. | ||
− | == 88-230 חשבון | + | == 88-230 חשבון אינפיניטסימלי 3 == |
'''שעות'''. 4 הרצאה + 2 תרגיל. סמסטר א'. | '''שעות'''. 4 הרצאה + 2 תרגיל. סמסטר א'. | ||
שורה 361: | שורה 407: | ||
## משפט מוררה ומשפט ליוביל. | ## משפט מוררה ומשפט ליוביל. | ||
## המשפט היסודי של אלגברה. | ## המשפט היסודי של אלגברה. | ||
− | # טורי חזקות | + | # טורי חזקות ושימושיהם. |
## אנליטיות של טורי חזקות. | ## אנליטיות של טורי חזקות. | ||
## אפיון רדיוס ההתכנסות. | ## אפיון רדיוס ההתכנסות. | ||
שורה 390: | שורה 436: | ||
# התמרת פורייה הבדידה. התמרת פורייה הבדידה והפיכתו, אוניטריות, משפט פלנשרל, קיפול. היחס בין טורי פורייה, התמרת פורייה, התמרת פורייה הבדידה בזמן והתמרת פורייה הבדידה. Aliasing. יישום בדחיסת אות. (2 שבועות) | # התמרת פורייה הבדידה. התמרת פורייה הבדידה והפיכתו, אוניטריות, משפט פלנשרל, קיפול. היחס בין טורי פורייה, התמרת פורייה, התמרת פורייה הבדידה בזמן והתמרת פורייה הבדידה. Aliasing. יישום בדחיסת אות. (2 שבועות) | ||
− | == 88-236 חשבון | + | == 88-236 חשבון אינפיניטסימלי 4 == |
− | '''שעות'''. 3 הרצאה + | + | '''שעות'''. 3 הרצאה + 2 תרגיל. סמסטר ב'. |
+ | |||
+ | קורס באנליזה וקטורית ואינטגרציה על עקומות ומשטחים. '''מטרה עיקרית של הקורס היא ללמד את משפטי גרין, גאוס (משפט הדיברגנץ) וסטוקס'''. | ||
− | # | + | # (3.5 שבועות) אינטגרלים קוויים ב-<math>\ \mathbb{R}^n</math>: מסילה בעלת אורך, מסילה חלקה למקוטעין, פרמטריזציה של מסילות. אינטגרל של פונקציה לפי אורך המסילה. תבנית לינארית דיפרנציאלית ושדה וקטורי. תבנית דיפרנציאלית סגורה, תבנית דיפרנציאלית מדוייקת, שדה משמר (שדה פוטנציאל). אינטגרל קווי של תבנית דיפרנציאלית (או של שדה וקטורי). למת פואנקרה, משפט גרין במישור. |
− | # אינטגרלים משטחיים ב-<math>\ \mathbb{R}^n</math>: הצגה פרמטרית של משטח, משטח | + | # (3.5 שבועות) אינטגרלים משטחיים ב-<math>\ \mathbb{R}^n</math>: משטח k-מימדי ב-<math>\ \mathbb{R}^n</math>. הצגה פרמטרית של משטח, הצגה של משטח כגרף, הצגה של משטח ע"י מערכת משוואות. מרחב משיק למשטח בנקודה. היפר-משטחים, נורמל להיפר-משטח בנקודה. חישוב שטח של משטח. אינטגרל של פונקציה לפי שטח. שימושים כגון חישוב מסה של משטח ומרכז כובד. |
− | # | + | # (3 שבועות) משפט הדיברגנץ ב-<math>\ \mathbb{R}^n</math>: שטף של שדה ווקטורי דרך היפר-משטח. דיברגנץ של שדה ווקטורי. משפט הדיברגנץ. שימושים (נוסחאות גרין, פונקציות הרמוניות). |
+ | # (3 שבועות) משפט סטוקס ב-<math>\ \mathbb{R}^3</math>: משטח בעל אוריינטציה. משטח עם שפה, אוריינטציה מושרית על השפה. רוטור של שדה ווקטורי. משפט סטוקס. | ||
== 88-240 משוואות דיפרנציאליות רגילות == | == 88-240 משוואות דיפרנציאליות רגילות == | ||
שורה 402: | שורה 451: | ||
'''שעות'''. 3 הרצאה + 2 תרגיל. סמסטר א'. | '''שעות'''. 3 הרצאה + 2 תרגיל. סמסטר א'. | ||
− | # המושג של משוואה דיפרנציאלית רגילה (מד | + | # המושג של משוואה דיפרנציאלית רגילה (מד"ר), מיון ודוגמאות. |
# משוואות דיפרנציאליות מסדר ראשון | # משוואות דיפרנציאליות מסדר ראשון | ||
− | ## מד | + | ## מד"ר מסדר ראשון ליניאריות הומוגניות. |
− | ## מד | + | ## מד"ר ליניארית מסדר ראשון ליניאריות לא הומוגניות ( שיטת וריאציות מקדמים) |
− | ## מד | + | ## מד"ר מסדר ראשון לא ליניאריות, הפרדת המשתנים, משוואות מדויקות, גורם אינטגרציה. |
− | ## צורה כללית של מד | + | ## צורה כללית של מד"ר, פתרון כללי, פתרון סינגולרי, תנאי התחלה, בעיית קושי. |
## משוואות קלרו ורקטי. | ## משוואות קלרו ורקטי. | ||
− | ## משפט קיום ויחידות של מד | + | ## משפט קיום ויחידות של מד"ר מסדר ראשון. |
# משוואות דיפרנציאליות מסדר n <1 | # משוואות דיפרנציאליות מסדר n <1 | ||
− | ## מד | + | ## מד"ר ליניאריות הומוגניות מסדר n >1 עם מתקדמים קבועים. |
## אופרטור לינארי מסדר (n) עם מקדמים קבועים . | ## אופרטור לינארי מסדר (n) עם מקדמים קבועים . | ||
## מערכת פונקציות תלו-לינארית ובלתי תלו לינארית, מושג של ורונסקיאן. | ## מערכת פונקציות תלו-לינארית ובלתי תלו לינארית, מושג של ורונסקיאן. | ||
## משוואות מסדר גבוה, נסיגה של סדר נגזרת. | ## משוואות מסדר גבוה, נסיגה של סדר נגזרת. | ||
## משפט ליוביל. | ## משפט ליוביל. | ||
− | ## מד | + | ## מד"ר לינאריות לא הומוגניות מסדר 1<n עם מקדמים קבועים - שיטת הבחירה. |
## גישה כללית לפתירת אופרטור לינארי לא הומוגני – שיטת לגרנז' (וריאצית מקדמים). | ## גישה כללית לפתירת אופרטור לינארי לא הומוגני – שיטת לגרנז' (וריאצית מקדמים). | ||
# מערכת משוואות דיפרנציאליות לינאריות | # מערכת משוואות דיפרנציאליות לינאריות | ||
שורה 586: | שורה 635: | ||
'''שעות'''. 3 הרצאה. סמסטר א'. | '''שעות'''. 3 הרצאה. סמסטר א'. | ||
− | + | # הקדמה. טורי פונקציות ותכונותיהם;אינטגרלים תלויים בפרמטר; גבול של אינטגרל התלוי בפרמטר ;שינוי סדר אינטגרציה באינטגרלים כפולים. | |
− | + | # התמרת פוריה במרחב . משפט עזר של רימן-לבג;התמרת פוריה במרחב ותכונות ראשונות שלה;שיטות ישירות לחישוב התמרת פוריה;ערך ראשי של אנטגרל לא אמיתי; חישוב התמרת פוריה בעזרת שיטת השאריות. | |
− | + | # אינטגרל פוריה. אינטגרל פוריה למחלקות Holder; אינטגרל פוריה לפונקציות חלקות למקוטעין; אינטגרל פוריה בצורה ממשית; הנוסחה האינטגרלית של פוריה וערך ראשי של אינטגרל; ניתוח המשפטים היסודיים. | |
− | + | # היפוך של התמרת פוריה במרחב . נוסחה אינטגרלית של פוריה, התמרת פוריה וההיפוך שלה; משפטים נוספים להיפוך של התמרת פוריה; היפוך של התמרת פוריה בעזרת שיטת השאריות; תכונות יסודיות של התמרת פוריה ויישומים שלהן; משפט השיכון (lmbedding) של סובלב, חלקות הפונקציה ותכונות של התמרת פוריה שלה; תכונות. | |
− | + | # התמרות סינוס וקוסינוס. הנוסחה האינטגרלית של פוריה לפונקציות זוגיות ואי-זוגיות; פיתוח פונקציות המוגדרות בחצי-ציר לאינטגרל פוריה. התמרות סינוס וקוסינוס - תכונות שלהן והיפוך; מציאת התמרות סינוס וקוסינוס בעזרת שיטת השאריות; ישומי התמרות סינוס וקוסינוס, התמרות פוריה לפתרון של בעית קושי למשוואות דיפרנציאליות רגילות. | |
− | + | # התמרת פוריה במרחב . תכונות יסודיות של מרחב . משפט Plancherel. שוויון של Parseval; משפט Plancherel לגבי היפוך של התמרת פוריה; משפט Plancherel במרחב ; חישוב אינטגרלים והשוויון של Parseval; פתרון המשוואה האינטגרלית של Fredholm מסוג ראשון. | |
− | + | # כריכה ויישומיה. כריכה ותכונות יסודיות שלה; משפט Borel; משוואות אינטגרליות של Fredholm מסוג שני מסוג כריכה, פתרונן בעזרת שיטות פוריה. | |
− | + | # התמרת לפלס. מקורות ותמונות; מרחב המקורות; מעריך גידול וחשיבותו;תמונה ותכונות יסודיות שלה; תכונות יסודיות של התמרת לפלס. | |
− | + | # התמרת לפלס. תכונות יסודיות של התמרת לפלס (המשך). | |
− | + | # כריכה ותכונותיה. תכונות יסודיות של כריכה במרחב מקורות; משפט Borel; נוסחאות של Duhamel; פונקצית הגמה של Euler. תכונות ויישומים. | |
− | + | # היפוך של התמרת לפלס. המשפט של Mellin. משפט היחידות; דרישות מספיקות שמגדירות את התמונה; היפוך של התמרת לפלס בעזרת שיטת השאריות; משפט הפיתוח – דוגמאות; היפוך תמונות רציונאליות; היפוך התמרת לפלס בעזרת התכונות הכלליות שלה; פתרון משוואות אינטגרליות ומערכת משוואות אינטגרליות מסוג כריכה בעזרת התמרת לפלס. | |
− | + | # התמרת לפלס ומשוואות דיפנרציאליות רגילות. פתרון של בעית קושי למשוואה דיפנרציאלית לינארית רגילה עם מקדמים קבועים, בעזרת יישום ישיר של התמרת לפלס ובעזרת המשפטים של Borel ו-Duhamel; שיטות טכניות שמפשטות דרך לפתרון; פתרון בעית קושי למערכת משוואות דיפנרציאליות לינאריות רגילות עם מקדמים קבועים – בעזרת ישום ישיר של ההתמרת לפלס ובעזרת המשפטים של Borel ו- Duhamel. | |
== 88-320 פיזיקה למתמטיקאים == | == 88-320 פיזיקה למתמטיקאים == | ||
שורה 643: | שורה 692: | ||
## אי שוויון בל | ## אי שוויון בל | ||
− | == 88-341 אנליזה מודרנית | + | == 88-341 אנליזה מודרנית == |
'''שעות'''. 3 הרצאה + 2 תרגיל. סמסטר א'. | '''שעות'''. 3 הרצאה + 2 תרגיל. סמסטר א'. | ||
− | + | # מבוא לתורת לבג: | |
− | + | ## מידת לבג על הממשיים. | |
− | + | ## קבוצות מדידות לבג וקבוצות בורל. | |
− | + | ## קבוצות לא מדידות. | |
− | + | ## מרחבי מידה ומידות כלליות. | |
− | + | ## פונקציות מדידות. | |
− | + | ## אינטגרל של לבג. | |
− | + | ## השוואה עם אינטגרל של רימן. | |
− | + | ## משפטי התכנסות. | |
− | + | ## משפטי פוביני וטונלי. | |
− | + | # מבוא לאנליזה פונקציונלית: | |
− | + | ## מרחבים לינאריים נורמיים ומרחבי בנך. | |
− | + | ## המרחב <math>L^p</math>. | |
− | + | ## אי-שיוויוני הולדר ומינקובסקי. | |
− | + | ## מרחבי מכפלה פנימית ומרחבי הילברט. | |
− | + | ## משפט ההצגה של ריס במרחבי הילברט. | |
− | + | ## משפט לבג רדון ניקודים. | |
− | + | # גזירה ואינטגרציה: | |
− | + | ## משפט הגזירה של לבג. | |
− | + | ## פונקציות בעלות השתנות חסומה. | |
− | + | ## רציפות בהחלט. | |
− | + | ## אינטגרל של נגזרת. הכללת המשפט היסודי. | |
− | + | ## משפט הפירוק של לבג. | |
− | + | ||
− | + | ||
== 88-355 משוואות אינטגרליות == | == 88-355 משוואות אינטגרליות == | ||
שורה 743: | שורה 790: | ||
## תוחלת, שונות ומומנטים. תכונות של תוחלת, שונות משותפת ומקדם המתאם. | ## תוחלת, שונות ומומנטים. תכונות של תוחלת, שונות משותפת ומקדם המתאם. | ||
## תוחלת מותנית ביחס לסיגמה-אלגברה. | ## תוחלת מותנית ביחס לסיגמה-אלגברה. | ||
− | + | # הלמה של בורל-קנטלי. | |
# סוגים שונים של התכנסות עבור סדרות של משתנים מקריים, משפט שלושת הטורים של קולמוגורוב. החוק החזק של המספרים הגדולים (כולל הוכחה). | # סוגים שונים של התכנסות עבור סדרות של משתנים מקריים, משפט שלושת הטורים של קולמוגורוב. החוק החזק של המספרים הגדולים (כולל הוכחה). | ||
# פונקציה אופינית: הגדרה, תכונות, נוסחת ההיפוך ומשפטים יסודיים. | # פונקציה אופינית: הגדרה, תכונות, נוסחת ההיפוך ומשפטים יסודיים. | ||
שורה 757: | שורה 804: | ||
# משוואות דיפרנציאליות רגילות: משוואות מסדר ראשון- שיטת אוילר, שיטת רנגה-קוטה. משוואות מסדר גבוה – הבאה למערכת משוואות דיפרנציאליות מסדר ראשון. | # משוואות דיפרנציאליות רגילות: משוואות מסדר ראשון- שיטת אוילר, שיטת רנגה-קוטה. משוואות מסדר גבוה – הבאה למערכת משוואות דיפרנציאליות מסדר ראשון. | ||
כל נושא מלווה בפקודות המתאימות של Matlab . | כל נושא מלווה בפקודות המתאימות של Matlab . | ||
+ | |||
+ | == 88-377 שיטות נומריות 2 == | ||
+ | (קורס בחירה) | ||
== 88-385 סדנה לפרוייקטים == | == 88-385 סדנה לפרוייקטים == | ||
שורה 784: | שורה 834: | ||
# מערבולות סינגולאריות: פונקצית דלטה, מערבולת נקודתית; אנסמבל של מערבולות נקודתיות; מערכת המילטונית; יציבות לא ליניארית של זוג ושלישית מערבולות נקודתיות. | # מערבולות סינגולאריות: פונקצית דלטה, מערבולת נקודתית; אנסמבל של מערבולות נקודתיות; מערכת המילטונית; יציבות לא ליניארית של זוג ושלישית מערבולות נקודתיות. | ||
# נוזלים סובבים: הקירובים של מישור f ומישור בטא, גלי רוסבי, דיפולים סטאציונריים על משור בטא. קירוב מים רדודים, גלי אינרציה-גרוויטאציה. | # נוזלים סובבים: הקירובים של מישור f ומישור בטא, גלי רוסבי, דיפולים סטאציונריים על משור בטא. קירוב מים רדודים, גלי אינרציה-גרוויטאציה. | ||
+ | |||
+ | == 88-505 תורת הקבוצות של הישר הממשי == | ||
+ | |||
+ | מבוא לשיטות קומבינטוריות-אינסופיות באנליזה של הישר הממשי ומרחבים קשורים. היכרות עם תכונות כיסוי קלאסיות של קבוצות של מספרים ממשיים (מנגר, הורביץ', רותברגר, ועוד) ותכונות של מרחבי פונקציות ממשיות. פיתוח כלים קומבינטוריים לבניית מרחבים עם תכונות אלה. | ||
+ | |||
+ | - הפנים המרובות של הישר הממשי: (מרחב קנטור, מרחב בייר). | ||
+ | - תכונות הכיסוי הקלאסיות. | ||
+ | - אפיונים קומבינטוריים ומונים של הרצף. | ||
+ | - בניית קבוצות ממשיות ב ZFC: קבוצת מנגר שאינה סיגמא קומפקטית (פתרון השערת מנגר), קבוצת מנגר בלי תכונת הורביץ' (פתרון השאלה של הורביץ'). | ||
+ | - שיטת השמטת הקטעים ובניית קבוצה ממשית עם תכונת הורביץ' שאינה סיגמא קומפקטית. | ||
+ | - מידה וקטגוריה (לבג, בורל, בייר) וקשרים לתכונות הכיסוי. | ||
+ | - תכונת פרשה-אוריסון: מרחבי פונקציות והקשר לתכונות כיסוי. | ||
+ | - בניית מרחב פונקציות עם תכונת פרשה-אוריסון תחת ההנחה שיש קבוצה מרוכזת. | ||
+ | - עקרונות בחירה: הצגה ומיון (הדיאגרמה של סקיפרס). | ||
+ | - כפליות של תכונות כיסוי. | ||
== 88-520 טופולוגיה אלגברית 1 == | == 88-520 טופולוגיה אלגברית 1 == | ||
שורה 829: | שורה 894: | ||
# גיאומטריה ניטרלית. | # גיאומטריה ניטרלית. | ||
# שקילות של אקסיומות המקבילים וסכום זוויות במשולשים. | # שקילות של אקסיומות המקבילים וסכום זוויות במשולשים. | ||
− | # אי- | + | # אי-תלות של אקסיומת המקבילים. |
# מבוא לגיאומטריה היפרבולית. | # מבוא לגיאומטריה היפרבולית. | ||
# מודלים של המישור ההיפרבולי. | # מודלים של המישור ההיפרבולי. | ||
שורה 885: | שורה 950: | ||
# סכום הרבועים. מספרים שלמים של גאוס. שדות ריבועיים. | # סכום הרבועים. מספרים שלמים של גאוס. שדות ריבועיים. | ||
# הצפנה ציבורית (שיטת RSA), בדיקת ראשוניות. | # הצפנה ציבורית (שיטת RSA), בדיקת ראשוניות. | ||
− | # התפלגות הראשוניים. | + | # ראשוניים (קיומם של אינסוף ראשוניים, מקרים אלמנטריים של משפט דיריכלה). התפלגות הראשוניים: משפט המספרים הראשוניים. |
# משולשים פיתגוריים. | # משולשים פיתגוריים. | ||
# משוואת פל, שברים משולבים. | # משוואת פל, שברים משולבים. | ||
שורה 1,068: | שורה 1,133: | ||
== 88-636 שיטות נומריות מתקדמות == | == 88-636 שיטות נומריות מתקדמות == | ||
+ | (למתמטיקה פיננסית) | ||
== 88-638 מתמטיקה אקטוארית ותורת הסיכון == | == 88-638 מתמטיקה אקטוארית ותורת הסיכון == | ||
שורה 1,240: | שורה 1,306: | ||
עקרון השיקוף של שוורץ. | עקרון השיקוף של שוורץ. | ||
− | == 88-833 אנליזה | + | == 88-833 אנליזה פונקציונלית == |
+ | (לשעבר "אנליזה מודרנית 2"). | ||
− | # | + | # מרחבים לינאריים נורמיים. |
− | # | + | # איזומטריה של מרחבים. |
− | # | + | # ספרביליות. שלמות. משפט ההשלמה. |
− | # | + | # מרחבי הילברט. |
− | # | + | # אורתוגונליות. קירוב טוב ביותר. |
− | # | + | # בסיסים אורתונורמליים. |
− | # | + | # קומפקטיות. משפט ארצלה. |
− | # | + | # פונקציונלים לינאריים. |
− | # אופרטורים | + | # משפט ההצגה של ריס. |
− | # אופרטורים | + | # המרחב הצמוד. התכנסות חלשה ובנורמה. |
− | # אופרטורים | + | # משפט האן-בנך. |
− | # אופרטורים קומפקטיים | + | # אופרטורים לינאריים. |
− | # | + | # אלגברה של אופרטורים. אופרטורים הפיכים. |
− | # | + | # ספקטרום של אופרטור. |
− | + | # אופרטורים עם דרגה סופית. | |
+ | # אופרטורים קומפקטיים. | ||
+ | # משפט האלטרנטיבה של פרדהולם. | ||
+ | # אופרטורים צמודים לעצמם. | ||
+ | # משפט הילברט על אופרטור קומפקטי צמוד לעצמו. | ||
+ | # אופרטורים אינטגרליים. | ||
== 88-835 אנליזה הרמונית == | == 88-835 אנליזה הרמונית == | ||
− | |||
− | |||
# טורי פורייה על המעגל. תורת <math>\,L^2</math>. | # טורי פורייה על המעגל. תורת <math>\,L^2</math>. | ||
שורה 1,419: | שורה 1,489: | ||
9. שיטות נומריות לבעיות היפרבוליות לא לינאריות. | 9. שיטות נומריות לבעיות היפרבוליות לא לינאריות. | ||
− | == 88-906 אלגברה | + | == 88-906 תורת הקטגוריות == |
+ | |||
+ | # מבוא: דוגמאות חשובות של קטגוריות: העצמים וההעתקות המתאימות ((Set)),((Mon)),((Group)),((Ab)),((Top)),((Top,*)),((k-Vect)),((R-Mod)),((k-Alg)) | ||
+ | # אקסיומות של קטגוריה. | ||
+ | # פונקטר קוווריאנטי וקוטרהווריאנטי וטרספורמציה טבעית. | ||
+ | # בעיות ביסודות תורת הקבוצות וקטגוריות "קטנות". | ||
+ | # הפונקטור המצורף (adjoint) מימין ומשמאל. פונקטור השיכחה. יחידה וקו-יחידה. | ||
+ | # הלמה של יונידה. | ||
+ | # התאוריה של קן. | ||
+ | # קטגוריות חיבוריות וקטגוריות אבליות | ||
+ | # שקילות בין קטגויות | ||
+ | # קומפלקסים, הומולוגיה והומוטופיה של קומפלקסים סימפליציאליים | ||
+ | # דוגמה: קומפלקסים, הומולוגיה והומוטופיה של מודולים מעל אלגברה ממימד סופי | ||
+ | |||
+ | * Categories for the Working Mathematician, Saunders MacLane | ||
+ | * Category Theory for Scientists (Old Version),free online | ||
+ | |||
+ | == 88-912 תבניות ריבועיות == | ||
+ | |||
+ | # בעיות קלאסיות בתורת המספרים; מקורות נוספים לתבניות ריבועיות. | ||
+ | # איזומורפיזם של תבניות ופעולות (סכום ישר, מכפלה טנזורית). | ||
+ | # תבניות היפרבוליות. הפירוק לחלק היפרבולי וחלק איזוטרופי. | ||
+ | # חוג וויט. האידיאל היסודי. | ||
+ | # הדיסקרימיננטה. | ||
+ | # תבניות מעל שדה הממשיים ושדה המרוכבים. | ||
+ | # תבניות מעל שדה סופי. | ||
+ | # שדות מקומיים; הלמה של הנזל. תבניות מעל שדה מקומי. | ||
+ | # שדות סדורים; סידורים של שדות מספרים; אינווריאנט סילווסטר. | ||
+ | # משפט על הפיתול של ההעתקה מחוג וויט לאינווריאנטים של הסדר. | ||
+ | # אלגברות קליפורד. | ||
+ | # אלגברות קווטרניונים וחבורת בראוור. האינווריאנט של Hasse-Witt. | ||
+ | # תבניות ריבועיות מעל הרציונליים. עקרון Hasse. | ||
+ | # תבניות מעל השלמים ה-p-אדיים. | ||
+ | # תבניות מעל השלמים: הגנוס, הגנוס הספינורי. משפט ה-15 ומשפט ה-290. | ||
== 88-922 סמינר במתמטיקה שימושית == | == 88-922 סמינר במתמטיקה שימושית == |
גרסה אחרונה מ־17:29, 29 בפברואר 2016
למרצים. בדף זה מופיעה גרסה עדכנית (לתשע"ה) של כל הסילבוסים בקורסים של המחלקה למתמטיקה.
- הגרסה בדף זה מתואמת עם ועדת ההוראה המחלקתית ומחייבת למרצים.
- עליכם לעדכן גם את הגרסה לסטודנטים דרך מערכת השירות למרצה (לקראת סוף השנה, כאשר נקבע השיבוץ לשנה הבאה).
שאלה. אם יש מערכת אוניברסיטאית רשמית, לשם מה הדף הזה?
תשובה. דף זה משמש את ועדת ההוראה לעדכון שוטף של המערכת, בצמוד לשינויים במערכת השעות. המערכת האוניברסיטאית אינה מאפשרת עבודה על כמה קורסים במקביל, ואינה מאפשרת עדכונים שוטפים במהלך השנה. המרצה יכול להעזר בסילבוס המופיע כאן, על מנת לעדכן את הסילבוס הרשמי (המחייב כלפי הסטודנטים) על-פי שיקול דעתו.
הערות נוספות.
- אנא פעלו לפי הסילבוס בקורסים שאתם מלמדים.
- חשוב שתכירו את הסילבוסים של הקורסים השכנים: ידע על הקורסים שהסטודנטים כבר למדו יעזור לכם למנוע פערים או כפילויות מיותרות. הכרת הקורסים שהם אמורים ללמוד בעתיד תעזור לכם לתכנן את נקודת הסיום של הקורס.
- כדי לבצע שינויים מינוריים ותיקוני סגנון, הרשמו לאתר, והעזרו בדוגמאות מקורסים אחרים.
- אם אתם מעוניינים להצביע על תקלות או להציע שינויים משמעותיים, אנא התייעצו עם ראש ועדת הוראה.
88-112 אלגברה לינארית 1
שעות. 4 הרצאה + 2 תרגיל. סמסטר א' (קיץ לתלמידי התיכון).
- שדות – הגדרות, דוגמאות (הממשיים, הרציונליים, המרוכבים, השדות
) ותכונות יסוד. מאפיין.
- מערכות משוואות ליניאריות (שיטת האלימינציה של גאוס, הקשר בין מספר המשוואות, מספר המשתנים, וקיום פתרון או פתרונות. מרחב האפסים והפתרון למערכת לא הומוגנית).
- מרחבים וקטורים. קבוצה פורשת, תלות ליניארית, בסיס. הקשר ללמת צורן (בקצרה), מימד. המרחבים
ו-
.
- קואורדינאטות של וקטור לפי בסיס.
- תת-מרחבים. סכום של תת-מרחבים, חיתוך של תת-מרחבים. משפט המימדים. סכום ישר.
- מטריצות (מלבניות וריבועיות) – חיבור, כפל, תכונות יסוד. דרגה של מטריצה (דרגת השורות שווה לדרגת העמודות).
- מטריצות אלמנטריות ופעולות על שורות ועמודות.
- הצגת מטריצה הפיכה כמכפלת מטריצות אלמנטריות. חישוב המטריצה ההופכית.
- העתקות ליניאריות בין מרחבים. איזומורפיזם של מרחבים וקטוריים.
- הצגת העתקה ליניארית כמטריצה לפי בסיסים, ומטריצות מעבר בין בסיסים כמקרה פרטי.
- מעבר מבסיס לבסיס עבור הצגה של העתקה כמטריצה. מטריצות דומות.
-
ו-
.
- הקשר בין תכונות המטריצה המייצגת לתכונות ההעתקה (דרגה ומימדים), המשפט על
, ומסקנתו למטריצות rankA+dim(nullA).
- תמורות, הרכבת תמורות. זוגיות של תמורה.
- דטרמיננטות (הגדרה כללית, נוסחאות למטריצות מסדר 2 או 3). פיתוח לפי שורה או עמודה. הקשר לפעולות אלמנטריות.
- דטרמיננטה של מכפלת מטריצות.
- המטריצה הנלוית adj(A) ותכונותיה. נוסחאות קרמר לחישוב ההופכי (כאשר detA≠0).
תקצירים מפורטים: העתקות לינאריות , דטרמיננטות.
88-113 אלגברה לינארית 2
שעות. 4 הרצאה + 2 תרגיל. סמסטר ב' (סמסטר א' לתלמידי התיכון).
- ערכים עצמיים ווקטורים עצמיים. ריבוי גיאומטרי.
- הפולינום האופייני. ריבוי אלגברי. משפט קיילי-המילטון.
- תת-מרחב אינווריאנטי. דמיון למטריצה משולשת. מטריצות לכסינות.
- הפולינום המינימלי. גורמים אי-פריקים של הפולינום האופייני והמינימלי.
- צורת ג'ורדן. פירוק מטריצות לבלוקים.
- מרחבי מכפלה פנימית. הנורמה המושרה.
- בסיס אורתוגונלי ואורתונורמלי. תהליך גרהם-שמידט.
- פונקציונלים והמרחב הדואלי. משפט ריס (במימד סופי).
- טרנספורמציות נורמליות, הרמיטיות, אוניטריות.
- ליכסון אוניטרי של מטריצות נורמליות מרוכבות וליכסון אורתוגונלי של מטריצות סימטריות ממשיות.
תקציר מפורט (של מרבית הקורס), חוברת על משפט ג'ורדן.
88-132 חשבון אינפיניטסימלי 1
שעות. 4 הרצאה + 2 תרגיל. סמסטר א'.
- המספרים הממשיים
- שדות, שדות סדורים, תכונת ארכימדס
- תכונות היסוד של הממשיים; שלמותם וצפיפות הרציונאליים בתוכם
- קבוצות חסומות, החסם העליון והחסם התחתון
- סדרות
- התכנסות והתבדרות, ושאיפה ל-
- פעולות אריתמטיות על סדרות ואי-שוויונות בין סדרות וגבולותיהן
- סדרות מונוטוניות ויישומן בהגדרת "e" וחזקות של "e" ובהוכחת למת קנטור
- תת-סדרות וגבולות חלקיים, משפט בולצאנו-וירשטרס, גבול עליון וגבול תחתון
- נקודות הצטברות ומשפט בולצאנו-וירשטרס הטופולוגי
- טורים עם איברים קבועים
- סכומים חלקיים והגדרת התכנסות; משפטי ההתכנסות היסודיים
- טורים חיוביים ומשפטי התכנסות עבורם
- התכנסות בהחלט ועל תנאי, משפט לייבניץ, חוק החילוף, ומשפט רימן
- משפט אבל, כפל של טורים
- פונקציות ממשיות של משתנה אחד
- מושג הפונקציה, הגרף של פונקציה, וסקירת הפונקציות האלמנטאריות
- גבול של פונקציה
- הגדרת הגבול בגישת אפסילון-דלתא ובגישת הסדרות (היינה)
- גבולות חד-צדדיים
- משפטי הגבול היסודיים
- פונקציות רציפות
- הגדרת רציפות בנקודה ובקטע
- משפטי הרציפות היסודיים
- מיון של נקודות אי-רציפות
- תכונות היסוד של פונקציות רציפות; משפט ערך הביניים, קבלת מקסימום ומינימום בכל קטע סגור
- רציפות במידה שווה
- קומפקטיות, משפט היינה-בורל
- פונקציות הפיכות והפוכות
- הפונקציה
- הנגזרת
- הגדרת הנגזרת ומשמעותה הגיאומטרית והפיסיקלית
- הכללים היסודיים של גזירה; חוק השרשרת; גזירת הפונקציה ההפוכה; נגזרות של פונקציות אלמנטאריות
- נגזרת מסדר כלשהו
- משפטי פרמה, רול, לגרנג' וקושי
- כלל לופיטל
88-133 חשבון אינפיניטסימלי 2
שעות. 4 הרצאה + 2 תרגיל. סמסטר ב'.
- חקירת פונקציות.
- נוסחת טיילור הסופית עם שארית
- הערכת השארית
- חישובים מקורבים בעזרת נוסחת טיילור
- האינטגרל הלא מסויים
- הגדרה והכללים הבסיסיים.
- חישוב אינטגרלים לפי פירוק לשברים חלקיים, אינטגרציה לפי חלקים, שיטת ההצבה ושינוי משתנה.
- האינטגרל המסוים
- סכומי רימן והגדרת האינטגרל על פיהם.
- סכומי דרבו והאינטגרל העליון והתחתון.
- תנאים הכרחיים ומספיקים לאינטגרביליות.
- אינטגרביליות של פונקציות רציפות למקוטעין ופונקציות מונוטוניות למקוטעין.
- התכונות היסודיות של פונקציות אינטגרביליות ושל האינטגרל המסויים.
- המשפט היסודי של החשבון האינטגרלי.
- משפט הערך הממוצע עבור אינטגרלים, נוסחת דרבו.
- אינטגרלים לא אמיתיים
- אינטגרלים שגבולותיהם אינסופיים.
- אינטגרלים של פונקציות לא חסומות.
- מבחני התכנסות והתכנסות בהחלט.
- המבחן האינטגרלי להתכנסות של טורי מספרים.
- סדרות וטורים של פונקציות
- תכונות כלליות
- התכנסות נקודתית ובמידה שווה.
- רציפות הפונקציה הגבולית.
- גזירה איבר-איבר.
- טורי חזקות
- התכנסות והתכנסות במידה שווה של טורי חזקות.
- רדיוס ההתכנסות.
- גזירה של טורי חזקות.
- פיתוח פונקציות אלמנטריות לטורי חזקות.
- חישובים מקורבים בעזרת טורי חזקות.
- טורי פוריה
- הגדרה של טור פורייה.
- הוכחה שטור פורייה של פונקציה גזירה ברציפות פעמיים מתכנס ושואף אליה. הרחבה לפונקציות גזירות ברציפות.
- דוגמאות.
- מכפלה פנימית, אורטוגנאליות, נורמה, שוויון פרסבל (ללא הוכחה). יתרונות וחסרונות לעומת טורי חזקות.
- חישוב סכומים של טורי מספרים בעזרת טורי פורייה.
- תכונות כלליות
88-151 שימושי מחשב במתמטיקה
שעות. 2 הרצאה + 1 תרגיל. סמסטר ב'.
- מבוא לתכנות. נלמד בשפת Matlab (כשישה שעורים)
- משתנים, תנאים ולולאות.
- פונקציות. דוגמה מרכזית: העברת מספרים שלמים בין בסיסים.
- מערכים כמבנה נתונים. חיפוש ומיון:
- חיפוש לינארי.
- חיפוש בינארי.
- מיון פשוט ובועות.
- יעילות ויעילות זכרון. סימון O גדול וכדומה.
- רקורסיות.
- מיון מיזוג.
- יעילות של רקורסיה - נוסחאות נסיגה.
- שימושים מתמטיים - שיטות נומריות
- אלגברה לינארית
- ווקטורים ומטריצות, פעולות.
- פתרון מערכות לינאריות. ריבועים מינימאלים (LS).
- ערכים ווקטורים עצמיים, ליכסון.
- FFT.
- אינפי
- חקירת פונקציות וגרפיקה. דוגמה מרכזית: מיון של עקומות רבועיות ב 1-3 מימדים.
- פתרון משוואות ומציאת מינימום.
- אינטגרציה נומרית.
- מד"ר.
- הסתברות וסטטיסטיקה. דוגמה מרכזית: רגרסיה לינארית והקשר בין MLE ל LS.
- אלגברה לינארית
- חישוב סימבולי (ב Matlab\MuPad\Maple)
- הרעיון מאחורי חישוב סימבולי. שימושים פשוטים עם Wolfram alpha.
- משתנים, תנאים ולולאות.
- אלגברה לינארית.
- אינפי.
הערה: הקורס כולל ארבעה נושאים מתמטיים אשר אינם נילמדים בקורסים אחרים:
- העברת מספרים שלמים בין בסיסים.
- נוסחאות נסיגה.
- מיון של עקומות רבועיות ב 1-3 מימדים.
- רגרסיה לינארית והקשר בין MLE ל LS.
88-165 מבוא להסתברות וסטטיסטיקה
שעות. 4 הרצאה + 2 תרגיל. סמסטר ב'.
- מבוא לקומבינטוריקה: תמורות, בחירה עם החזרה וללא החזרה כשיש וכשאין חשיבות לסדר. מקדמים בינומיים ומולטינומיים. משולש פסקל, משפט הבינום והכללות. עקרון ההכלה וההדחה.
- מרחבי הסתברות בדידים: הגדרה, מאורעות, תכונות של פונקצית ההסתברות. נוסחת ההכלה וההדחה. הסתברות מותנית, נוסחת ההסתברות השלמה, חוק בייס. תלות ואי-תלות, אי-תלות משותפת.
- משתנים מקריים בדידים: הגדרה, דוגמאות, הקשר למאורעות. ממוצע של מדגם. תוחלת של משתנה ושל פונקציה. התפלגות משותפת. תוחלת מותנה, תוחלת חוזרת. שונות של מדגם. שונות של משתנה מקרי. נוסחת הפירוק לשונות. שונות משותפת ומקדם המתאם, תכונות של תוחלת ושונות, מומנטים. סטטיסטיי הסדר.
- התפלגויות בדידות: אחידה, ברנולי, בינומית, פואסון, גאומטרית, בינומית שלילית, היפר-גאומטרית. קשרים בין התפלגויות לרבות קירוב פואסוני להתפלגות בינומית. דוגמאות.
- מרחב הסתברות כללי. סיגמא-אלגברות. אלגברת בורל ומשתנים מקריים ממשיים.
- פונקצית התפלגות והקשר למשתנים מקריים. פונקצית צפיפות. משתנים רציפים. צפיפות משותפת, צפיפות שולית וצפיפות מותנית. טרנספורמציה של משתנים (חד-ממדית, דו-ממדית). קונבולוציה. תוחלת, שונות, מקדם מתאם ומומנטים עבור משתנים רציפים.
- התפלגויות רציפות: אחידה, מעריכית, נורמלית תקנית; נורמלית. התפלגות כי-בריבוע, התפלגות t והתפלגות F.
- אי-שוויוני מרקוב וצ'ביצ'ב. פונקציות יוצרות מומנטים: דוגמאות ושימושים. החוק החלש של המספרים הגדולים. החוק החזק (ללא הוכחה). הבדלים ודוגמאות. משפט הגבול המרכזי (עם הוכחה בהנחת היחידות של פונקציה יוצרת מומנטים). הקירוב הנורמלי להתפלגות בינומית (לפי CLT, ללא חסמים). דוגמאות (מהלך מקרי).
- [אופציונאלי] שרשראות מרקוב (על מרחב מצבים סופי): דוגמאות, התפלגות סטציונרית, הסתברויות ספיגה ותוחלת של זמן המתנה.
- אוכלוסיה ומדגם. תוחלת ושונות של הממוצע. אמידה נקודתית, אומד חסר הטיה. שיטת הנראות המכסימלית ואומד נראות מכסימלית. אמידה של תוחלת ושונות בהתפלגות נורמלית.
- רווחי סמך: רווח סמך לתוחלת בהתפלגות נורמלית (שונות ידועה ולא ידועה). רווח סמך לשונות. רווח סמך להפרש תוחלות עם שונויות ידועות; לא ידועות אך שוות; לא ידועות.
- בדיקת השערות (כאשר H0 נקודתית): טעות מסוג ראשון וטעות מסוג שני. הערכת גודל המדגם. בדיקת השערות על התוחלת בהתפלגות נורמלית (חד-צדדית ודו-צדדית).
אתר הקורס. 88-165 מבוא להסתברות וסטטיסטיקה
הערה למרצים. זהו הקורס היחיד בסטטיסטיקה לכל תלמידי המחלקה. אנא הקפידו להקדיש די זמן לנושאים 10-12. בניית קו רגרסיה מכוסה בקורס #88-151 שימושי מחשב.
88-170 מבוא לחישוב
שעות. 2 הרצאה + 2 תרגיל. סמסטר א'.
- מבוא למחשב
- משתנים וטיפוסים
- אופרטורים
- תנאים וללואות
- פונקציות
- מערכים ומחרוזות
- מצביעים
- הקצאות זכרון דינאמיות
- מבנים
- רקורסיה
- קבצים וקדם-מהדר
- סיביות ונספחים
- השלמות וחזרה
88-174 תכנות מונחה עצמים
שעות. 2 הרצאה + 2 תרגיל. סמסטר ב'.
- מבוא ל C++, הגדרת טיפוס נתונים מופשט, מבוא לתכנות מונחה עצמים.
- הגדרת מחלקה, הגדרת אובייקט, מתודות ותכונות של מחלקה, עקרון הסתרת המידע, פרטי וציבורי.
- יצירת טיפוס נתונים חדש על ידי שימוש באובייקטים קיימים.
- פונקציות בניה והריסה, פונקציות העתקה, יצירה דינאמית, סדר בניה והריסה, שורת איתחול.
- אובייקטים זמניים, הגדרת אופרטורים כחברי מחלקה, אופרטור השמה, בנאי ישיר.
- יצירת טיפוסים חדשים ממחלקות קיימות, מחלקות בסיס ומחלקות בן, סדר קריאה בבניה והריסה, ירושה מרובה וירושה וירטואלית.
- פונקציות וירטואליות וטבלאות וירטואליות, מחלקות ממשיות ואבסטרקטיות, RTTI.
- שימוש במשתנים, אובייקטים קבועים, משתנים ופונקציות סטטיים, פונקציות inline, namespaces.
- שימוש בספריות fstream.
- שימוש ב-containers, הכרות עם ספריית ה-STL.
- עקרונות עיצוב וניתוח מונחה עצמים, הכרות עם design patterns.
88-195 מתמטיקה בדידה
שעות. 4 הרצאה + 2 תרגיל. סמסטר א' (קיץ לתלמידי התיכון).
- לוגיקה 1 (תחשיב הפסוקים): הצרנה, קשרים לוגיים, טבלת אמת, שקילות לוגית, תכונות הקשרים (בפרט: חוקי דה מורגן), טאוטולוגיה, סתירה; כמתים, משמעותם ושלילתם.
- מבוא לתורת הקבוצות: קבוצה, איברים, השתייכות, תיאור קבוצה ע"י רשימה וע"י תכונה, שוויון קבוצות, שלילה של כמתים (אי-שוויון קב'), הכלה, קבוצה ריקה, איחוד, דיאגרמת וון, לוח השתייכות, חיתוך, קבוצות זרות, הפרש, הפרש סימטרי, משלים, תכונות הפעולות (בפרט: קיבוץ/אסוציאטיביות, פילוג/דיסטריבוטיביות, חוקי דה-מורגן), איחוד כללי, חיתוך כללי, קבוצת החזקה, זוג סדור, מכפלה קרטזית.
- לוגיקה 2 (תחשיב הכמתים): הסבר לא פורמלי של המושגים: נוסחה, כללי היסק (עם דוגמאות), הוכחה, הוכחה בדרך השלילה. אינדוקציה, לרבות אינדוקציה שלמה, ודוגמאות.
- יחסים: יחס, יחס רפלקסיבי, סימטרי, טרנזיטיבי, יחס שקילות, הסגור הטרנזיטיבי של יחס, מחלקת שקילות, קבוצת המנה, חלוקה של קבוצה, שקילות המושגים יחס וחלוקה.
- יחסי סדר: סדר חלקי, דיאגרמת Hasse, איבר מינימלי, איבר מקסימלי, איבר קטן ביותר (קטן מכל האחרים), איבר גדול ביותר, היחס ההפוך, חסם מלעיל/מלרע, חסם עליון /סופרמום, חסם תחתון/אינפימום, סדר מלא/קוי, שרשרת.
- פונקציות: תחום ותמונה של יחס, יחס חד-ערכי, פונקציה, פונקציה חח"ע, פונקציה על, הרכבת פונקציות, מסקנות מחח"ע/על של הרכבה, פונקצית הזהות, פונקציה הפיכה, יחידות ההופכית, אפיון הפיכה כחח"ע ועל, תמונה ומקור (תמונה הפוכה) של קבוצות, תמונה ומקור של איחוד/חיתוך, צמצום של פונקציה, פונקציות מוגדרות היטב על קבוצת מנה.
- עוצמות: שוויון עוצמות, קבוצה סופית/אינסופית, המלון של הילברט; השוויון מוגדר היטב והוא יחס שקילות בין עוצמות; אי-שוויון בין עוצמות ועקרון שובך היונים (כולל דוגמאות קומבינטוריות); קבוצה בת-מניה, אלף-אפס הוא הקטן מכל העוצמות האינסופיות; הקשר בין עוצמות כשיש פונקציה על, משפט קנטור-ברנשטיין; עוצמת הרציונליים, איחוד בן-מניה של קבוצות בנות-מניה הוא בן-מניה; משפט קנטור על עוצמת קבוצת החזקה, עוצמת הרצף.
- פעולות בין עוצמות: חיבור, כפל וחזקה של עוצמות - הגדרה, אריתמטיקה של עוצמות, העדר צמצום בחיבור וכפל עוצמות.
- תורת הגרפים (משך: כשבוע וחצי): מבוא - בעית גשרי קניגסברג; גרף מכוון (יחס), גרף לא מכוון כיחס סימטרי וכקבוצה עם אוסף זוגות לא סדורים, לולאות וצלעות כפולות, תת-גרף, שכנות, מסלול, גרף קשיר, רכיבי קשירות, מסלול ומעגל אוילר, קריטריון לקיום מסלול או מעגל אוילר, מסלול ומעגל המילטוני; משפחות מיוחדות של גרפים: גרף שלם ומס' צלעותיו, גרף דו-צדדי, גרף דו-צדדי שלם ומס' צלעותיו, עץ, יער, תנאים שקולים לעץ. אם נותר זמן, צביעת קודקודים.
לתשומת לב המרצה: קומבינטוריקה מכוסה ב-88-165; נוסחאות נסיגה ב-88-151; הלמה של צורן ב-88-222 וב-88-202.
לסטודנטים: אתם מוזמנים לקרוא על הלמה של צורן ושימושיה לחישובי עוצמות, בקישור.
88-201 גאומטריה אנליטית ודיפרנציאלית
שעות. 3 הרצאה + 2 תרגיל. סמסטר ב' (קיץ לתלמידי התיכון).
- ווקטורים במישור ובמרחב. המכפלה הסקלרית והמכפלה הווקטורית. תבניות ריבועיות. וקטור עצמי של מטריצה סימטרית, אופרטור צמוד לעצמו.
- חתכי חרוט: אליפסה, היפרבולה ופרבולה. משטחים ריבועיים (מיון ניתן בקורס אחר). ה-Hessian. נקודות אוכף.
- גאומטריה של המישור: עקומות. אורך של עקומה. חישוב העקמומיות דרך הצגה פרמטרית והצגה סתומה.
- גאומטריה תלת-מימדית: ישרים ומישורים במרחב. משוואות של עקומות ומשטחים במרחב. משטחים. מישור משיק. התבנית היסודית הראשונה, אורך ושטח. הסכם הסיכום של איינשטיין. היעקוביאן.
- קואורדינטות כדוריות. משטחי סיבוב. מקדמי גמא.
- מבוא לגאומטריה ספרית: ישרים ספריים, משולשים ספריים (חוק הסינוסים, שטח).
- יחס קלארו והמשוואה הגאודזית. קוים גאודזיים על משטחי סיבוב. העתקת ויינגרטן.
- התבנית היסודית השניה. עקמומיות גאוס.
- בועות סבון, קרומי סבון, משטחים מינימליים. עקמומיות ממוצעת.
- המשפט של גאוס Theorema Egregium והמושג של גאומטריה עצמית.
- עקמומיות מסומנת של עקומות, אינדקס של רוטציה. מטריקה היפרבולית על חצי המישור העליון (אם נשאר זמן - מבוא לגאומטריה היפרבולית: גאודזים, משולשים היפרבוליים, חבורת האיזומטריות; מודל פואנקרה).
- שריגים, טורוסים.
- העתקת גאוס, משפט גאוס-בונה, דריבציות.
88-202 תורת הקבוצות
שעות. 3 הרצאה + 2 תרגיל. סמסטר ב'.
- האקסיומות של תורת הקבוצות: פרדוקסים של שפה טבעית (בארי) ופרדוקסים מתמטיים (ראסל), שפה מתמטית, אקסיומות ZFC.
- מספרים סודרים: קבוצות סדורות היטב, המשפט על השוואת קבוצות סדורות היטב, מספרים סודרים, סודרים כצורות קאנוניות של קבוצות סדורות היטב, טיפוס סדר של קבוצה סדורה היטב, חיבור סודרים, כפל סודרים.
- אינדוקציה טרנספיניטית: מחלקות ופונקציות מחלקה, משפט האינדוקציה הטרנספיניטית, הגדרה ברקורסיה טרנספיניטית. שימושים: הוכחת עקרון הסדר הטוב, הוכחת הלמה של צורן, קבוצת ברנשטיין. חזקות סודרים ומשפט Goodstein.
- עוצמות וקופינליות: עוצמות כסודרים תחיליים. מסקנות: השוואת עוצמות היא טרנזיטיבית, אנטי-סימטרית (משפט קנטור-ברנשטיין), ומלאה. האלפים של קנטור. קופינליות של סודר ותכונותיה הבסיסיות, למת קניג והאילוץ על עוצמת הרצף, חשבון עוצמות בסיסי, סכומים ומכפלות כלליים של עוצמות.
- מערכות המספרים: הטבעיים (ממומשים ע"י אומגה), השלמים והרציונלים (ע"י מחלקות שקילות), הממשיים (חתכי דדקינד) ותכונותיהם הבסיסיות (כולל תכונת החסם העליון מאינפי'). כל סדר קוי בן מניה צפוף לא חסום הוא איזומורפי-סדר לרציונלים (טיעון הלוך-ושוב של קנטור), שימוש: גרפים אקראיים בני מניה הם איזומורפיים בהסתברות 1, הממשיים הם הסדר השלם היחיד שיש בו קבוצה צפופה איזומורפית-סדר לרציונלים. היחידות של שדה סדור שלם.
- השערת הרצף: משפט קנטור-בנדיקסון.
אתר הקורס. כאן
88-211 אלגברה מופשטת 1
שעות. 3 הרצאה + 2 תרגיל. סמסטר א'.
- מבוא.
- חבורות למחצה ומונוידים – הגדרה אקסיומטית. יחידה מימין ומשמאל, הפכי מימין ומשמאל. מונויד סופי עם צמצום הוא חבורה.
- אקסיומות החבורה. תכונות בסיסיות. חבורות אבליות ולא אבליות. דוגמאות: חבורות מטריצות וחבורות חפשיות. מכפלה ישרה חיצונית.
- תת-חבורות, המרכז, יוצרים ויחסים.
- מחלקות ימיניות ושמאליות, משפט לגרנז'. האינדקס של תת-חבורה. סדר של איבר. המשפט הקטן של פרמה. חבורות ציקליות ומיונן.
- חבורת אוילר. משפט אוילר.
- מכפלה של תת-חבורות.
- הומומורפיזמים.
- הומומורפיזם ואיזומורפיזם.
- תת-חבורות נורמליות וחבורות מנה. חבורות פשוטות.
- משפטי האיזומורפיזם.
- הצגה על-ידי יוצרים ויחסים.
- החבורות הסימטריות.
- החבורות הסימטריות. הצמדה ומבנה מחזורים.
- הומומורפיזם הסימן. חבורת התמורות הזוגיות. הוכחה ש-An פשוטה ושאין ל-Sn תת-חבורות נורמליות אחרות.
- פעולת חבורה על קבוצה.
- פעולת חבורה על קבוצה, מסלולים ומייצבים. פעולה טרנזיטיבית.
- חבורות דיהדרליות.
- משפט קיילי.
- מחלקות צמידות. מרכז ומנרמל.
- חבורת האוטומורפיזמים.
- משפטי סילו.
- חבורות-p ומשפט קושי.
- משפטי סילו: הוכחה, יישומים.
- חבורות אבליות.
- האקספוננט. משפט המיון לחבורות אבליות נוצרות סופית.
- סדרות הרכב.
- סדרות נורמליות וסדרות הרכב.
- חבורת הקומוטטורים. חבורות פתירות. כאשר N נורמלית ב-G, G פתירה אם ורק אם N ו- G/N פתירות.
- סדרות מרכזיות. חבורה נילפוטנטית. הסדרה המרכזית העולה והיורדת.
דרישות קדם. אלגברה לינארית 2.
אתר הקורס. 88-211 אלגברה מופשטת 1
88-212 אלגברה מופשטת 2
שעות. 4 הרצאה + 2 תרגיל. סמסטר ב'.
- מבוא.
- הגדרה אקסיומטית. דוגמאות.
- תת-חוג. אידיאל ימני ושמאלי. אידיאל. אידיאל ראשי.
- פעולות באידיאלים: סכום, מכפלה, חיתוך.
- משפטי איזומורפיזם.
- חוג מנה.
- אידיאל ראשוני ומקסימלי. חוג ראשוני וחוג פשוט. כל אידיאל מקסימלי הוא ראשוני. חוג פשוט קומוטטיבי הוא שדה.
- כל אידיאל מוכל באידיאל מקסימלי.
- משפטי האיזומורפיזם. משפט ההתאמה על אידיאלים.
- משפט השאריות הסיני.
- תחומי שלמות.
- מחלקי אפס וההגדרה של תחומי שלמות. חוג ראשוני קומוטטיבי הוא תחום שלמות.
- תחום שלמות = תת-חוג של שדה.
- איברים הפיכים. יחס החילוק ויחס החברות. תרגום לשפת האידיאלים הראשיים.
- איבר ראשוני ואי-פריק. כל איבר ראשוני הוא אי-פריק.
- חוג אוקלידי. דוגמאות: השלמים; חוגי פולינומים מעל שדה.
- חוג ראשי. כל חוג אוקלידי הוא ראשי. בחוג ראשי, אם a אי-פריק אז Ra מקסימלי. לכן: איבר אי-פריק הוא ראשוני; אידיאל ראשוני לא 0 הוא מקסימלי.
- תחום פריקות יחידה. כל חוג ראשי הוא תחום פריקות יחידה. כל איבר אי-פריק הוא ראשוני.
- פולינומים ושדות.
- בחוג הפולינומים מעל שדה, לכל פולינום יש פירוק יחיד לגורמים ראשוניים.
- הומומורפיזם ההצבה ופולינום מינימלי. איבר אלגברי והמעלה של איבר.
- סיפוח שורש של פולינום אי-פריק. לכל פולינום, מעל כל שדה, יש שדה מפצל.
- תכולה של פולינום מעל תחום פריקות יחידה, והלמה של גאוס. הרחבת תחום פריקות יחידה במשתנה אחד שומרת על תכונה זו.
- קריטריון אייזנשטיין. קיום שורשים רציונליים.
- מודולים.
- הגדרה. דוגמאות. משפטי האיזומורפיזם.
- קבוצה פורשת. מודול נוצר סופית.
- קבוצה בלתי-תלויה. בסיס. מודול חופשי. דרגה. מודול ציקלי.
- מעל חוג ראשי תת-מודול של מודול חופשי הוא חופשי.
- משפט המבנה למודולים נוצרים סופית מעל תחום ראשי. שימושים למיון חבורות אבליות נוצרות סופית ולצורה הרציונלית של מטריצות. צורת ז'ורדן.
דרישות קדם. אלגברה מופשטת 1 או 89-214 (מבנים אלגבריים 1 למדעי המחשב).
אתר הקורס: 88-212 אלגברה מופשטת 2
88-222 טופולוגיה
שעות. 3 הרצאה + 2 תרגיל. סמסטר ב'.
- מרחבים מטריים: פונקציות רציפות, תתי מרחבים, קבוצות פתוחות, קומפקטיות.
- הגדרת מרחב טופולוגי, רציפות, תתי מרחבים, סגור של קבוצה, צפיפות.
- קשירות: תכונות, מרכיבי קשירות, תתי המרחב הקשירים של הממשיים.
- קשירות מסילתית: תכונות, מרכיבי קשירות מסילתית. דוגמה למרחב קשיר שאינו קשיר מסילתית.
- מרחבים קומפקטיים: תכונות, יחסים בין תכונת הקומפקטיות לתכונת האוסדורף
- מרחבי מנה: תכונות, דוגמאות.
- טופולוגית המכפלה, משפט טיכונוף.
- תכונות הפרדה: הכרת תכונות ההפרדה השונות, והקשרים ביניהם. הלמה של יוריסון. פיצול יחידה.
- הגדרת יריעה, שיכון של יריעה במרחב אוקלידי.
88-230 חשבון אינפיניטסימלי 3
שעות. 4 הרצאה + 2 תרגיל. סמסטר א'.
- המרחב
: חיבור ב-
וכפל בסקלר. ישרים והיפר מישורים ב-
, המכפלה הוקטורית (ב-
). הטופולוגיה של
לפי הנורמות השקולות
, קבוצות פתוחות וסגורות קומפקטיות וקשירות.
- תורת הגבולות ב-
: גבול של פונקציות ב-
, רציפות של פונקציות, אריתמטיקה של גבולות, גבולות חוזרים, מסילות ומשפט ערך הביניים.
- גזירה: נגזרת חלקית, נגזרת כיוונית, דיפרנציאביליות, גרדיינט, הדיפרנציאל והדיפרנציאל השלם, כלל השרשרת, היעקוביאן, נגזרות חלקיות מסדר גבוה, המחלקות
ו-
.
- נוסחת טיילור. סימון אינדקס מרובב, הבינום המוכלל של ניוטון, דיפרנציאלים מסדר גבוה, פולינום טיילור, נוסחת טיילור, השארית בצורת פאנו והשארית בצורת לגרנז', הערכה של שארית לגרנז', טור טיילור.
- משפט הפונקציה הסתומה. משפט הפונקציה הסתומה עבור פונקציה ממשית ועבור פונקציה וקטורית. הדיפרנציאל והנגזרות החלקיות של פונקציה סתומה, הקשר בין היעקוביאן להעתקה פתוחה ולקיום העתקה הפוכה מקומית. K-משטחים דיפרנציאביליים כקבוצות רום של העתקות דיפנרציאליות רגולריות. המרחב המשיק והמרחב הניצב למשטחים כאלה.
- נקודות קיצון של פונקציה ממשית. תנאים הכרחיים לקיצון מקומי בעזרת הדיפרנציאלים הראשון והשני. תנאים מספיקים בעזרת הדיפרנציאל השני. בעיות קיצון עם מספר אילוצים- לפי חילוץ ולפי שיטת כופלי לגרנז'.
- האינטגרל של רימן ב-
: הגדרה לפי גישת רימן ולפי גישת דרבו, משפט פוביני,זניחות האינטגרל על קבוצה בעלת נפח אפס, משפט חילוץ המשתנים: הוכחה עבור החלפת משתנים לינארית. סקירת ההוכחה השלמה. קואורדינטות קוטביות, גלילויות וכדוריות. אינטגרל לא אמיתי, חישוב של אינטגרל גאוס. חישוב שטחים ונפחים. שימושים כגון חישוב מסה וחישוב מרכז כובד.
88-231 פונקציות מרוכבות
שעות. 3 הרצאה + 2 תרגיל. סמסטר ב'.
- מספרים מרוכבים.
- הגדרות ותכונות יסודיות.
- המישור המרוכב וההצגה הקטבית.
- אלגברה במרוכבים וחישוב שרשים.
- חשבון דיפרנציאלי בתחום המרוכב:
- גבולות של סדרות, טורים ופונקציות מרוכבות.
- הגדרה ותכונות של הנגזרת.,והגדרת אנליטיות.
- משואות קושי-רימן.
- הגדרה ואנליטיות של פונקציות אלמנטריות בתחום המרוכב.
- פונקציות הרמוניות.
- יסודות האינטגרציה.
- האינטגרל הקוי המרוכב.
- פונקציות קדומות ואי-תלות במסילה.
- משפט קושי ונוסחת קושי.
- משפט מוררה ומשפט ליוביל.
- המשפט היסודי של אלגברה.
- טורי חזקות ושימושיהם.
- אנליטיות של טורי חזקות.
- אפיון רדיוס ההתכנסות.
- טורי טיילור
- פיתוח טיילור של פונקציות אלמנטריות.
- אפסים של פונקציות אנליטיות.
- מיון נקודות סינגולריות מבודדות.
- טורי לורן.
- תורת השארית.
- הגדרה וחישוב השארית.
- משפט השארית.
- חישוב אינטגרלים ממשים בעזרת שאריות.
- עיקרון הארגומנט.
- משפט רושיי.
- מבוא להעתקות קונפורמיות.
- העתקות אנליטיות והעתקות קונפורמיות.
- טרנספורמציות מביוס.
- העתקות ע"י פונקציות אלמנטריות.
88-235 אנליזת פורייה ויישומים
שעות. 3 הרצאה. סמסטר ב' (קיץ לתלמידי התיכון).
- מרחבי מכפלה פנימית . הגדרה של מכפלה פנימית, הנורמה, אי-שיוויון קושי-שוורץ, תהליך גרם-שמידט. מערכות אורתוגונליות ומערכות אורתונורמליות, מקדמי פורייה, משפט פיתגורס, הטלות אורתוגונליות, אי-שיוויון בסל. מערכות אורתוגונליות אינסופיות, הלמה של רימן-לבג, שיוויון פרסבל, סגירות ושלמות. (2 שבועות)
- טורי פורייה טריגונומטריים . טורי פורייה בייצוג הטריגונומטרי ובייצוג המעריכי, בקטע [π,π-] ובקטע כללי. פונקציות זוגיות ואי זוגיות, טורי קוסינוס וטורי סינוס. התכנסות נקודתית, משפט דיריכלה, התכנסות במידה שווה, שיוויון פרסבל, התכנסות בנורמה. תופעת גיבס. גזירה ואינטגרציה של טורי פורייה. (3 שבועות)
- מערכות שטורם-לייוביל וטורי פורייה כלליים . אופרטורים דיפרנציאליים מדרגה 2 צמודים לעצמם, מערכות שטורם-לייוביל, אורתוגונליות של פונקציות עצמיות. פיתוחים בטורים של פונקציות עצמיות. דוגמאות הכוללות פונקציות בסל, פולינומי לז'נדר ופולינומי צ'ביצ'ף. (3 שבועות)
- מבוא להתמרת פורייה . הגבול של טור פורייה על קטע אינסופי. הגדרת התמרת פורייה. קיום ותכונות של ההתמרה. משפט ההתמרה ההופכית (ללא הוכחה). נוסחת פלנשרל (ללא הוכחה). קיפול (קונבולוצייה), משמעותו ויישומו. (2 שבועות)
- התמרת פורייה הבדידה. התמרת פורייה הבדידה והפיכתו, אוניטריות, משפט פלנשרל, קיפול. היחס בין טורי פורייה, התמרת פורייה, התמרת פורייה הבדידה בזמן והתמרת פורייה הבדידה. Aliasing. יישום בדחיסת אות. (2 שבועות)
88-236 חשבון אינפיניטסימלי 4
שעות. 3 הרצאה + 2 תרגיל. סמסטר ב'.
קורס באנליזה וקטורית ואינטגרציה על עקומות ומשטחים. מטרה עיקרית של הקורס היא ללמד את משפטי גרין, גאוס (משפט הדיברגנץ) וסטוקס.
- (3.5 שבועות) אינטגרלים קוויים ב-
: מסילה בעלת אורך, מסילה חלקה למקוטעין, פרמטריזציה של מסילות. אינטגרל של פונקציה לפי אורך המסילה. תבנית לינארית דיפרנציאלית ושדה וקטורי. תבנית דיפרנציאלית סגורה, תבנית דיפרנציאלית מדוייקת, שדה משמר (שדה פוטנציאל). אינטגרל קווי של תבנית דיפרנציאלית (או של שדה וקטורי). למת פואנקרה, משפט גרין במישור.
- (3.5 שבועות) אינטגרלים משטחיים ב-
: משטח k-מימדי ב-
. הצגה פרמטרית של משטח, הצגה של משטח כגרף, הצגה של משטח ע"י מערכת משוואות. מרחב משיק למשטח בנקודה. היפר-משטחים, נורמל להיפר-משטח בנקודה. חישוב שטח של משטח. אינטגרל של פונקציה לפי שטח. שימושים כגון חישוב מסה של משטח ומרכז כובד.
- (3 שבועות) משפט הדיברגנץ ב-
: שטף של שדה ווקטורי דרך היפר-משטח. דיברגנץ של שדה ווקטורי. משפט הדיברגנץ. שימושים (נוסחאות גרין, פונקציות הרמוניות).
- (3 שבועות) משפט סטוקס ב-
: משטח בעל אוריינטציה. משטח עם שפה, אוריינטציה מושרית על השפה. רוטור של שדה ווקטורי. משפט סטוקס.
88-240 משוואות דיפרנציאליות רגילות
שעות. 3 הרצאה + 2 תרגיל. סמסטר א'.
- המושג של משוואה דיפרנציאלית רגילה (מד"ר), מיון ודוגמאות.
- משוואות דיפרנציאליות מסדר ראשון
- מד"ר מסדר ראשון ליניאריות הומוגניות.
- מד"ר ליניארית מסדר ראשון ליניאריות לא הומוגניות ( שיטת וריאציות מקדמים)
- מד"ר מסדר ראשון לא ליניאריות, הפרדת המשתנים, משוואות מדויקות, גורם אינטגרציה.
- צורה כללית של מד"ר, פתרון כללי, פתרון סינגולרי, תנאי התחלה, בעיית קושי.
- משוואות קלרו ורקטי.
- משפט קיום ויחידות של מד"ר מסדר ראשון.
- משוואות דיפרנציאליות מסדר n <1
- מד"ר ליניאריות הומוגניות מסדר n >1 עם מתקדמים קבועים.
- אופרטור לינארי מסדר (n) עם מקדמים קבועים .
- מערכת פונקציות תלו-לינארית ובלתי תלו לינארית, מושג של ורונסקיאן.
- משוואות מסדר גבוה, נסיגה של סדר נגזרת.
- משפט ליוביל.
- מד"ר לינאריות לא הומוגניות מסדר 1<n עם מקדמים קבועים - שיטת הבחירה.
- גישה כללית לפתירת אופרטור לינארי לא הומוגני – שיטת לגרנז' (וריאצית מקדמים).
- מערכת משוואות דיפרנציאליות לינאריות
- ניסוח תנאי התחלה למערכות לינאריות ומשפט קיום-יחידות למערכת לינארית.
- שיטות לפתירת מערכת מד"ר ליניארית עם מתקדמים קבועים.
- המשוואות הדיפרנציאליות מסדר 2
- פתירת מד"ר על-ידי טורי חזקות, נקודות סינגולריות ומיון של נקודות סינגולריות למד"ר.
- משוואות לז'נדר, פולינומים לז'נדר, מערכת אורתונורמלית וקשר עם מד"ר.
- טור פרובניוס (טור חזקות מוכלל) ומשפט פרובניוס.
- משוואות בסל ופוקנציות בסל ותכונותיה.
- בעית שטורם ליאוביל, אופרטור גרין
88-241 משוואות דיפרנציאליות חלקיות
שעות. 4 הרצאה + 2 תרגיל. סמסטר א'.
- מבוא למשוואות דיפרנציאליות חלקיות. חזרה על מד"ר; מבוא למשוואות דיפרנציאליות חלקיות; תרגילים; משפט קושי-קובלסקיה, קיום ויחידות (ניסוח).
- משוואה לינארית וקואזילינארית מסדר ראשון
- מיון של משוואות דיפרנציאליות חלקיות מסדר 2. סוגי עקומות ומשטחים מסדר 2; היפרבולות; פרבולות; אליפטים; תרגילים;
- משוואת תנודת המיתר (משוואת הגלים). שיטת דלמבר; שיטת פוריה או שיטת הפרדת המשתנים; בעיית תנודת המיתר המוחזק משני צדדיו; משוואת מיתר עם תנודה מאולצת (לא תנודה חופשית); טרנספורמציה מתנאים לא הומוגנים לתנאים הומוגנים; תנודה עצמית ותכונותיה.
- משוואות החום. תורת השדה; הצגה אינטגרלית של פתרון משוואת החום – שיטת פוריה; אנליזה – חזרה; שינוי משתנים וטרנספורמציה בתוך משוואת החום; פתרונות למשוואת החום כאשר המוט אינסופי, מוחזק מצד אחד ומוחזק משני צדדים; פונקציה יסודית (פונדמנטלית) ותכונותיה; עיקרון המקסימום של משוואת החום; משפט היחידות; דוגמאות; משוואת החום לא הומוגנית; משוואת החום עם תנאים לא הומוגנים.
- משוואה אליפטית. בעיית דיריכלה במימדים 1,2,3; אנליזה וקטורית – חזרה; פתרונות בעיית דיריכלה למשוואת לפלס על-פי פונקצית גרין; בעיית נוימן; בעיית נוימן על-פי שיטת פונקצית גרין; בעיית דיריכלה למשוואת לפלס ב- בעיגול על-פי שיטת פוריה; פתרון בעיית דיריכלה למעגל לפי שיטת נקודה סימטרית; בעיית דיריכלה למלבן בשביל משוואת לפלס; משוואת פואסון.
88-260 רגרסיה וניתוח שונות
שעות. 4 הרצאה + 2 תרגיל. סמסטר ב'.
- רגרסיה פשוטה: שיטת הריבועים הפחותים, חישוב אומדים, ניתוח שונות, הערכת רגרסיה על ידי התפלגותF , רווחי סמך עבור המקדמים, הסטטיסטי . בדיקת ההשערה . אי-התאמה ושגיאה מקרית.
- התפלגות רב-נורמלית. הוכחת אי-תלות בין הממוצע לשונות המדגם.
- רגרסיה רב- משתנית: שימוש במטריצות לחישוב אומדים. משפט גאוס-מרקוב. ניתוח שונות, הערכת רגרסיה על ידי התפלגותF , רווחי סמך עבור מקדמים, הסטטיסטי . רווח-סמך עבור תצפית חדשה.
- רגרסיה משוקללת: חישוב אומדים. חישוב סטיית המודל.
- בדיקת שאריות: בדיקת נורמאליות, מבחן סימנים, מבחן.Durbin-Watsoin
- מודלים מורכבים: משתני דמי, החלפת משתנים.
- קביעת הרגרסיה הטובה ביותר: שיטת Backward ו-Forward. שיטת Stepwise. שיטת Press.
- רגרסיה לא –ליניארית: שיטת הריבועים הפחותים, לינאריזציה, שיטת המורד התלול ביותר.
- ניתוח שונות: חד –כיווני, דו-כיווני בלי אינטראקציה, דו-כיווני עם אינטרקציה, שימוש בריבועים לטיניים.
- המודל הלוגיסטי: הצגת המודל, אמידת הפרמטרים, מובהקות הפרמטרים.
88-266 תורת התורים
שעות. 2 הרצאה + 1 תרגיל. סמסטר א'.
- בעית התורים.
- התפלגות ארלנג.
- מאפייני התור.
- תהליך פואסון ואפיונים. קשר בין תהליך פואסון להתפלגות מעריכית.
- מודלים מעריכיים עבור תורים בעלי שרת אחד (M/M/1). המשוואות הדיפרנציאליות של המערכת, יציבות, חישוב מידות יעול, התפלגות זמני המתנה, נוסחת LITTLE
- תורים עם תכולה מוגבלת (M/M/1/K), הסתברויות חולפות.
- מודלים מרקוביים, תהליכים לידה ומיתה, תורים מקבילים (M/M/C), תורים מקבילים עם תכולה מוגבלת (M/M/C/K), נוסחת ERLANG עבור (M/G/C/C).
- תורים עם "שרת רחב"(M/M/∞).
- תורים עם מספר צרכנים מוגבל, תורים בהם זמן שרות תלוי בתור.
- תורים עם אי-סבלנות.
- הופעות או שרות בקבוצות (M^[x]/M/1), מודלים של ארלנג (M/E_k/1).
88-268 הדמיה וחבילות סטטיסטיות
שעות. 3 הרצאה. סמסטר ב'.
1) יצירת מספרים אקראיים (התפלגות אחידה): הצורך במספרים אקראיים, אמצעים פיזיים ליצירת מספרים אקראיים, מספרים פסידו-אקראיים, שימוש בקונגרואנציות 2) יצירת מספרים אקראיים (התפלגויות שונות): התפלגות נורמלית: משפט הגבול המרכזי, התפלגות נורמלית: שיטת בוקס-מילר, התפלגות נורמלית: שיטת פולר-מרסגליה, התפלגות מעריכית, התפלגות גמה, התפלגות, התפלגות בינומית, התפלגות פואסון 3) שיטות כלליות למשתנים שאינם מתפלגים על פי התפלגות אחידה: משתנים בדידים, משתנים רציפים: שיטת ההפיכה, משתנים רציפים: שיטת הדחיה 4) בחינת אקראיות: בדיקת שכיחות יחסית, מבחן סדרתי, מבחן המרחק, מבחן המקבצים 5) שיטות אינטגרציה: שיטת "Hit or Miss", שיטת "Sample Mean", שימוש במשתנים אנטי-תטיים, שימוש בפונקציה קרובה 6) יישומי סימולציה: תורת התורים, המחט של Buffon, חישוב של , חישוב של e: בניסוי פיזי ובאמצעות משתנים המתפלגים באופן אחיד 7) Bootstrap: רגרסיה לינארית, רגרסיה לוגיסטית, 8) תכנות ב-S.A.S: מבנה כללי של תוכנית, Data, Array, Retain, Output, פונקציות אריתמטיות, פונקציות מחרוזת, תכנות ב-SAS, Set, Merge, Sort, Plot, מבוא ל-IML
88-275 תאוריה סטטיסטית 1
שעות. 4 הרצאה + 2 תרגיל. סמסטר א'.
- הסתברות (חזרה מהירה על נושאים מ-88-165):
- פונקצית צפיפות של משתנה מקרי חד-מימדי ודו-מימדי.
- ההתפלגויות: אחידה, נורמאלית, גמא, ,ביתא, לוגנורמאלית, וויבול.
- טרנספורמציה של משתנים מקרים חד-ממדיים ודו-ממדיים.
- התפלגויות - הגדרה ותכונות.
- מבוא להסקה סטטיסטית:
- מבוא להסקה סטטיסטית, אוכלוסייה, מדגם מקרי, דגימה בלי ועם החזרה.
- סטטיסטי, התפלגות דגימה של סטטיסטי. דוגמאות.
- התפלגות היחס בין שונויות מדגמים (F) והיחס בין ממוצע לסטיית התקן (t).
- אמידה נקודתית:
- מבוא לאמידה, פונקצית ההפסד, פונקצית הסיכון, טעות MSE .
- אומד בלתי מוטה , אומד יעיל, אומד עקבי, UMVUE.
- אומד נראות מכסימאלית ותכונותיו, אומד לפי שיטת המומנטים.
- סטטיסטי סדר והתפלגותו.
- סטטיסטי מספיק, סטטיסטי מספיק מינימאלי, משפט הפרוק.
- משפט ראו- בלקוול.
- סטטיסטי שלם. סטטיסטי מספיק ושלם עבור משפחה מעריכית .
- משפט להמן- שפה.
- אי – שוויון ראו-קרמר.
- אמידת רווח סמך: עקרונות, שיטת הכמות הצירית.
88-277 תאוריה סטטיסטית 2
שעות. 2 הרצאה + 1 תרגיל. סמסטר ב'.
- בדיקת השערות: הגדרות. השערה בסיסית והשערה אלטרנטיבית, השערה פשוטה ומורכבת, אזור קריטי (אזור הדחייה), גודל ועוצמה של מבחן, טעויות מסוג ראשון ושני.
- פונקצית עוצמה, רווח סמך, מבחנים MPו- UMP.
- מבחן יחס הנראות, למה של ניימן ופירסון, התנהגות אסימפטוטית של נראות יחסית (משפט וילקס).
- מבחנים פרמטריים: השוות תוחלות או שונויות של שתי ההתפלגויות נורמאליות וההתפלגויות בינומיות (מבחן מקנמר).
- טבלאות תלות: אי-תלות של טבלאות 2x2, מבחן התאמהχ² לטבלה Nx2, אי-תלות של טבלאות NxM.
- מבחנים ללא-פרמטריים: מבחני סימן ודרגה של וילקונקסון
88-280 אלגוריתמים ומבני נתונים
שעות. 4 הרצאה + 2 תרגיל. סמסטר א'.
1. סיבוכיות (כולל חומר תאורטי על מכונות דטרמיניסטיות ולא דטרמינסטיות) 2. רקורסיה 3. מבני נתונים: מחסניות, תורים, תורי קדימויות, ערימות, עצים, עצי חיפוש, עצים מאוזנים, טבלאות ערבול (פתוחות וסגורות). 4. מיונים (יציבים ולא יציבים)- מיוני השוואה ומיוני לא השוואה 5. מציאת רכיבי קשירות ורכיבי קשירות מלאה 6. עצים פורשים 7. מרחקים מינימלים 8. מיון טופולוגי 9. השוואת מחרוזות (התאמה מושלמת) 10. מושגים בסיסיים באינפורמציה 11. דחיסה 12. זרימה ברשת 13. תכנון לינארי – אלגוריתם הסימפלקס
88-300 סדנא לפתרון בעיות
שעות. 2 הרצאה. סמסטר א'.
שיטות שונות לפתרון בעיות מתמטיות ברמה תחרותית. למשל: אינדוקציה קומבינטורית, אינווריאנטים, סמי-אינווריאנטים, אי-שוויונים, רדוקציה, שיטות גאומטריות, שיטות מתורת הגרפים. הקורס ילווה בדוגמאות רבות מתחרויות וספרים בתחום.
88-303 לוגיקה מתמטית
שעות. 3 הרצאה. סמסטר א'.
1. מבוא להוכחות פורמאליות. 2. לוגיקה פסוקית. a. תחביר וסמנטיקה. b. קבוצות של קשרים שלמים. c. מערכת היסק ללוגיקה פסוקית. d. משפט השלמות ללוגיקה פסוקית. e. משפט הקומפקטיות ללוגיקה פסוקית. 3. לוגיקה מסדר ראשון. a. תחביר ללוגיקה מסדר ראשון. b. סמנטיקה ללוגיקה מסדר ראשון. c. משפט השלמות ללוגיקה מסדר ראשון. d. מערכת היסק ללוגיקה מסדר ראשון. e. משפט הקומפקטיות ללוגיקה מסדר ראשון. 4. מבוא לתורת המודלים.
88-311 תורת גלואה
שעות. 2 הרצאה + 1 תרגיל. סמסטר א'.
- הרחבות סופיות של שדות, כפליות המימד. הומומורפיזם ואוטומורפיזם של אלגברות. פעולת אוטומורפיזם על שורשי פולינום.
- שדות פיצול – קיום ויחידות עד-כדי איזומורפיזם. הרחבת הומומורפיזם לשדה הרחבה, וספירת השיכונים של שדה לשדה פיצול.
- פולינום ספרבילי והרחבות ספרביליות. קריטריון לספרביליות לפי הנגזרת. שדות מושלמים. כל השדות ממאפיין 0 הם מושלמים.
- הרחבות גלואה: חבורת גלואה, הרחבות נורמליות. המשפט היסודה הראשון (המאפיין מתי הרחבה סופית היא הרחבת גלואה). הלמה של ארטין. הסגור הנורמלי של הרחבה.
- התאמת גלואה בין שדות בינייים ותת-חבורות של חבורת גלואה, לרבות ההתאמה בין הרחבות נורמליות לבין תת-חבורות נורמליות.
- שדות סופיים: קיום ויחידות של שדה סופי מכל סדר שהוא חזקת ראשוני. פיצול הפולינומים x^q-x; אוטומורפיזם פרובניוס. כל הרחבה של שדות סופיים היא ציקלית.
- חבורות פתירות וההתאמה להרחבות של שדות.
- קיום סגור אלגברי (ההוכחה של ארטין בעזרת קיום אידיאל מקסימלי). המשפט היסודי של האלגברה – שדה המספרים המרוכבים סגור אלגברית. תרגום ההוכחה לשפה של הרחבות שדות.
- שורשי יחידה והרחבות ציקלוטומיות: חבורת גלואה איזומורפית לחבורת אוילר.
- פתירות על-ידי רדיקלים: הרחבות שורשיות, מגדל של הרחבות, הדוגמה של גלואה לפולינום שאינו פתיר על-ידי רדיקלים. מספרים בני-בניה ופתרון הבעיות של ימי קדם.
- משפט גלואה – פולינום פתיר על-ידי רדיקלים אם ורק אם חבורת גלואה פתירה. רזולבנטות של לגרנז'.
- עקבה, נורמה ודיסקרימיננטה, ושימושים לפתרון משוואות.
- נושאים נוספים מבין: חבורות פרו-סופיות וחבורת גלואה האבסולוטית. סגור אלגברי והרחבות טרנסצנדנטיות. מימוש כל חבורה סופית כחבורת גלואה. בעיית ההיפוך של תורת גלואה. בעיית נתר. מבוא לפולינומים סימטריים (נוסחאות ניוטון).
דרישות קדם. אלגברה מופשטת 2.
88-315 התמרות אינטגרליות
שעות. 3 הרצאה. סמסטר א'.
- הקדמה. טורי פונקציות ותכונותיהם;אינטגרלים תלויים בפרמטר; גבול של אינטגרל התלוי בפרמטר ;שינוי סדר אינטגרציה באינטגרלים כפולים.
- התמרת פוריה במרחב . משפט עזר של רימן-לבג;התמרת פוריה במרחב ותכונות ראשונות שלה;שיטות ישירות לחישוב התמרת פוריה;ערך ראשי של אנטגרל לא אמיתי; חישוב התמרת פוריה בעזרת שיטת השאריות.
- אינטגרל פוריה. אינטגרל פוריה למחלקות Holder; אינטגרל פוריה לפונקציות חלקות למקוטעין; אינטגרל פוריה בצורה ממשית; הנוסחה האינטגרלית של פוריה וערך ראשי של אינטגרל; ניתוח המשפטים היסודיים.
- היפוך של התמרת פוריה במרחב . נוסחה אינטגרלית של פוריה, התמרת פוריה וההיפוך שלה; משפטים נוספים להיפוך של התמרת פוריה; היפוך של התמרת פוריה בעזרת שיטת השאריות; תכונות יסודיות של התמרת פוריה ויישומים שלהן; משפט השיכון (lmbedding) של סובלב, חלקות הפונקציה ותכונות של התמרת פוריה שלה; תכונות.
- התמרות סינוס וקוסינוס. הנוסחה האינטגרלית של פוריה לפונקציות זוגיות ואי-זוגיות; פיתוח פונקציות המוגדרות בחצי-ציר לאינטגרל פוריה. התמרות סינוס וקוסינוס - תכונות שלהן והיפוך; מציאת התמרות סינוס וקוסינוס בעזרת שיטת השאריות; ישומי התמרות סינוס וקוסינוס, התמרות פוריה לפתרון של בעית קושי למשוואות דיפרנציאליות רגילות.
- התמרת פוריה במרחב . תכונות יסודיות של מרחב . משפט Plancherel. שוויון של Parseval; משפט Plancherel לגבי היפוך של התמרת פוריה; משפט Plancherel במרחב ; חישוב אינטגרלים והשוויון של Parseval; פתרון המשוואה האינטגרלית של Fredholm מסוג ראשון.
- כריכה ויישומיה. כריכה ותכונות יסודיות שלה; משפט Borel; משוואות אינטגרליות של Fredholm מסוג שני מסוג כריכה, פתרונן בעזרת שיטות פוריה.
- התמרת לפלס. מקורות ותמונות; מרחב המקורות; מעריך גידול וחשיבותו;תמונה ותכונות יסודיות שלה; תכונות יסודיות של התמרת לפלס.
- התמרת לפלס. תכונות יסודיות של התמרת לפלס (המשך).
- כריכה ותכונותיה. תכונות יסודיות של כריכה במרחב מקורות; משפט Borel; נוסחאות של Duhamel; פונקצית הגמה של Euler. תכונות ויישומים.
- היפוך של התמרת לפלס. המשפט של Mellin. משפט היחידות; דרישות מספיקות שמגדירות את התמונה; היפוך של התמרת לפלס בעזרת שיטת השאריות; משפט הפיתוח – דוגמאות; היפוך תמונות רציונאליות; היפוך התמרת לפלס בעזרת התכונות הכלליות שלה; פתרון משוואות אינטגרליות ומערכת משוואות אינטגרליות מסוג כריכה בעזרת התמרת לפלס.
- התמרת לפלס ומשוואות דיפנרציאליות רגילות. פתרון של בעית קושי למשוואה דיפנרציאלית לינארית רגילה עם מקדמים קבועים, בעזרת יישום ישיר של התמרת לפלס ובעזרת המשפטים של Borel ו-Duhamel; שיטות טכניות שמפשטות דרך לפתרון; פתרון בעית קושי למערכת משוואות דיפנרציאליות לינאריות רגילות עם מקדמים קבועים – בעזרת ישום ישיר של ההתמרת לפלס ובעזרת המשפטים של Borel ו- Duhamel.
88-320 פיזיקה למתמטיקאים
שעות. 3 הרצאה + 2 תרגיל. סמסטר ב'.
- קינמטיקה
- העתק, מהירות ותאוצה
- תנועה במעגל
- מכניקה ניוטונית
- חוקי התנועה של ניוטון
- אוסילטור הרמוני
- גרביטציה
- עבודה ואנרגיה
- חוקי שימור: תנע, אנרגיה ותנע זוויתי
- כוחות משמרים ואנרגיה פוטנציאלית
- תנודות קטנות ואופני תנודה
- משפט ליוביל
- מכניקה אנליטית
- הקדמה לתחשיב הוריאציות: מינימיזציה של פונקציונלים ומשוואת אוילר-לגרנז'
- לגרנז'יאנים פיסיקליים
- מעבר לקואורדינטות מוכללות
- חבורות לי: הגדרה, האלגברה של החבורה, המפה האקספוננציאלית
- משפט נתר
- טרנספורם לז'נדר
- מכניקה המילטונית
- סוגרי פואסון
- מערכות ייחוס
- חבורת גליליי
- מערכות לא אינרציאליות – מואצות ומסתובבות
- חבורת לורנץ (במימד אחד)
- מרחבי הילברט:
- וקטורים ואופרטורים
- המשפט הספקטרלי
- הסוגריים של דיראק
- מבוא לתורת הקוונטים
- מיקום ותנע בתורת הקוונטים
- משוואת שרדינגר
- חלקיק בבור פוטנציאל
- אוסילטור הרמוני קוונטי
- סימטריות בתורת הקוונטים
- חבורת הסיבוב והתנע הזוויתי
- כח מרכזי – אטום המימן הקוונטי
- מדידה ואופרטורי הטלה
- אי שוויון בל
88-341 אנליזה מודרנית
שעות. 3 הרצאה + 2 תרגיל. סמסטר א'.
- מבוא לתורת לבג:
- מידת לבג על הממשיים.
- קבוצות מדידות לבג וקבוצות בורל.
- קבוצות לא מדידות.
- מרחבי מידה ומידות כלליות.
- פונקציות מדידות.
- אינטגרל של לבג.
- השוואה עם אינטגרל של רימן.
- משפטי התכנסות.
- משפטי פוביני וטונלי.
- מבוא לאנליזה פונקציונלית:
- מרחבים לינאריים נורמיים ומרחבי בנך.
- המרחב
.
- אי-שיוויוני הולדר ומינקובסקי.
- מרחבי מכפלה פנימית ומרחבי הילברט.
- משפט ההצגה של ריס במרחבי הילברט.
- משפט לבג רדון ניקודים.
- גזירה ואינטגרציה:
- משפט הגזירה של לבג.
- פונקציות בעלות השתנות חסומה.
- רציפות בהחלט.
- אינטגרל של נגזרת. הכללת המשפט היסודי.
- משפט הפירוק של לבג.
88-355 משוואות אינטגרליות
- מבוא: מושגים יסודיים של משוואות אינטגרליות ובעיות שמובילים למשוואות אינטגרליות: בעיה של אבל ופוריה ופוטנציאל.
- נושאים חשובים באנליזה פונקציונלית: מרחב מטרי. מרחב שלם ודוגמאותיו, משפט על השלמות. משפט בנך על נקודות השבט. מרחב לינארי נורמי. אופרטורים לינארים. קומפקטיות במרחבים מטרים. במרחבים עם נורמה. המרחבים C[a,b], L2[a,b], Lp[a,b], l2[a,b] ותכונותיהם.
- משוואות אינטגרליות של וולטהרי מסוג שני: מושגים יסודיים, קשר בין משוואות דיפרנהציאליות רגילות ומשוואות וולטרה, רזולווט של משוואה אינטגרלית וולטרה. שיטות הקירוב איטרציה. משוואה מסוג קונוולוציה. פתרון של משוואה אינטגרלית בעזרת התמרת לפלס. משוואות וולטרה בתחום
. משוואת אבל וההכללה שלו.
- תיאוריה של פרדהולם: משוואות פרדהולם: מסוג 1 ו-2. שיטת דטרמיננטה של פרדהולם.
- שיטת איטרציה של גרעין. בנית רזולונטה בעזרת איטרציה של גרעין. משוואות פרדהולם עם גרעין מנוונת. משוואה לא הומוגנית ומשוואה סימטרית. משפטי פרדהולם: אלטרנטיבה של פרדהולם. מספרים אפיונים (מספרים עצמיים) ופונקציות עצמית למשוואות פרדהולם. שיטת פוריה לגרעין מנוון.
- משוואת וולטרה ופרדהולם מסוג 1.
- משוואת אינטגרליות סימטריות. אופרטורים סימטרים. משפטי הילברט – שמיט לאופרטורים אינטגרלים.משוואות עם גרעין סימטרי. משוואה אינטגרלית שמובילה למשוואה סימטרית.
- שיטת הקירוב – (נומרית). שיטות הקירוב למשוואות אינטגרליות. החלפת גרעין מנוונת. שיטת בובנוב-גליורקין. שיטת הקירוב למציאת ערכים עצמיים ופונקציות עצמית, שיטת ריטץ, שיטת traces, שיטת קלוגה.
- משוואות סינגורליות ולא לינאריות. מושגים במשוואות אינטגרליות סינגולריות ולא לינאריות, נקודות ביפורקציה ותיאוריה של שאודר, משוואת הימרשטיין.
88-360 יישומי סטטיסטיקה 1
שעות. 2 הרצאה + 2 תרגיל. סמסטר א'.
- קריאת קבצים בפורמט ASCII/SAS: INFILE, INPUT, FORMAT, DATA, OUTPUT, DELETE, SET, MERGE, CONTENTS, PRINT, DATASETS.
- פקודות תכנות: IF-THEN-ELSE, DO-END, ARRAY, RETAIN, FUNCTIONS.
- שפת מאקרו.
- שפת SQL.
- התפלגות חד משתנית: FREQ, MEANS, UNIVARIATE, GCHART.
- התפלגות רב משתנית (בדידים): FREQ.
- טבלאות: SUMMARY, TABULATE.
- התפלגות רב משתנית (רציפים): CORR, REG, GPLOT.
- רגרסיה מרובה (שיטות לבחירת משתנים): REG, STEPWISE.
- רגרסיה לא לינארית: NLIN.
88-361 יישומי סטטיסטיקה 2
שעות. 2 הרצאה + 2 תרגיל. סמסטר ב'.
- מבחן t: TTEST.
- ניתוח שונות חד/דו/רב כיווני: GLM.
- אנליזת קוואריאנס: GLM.
- ניתוח אשכולות: CLUSTER.
- ניתוח גורמים: FACTOR/MDS.
- ניתוח מאבחן: DISCRIM/CANDISC.
- רגרסיה לוגיסטית: LOGISTIC.
- עצי החלטה: DTREE.
88-369 חקר ביצועים
שעות. 2 הרצאה + 1 תרגיל. סמסטר ב'.
- מבוא לחקר ביצועים ודוגמאות ושימושים.
- מבוא לתכנון ליניארי.
- פתרונות גרפיים ומשמעותם.
- אלגוריתם הסימפלקס - תיאוריה.
- אלגוריתם הסימפלקס - אלגברה.
- התאמה לאלגוריתם הסימפלקס.
- תורת הדואליות.
- ניתוח רגישות.
- סימפלקס דואלי.
- מודלים עבור בעיות השמה, תחבורה ורשתות.
- מבוא לתכנון בשלמים ומידול ע"י משתנים שלמים.
- שיטת סיעוף וחסימה.
88-373 הסתברות וסטטיסטיקה מתמטית
שעות. 3 הרצאה + 1 תרגיל. סמסטר ב'.
- תורת ההסתברות מנקודת מבט מתימטית-מידתית:
- מרחב הסתברות, תכונות של פונקציית ההסתברות (כולל רציפות). דוגמאות, התפלגויות סינגולאריות.
- הסתברות מותנה – כולל נוסחת בייס למקרה האינסופי.
- משתנים מקריים והתפלגויות חד-מימדיות.
- התפלגויות רב-מימדיות, טרנספורמציות.
- אי-תלות (ותלות) של משתנים מקריים והתפלגות מותנית.
- תוחלת, שונות ומומנטים. תכונות של תוחלת, שונות משותפת ומקדם המתאם.
- תוחלת מותנית ביחס לסיגמה-אלגברה.
- הלמה של בורל-קנטלי.
- סוגים שונים של התכנסות עבור סדרות של משתנים מקריים, משפט שלושת הטורים של קולמוגורוב. החוק החזק של המספרים הגדולים (כולל הוכחה).
- פונקציה אופינית: הגדרה, תכונות, נוסחת ההיפוך ומשפטים יסודיים.
- משפט הגבול המרכזי ויישומים.
- התפלגות רב נורמלית.
88-376 שיטות נומריות 1
- ניתוח שגיאות. ה condition של פונקציה. מציאת שורש לפונקציה סקלרית: שיטת החצייה, שיטת ניוטון, התכנסות ריבועית לשיטת ניוטון, שיטת המיתר, שיטת false position. מציאת שורש לפונקציה רבת משתנים. תנאי עצירה למציאת שורשים. שיטות נומריות לאלגברה ליניארית: כיצד להשתמש בפירוקי LU, QR ו- Cholesky כדי לפתור מערכת משוואות ליניארית. אלגוריתם לפירוק LU, ו- LU עם pivoting , אלגוריתם לפירוק Cholesky ולפירוק QR (לפי מטריצות Householder), אלגוריתם לפירוק SVD. ה condition של הבעיה Ax=b. שיטות איטרטיביות לפתרון המערכת Ax=b: שיטת Jacobi, שיטת Gauss-Seidel .שיטת Power method למציאת ע"ע גדול ביותר.
- אינטרפולציה: אינטרפולציה פולינומיאלית ע"י לגרנג', ניוטון. שגיאת האינטרפולציה.
- ספליין ליניארי, ריבועי ו-Cubic Spline.
- קירובים: שיטת ריבועים זעירים לקירוב של סדרת נקודות לפולינום, קירוב של פונקציה לפולינום ע"י סדרות של פולינומים אורתוגונליים (לז'נדר, צ'בישב, הרמיט, לגואר). אינטגרציה נומרית: שיטת הטרפז, שיטת סימפסון, שיטת תרבועי גאוס.
- משוואות דיפרנציאליות רגילות: משוואות מסדר ראשון- שיטת אוילר, שיטת רנגה-קוטה. משוואות מסדר גבוה – הבאה למערכת משוואות דיפרנציאליות מסדר ראשון.
כל נושא מלווה בפקודות המתאימות של Matlab .
88-377 שיטות נומריות 2
(קורס בחירה)
88-385 סדנה לפרוייקטים
- הכרת הפרויקט
- לימוד תיאורטי בעזרת ספרות מדעית, השגת רקע מדעי.
- ניתוח מתמטי ובניית מודל מתמטי.
- בניית תוכנה בהתאם לצורכי הפרויקט.
- בדיקת התוכנה בעזרת דוגמאות שפתרונן ידוע ואח"כ יישום התוכנה למקרה שעבורו הוזמנה.
- אנליזה השוואתית בין הפתרון שהתקבל ובין דרישות המטרה.
88-500 הידרודינמיקה תאורטית
שעות. 3 הרצאה. סמסטר א'.
- חומר רציף (נוזל), זרימה; שדה מהירות, תאוצה, נגזרת שלמה, מצב סטאציונרי; גישות אוילר ולאגראנג', קווי זרימה ומסלול
- משפטי גאוס וסטוקס, משוואת רציפות של נוזל (שימור מסה); נוזל דחיס ובלתי-דחיס ערבוליות, צירקולצית וקטור המהירות
- טנזור מתיחות, חיכוך, לחץ הידרודינמי; תנאי שפה.
- נוזל אידיאלי, משוואות אוילר; אינטגרל ברנולי, דוגמאות
- זרימה בלתי-מערבלת (פוטנציאלית): פונקצית פוטנציאל; פונקציות הרמוניות ותכוניתן; דוגמאות של זרימה פוטנציאלית. כוח עילוי
- זרימה דו-ממדית: פונקצית זרימה; קווי שווי פונקצית זרימה; ערבוליות ומשוואת זרימה פוטנציאלית במונחי פונקצית זרימה; שימור ערבוליות; דוגמאות של זרימה דו-ממדית.
- תנועת נוזל צמיג: משוואות נבייה–סטוקס; מספר ריינולדס; ניתוח ממדים ודמיון; דוגמאות
- בעיית סטוקס; זרימה בנתיב אחרי גוף נע; טורבולנציה; שכבת גבול, שיטות פרטורבצייה.
- מערבולות: סוגי מערבולות נחות, מתקדמות, ומסתובבות באופן סטאציונרי. פיתרונות אנאליטיים: מונופול, דיפול של לאמב–צ'אפליגין.
- שיטות נומריות לפיתוח פתרונות למערבולות; סדרות פוריה–ביסל ופוריה–צ'בישב; פרוצדורת ניוטון–קנטורוביץ' (ליניאריזציה הדרגתית).
- יציבות הידרודינאמית : חקר ליניארי של אי-יציבות; קריטריון ריליי.
- מערבולות סינגולאריות: פונקצית דלטה, מערבולת נקודתית; אנסמבל של מערבולות נקודתיות; מערכת המילטונית; יציבות לא ליניארית של זוג ושלישית מערבולות נקודתיות.
- נוזלים סובבים: הקירובים של מישור f ומישור בטא, גלי רוסבי, דיפולים סטאציונריים על משור בטא. קירוב מים רדודים, גלי אינרציה-גרוויטאציה.
88-505 תורת הקבוצות של הישר הממשי
מבוא לשיטות קומבינטוריות-אינסופיות באנליזה של הישר הממשי ומרחבים קשורים. היכרות עם תכונות כיסוי קלאסיות של קבוצות של מספרים ממשיים (מנגר, הורביץ', רותברגר, ועוד) ותכונות של מרחבי פונקציות ממשיות. פיתוח כלים קומבינטוריים לבניית מרחבים עם תכונות אלה.
- הפנים המרובות של הישר הממשי: (מרחב קנטור, מרחב בייר). - תכונות הכיסוי הקלאסיות. - אפיונים קומבינטוריים ומונים של הרצף. - בניית קבוצות ממשיות ב ZFC: קבוצת מנגר שאינה סיגמא קומפקטית (פתרון השערת מנגר), קבוצת מנגר בלי תכונת הורביץ' (פתרון השאלה של הורביץ'). - שיטת השמטת הקטעים ובניית קבוצה ממשית עם תכונת הורביץ' שאינה סיגמא קומפקטית. - מידה וקטגוריה (לבג, בורל, בייר) וקשרים לתכונות הכיסוי. - תכונת פרשה-אוריסון: מרחבי פונקציות והקשר לתכונות כיסוי. - בניית מרחב פונקציות עם תכונת פרשה-אוריסון תחת ההנחה שיש קבוצה מרוכזת. - עקרונות בחירה: הצגה ומיון (הדיאגרמה של סקיפרס). - כפליות של תכונות כיסוי.
88-520 טופולוגיה אלגברית 1
- קטגוריות ופנקטורים.
- הומוטופיה ותכונותיה, שקילות הומוטופית, נסג, נסג עיוותי.
- הגדרת החבורה היסודית, וההומומורפיזם המושרה.
- הקשר בין החבורות היסודיות בנקודות בסיס שונות, הקשר בין ההומומורפיזמים המושרים ע"י העתקות הומוטופיות. שקילות הומוטופית משרה איזומורפיזם.
- הגדרת מרחב כיסוי, תכונת הרמת המסילה והרמת הומוטופיה של מסילות. חישוב החבורה היסודית של המעגל.
- שימושים ראשונים: משפט נקודת השבת של בראוור עבור עיגול. המשפט היסודי של האלגברה.
- נושאים בתורת החבורות: תכונות אוניברסליות, מכפלה ישרה, מכפלה חופשית, אבליניזציה, מכפלת היתוך, חבורה חופשית, הצגה ע"י יוצרים ויחסים.
- משפט ון קמפן. חישוב החבורה היסודית של מרחבים שונים, כגון משטחים, ספירות, מרחבים פרויקטיביים.
- מרחבי CW, חישוב החבורה היסודית בעזרת מבנה ה CW.
- מרחבי כיסוי: תכונות ההומומורפיזם המושרה ע"י העתקת כיסוי. הקשר בין הסיבים השונים. הרמת העתקות. קיום מרחבי כיסוי.
- הקשר בין תתי החבורות של החבורה היסודית ותכונותיהן למרחבי הכיסוי ותכונותיהם. אוטומורפיזמים של הכיסוי.
- הוכחת משפטים בתורת החבורות באמצעות מרחבי כיסוי.
88-524 גאומטריה פרוייקטיבית
מרחבים פרוייקטיביים מעל שדה, העתקות פרוייקטיביות, מרחבים אפיניים, משפט דזרג ומשפט פפוס, דואליות, חתכי חרוט, היחס הכפול, איזומורפיזמים של מרחבים פרוייקטיביים.
88-525 גאומטריה אלגברית 1
- קבוצות אפיניות מעל
- אידיאל של קבוצה אפינית
- טופולוגית זריצקי
- מרחב פרוייקטיבי
- קבוצה פרוייטיבית, כיסוי אפיני, פריקות.
- חוג הפונקציות הרגולריות, שדה הפונקציות הרציונאליות.
- מורפיזם, איזומורפיזם, העתקה רציונלית, העתקה בירציונלית
- תכונות ודוגמאות
- מיון של עקומות
דרישות קדם. אלגברה מופשטת 2, טופולוגיה, פונקציות מרוכבות
88-537 גאומטריה אקסיומטית
- מבוא לאקסיומות של הגאומטריה האוקלידית
- הוכחות לא נכונות של אקסיומת המקבילים
- טעויות באקסיומות של אוקלידס
- מבוא לאקסיומות הילברט. אקסיומות שייכות.
- מודלים לאקסיומות שייכות: דוגמות מגאומטריה סופית.
- אקסיומות בין ואקסיומות חפיפה וחוצותיהן.
- אקסיומות רציפות ואקסיומת המקבילים.
- גיאומטריה ניטרלית.
- שקילות של אקסיומות המקבילים וסכום זוויות במשולשים.
- אי-תלות של אקסיומת המקבילים.
- מבוא לגיאומטריה היפרבולית.
- מודלים של המישור ההיפרבולי.
- תנועות אוקלידיות והיפרבוליות וחברותיהן.
88-554 מבוא לקומבינטוריקה
- מבוא: מהי קומבינטוריקה? קיום, מיון, ספירה, אופטימיזציה. דוגמה מנחה: ריצוף לוח משובץ על-ידי אבני דומינו. שיקולי ספירה וצביעה.
- עקרון שובך היונים: קירוב מספר ממשי על-ידי רציונליים, משפט ארדש-סקרש על קיום תת-סדרה מונוטונית.
- שיטות ספירה בסיסיות: תמורות וצירופים, עם ובלי חזרות. פירושים והכללות. (על-בסיס המבוא ב"מתמטיקה בדידה")
- מקדמים בינומיים ומולטינומיים: נוסחאות הבינום והמולטינום, תכונות בסיסיות, נוסחת הרקורסיה ומשולש פסקל, זהויות בינומיות, הילוכי שריג. (על-בסיס המבוא ב"מתמטיקה בדידה")
- סדרי גודל, נוסחת סטירלינג, קירוב מקדם בינומי בעזרת אנטרופיה.
- בעית הקלפי, שיטת השיקוף, מספרי קטלאן ופירושיהם: נוסחת הרקורסיה, מסילות דיק, ספירת עצים בינריים, ספירת חלוקות של מצולע למשולשים, סידור סוגריים.
- מספרי סטירלינג (מסוג ראשון ושני) ומספרי בל: הגדרה, נוסחאות רקורסיה, נוסחאות היפוך.
- פונקציות יוצרות: דוגמה מנחה, הגדרת פונקציה יוצרת רגילה ומעריכית, שימושים לספירת צירופים ותמורות עם הגבלות.
- טורי חזקות פורמליים וטורי לורן פורמליים: הגדרה ופעולות, קיום הפכי, פיתוח לשברים חלקיים, מגבלות על הצבה.
- ספירה בתנאי סימטריה: פעולת חבורה על קבוצה, סימטריה גיאומטרית (איזומטריות) וקומבינטורית (תמורות), ספירת מסלולים בעזרת הלמה של ברנסייד.
88-555 תורת הגרפים
- מושגים בסיסיים: גרפים מכוונים ולא מכוונים. דרגות קדקדים. גרפים רגולריים. תתי-גרפים מושרים ופורשים. הילוכים, מסילות ומעגלים. קשירות.
- עצים, יערות ותכונותיהם. עצים מסומנים ומשפט קיילי על עצים פורשים.
- מסלול אוילר ומסילה המילטונית. משפטים של אוילר ושל דיראק.
- גרפי פאון וגרפים מישוריים. נוסחת אוילר ומיון הגופים המשוכללים.
- משפט קורטובסקי ומשפט רוברטסון-סיימור. משפט ארבעת הצבעים (עם הוכחה עבור חמשה צבעים).
- צביעת קדקדים ומספר הצביעה. גרפים דו-צדדיים. משפט ברוקס. קבוצות בלתי-תלויות.
- פולינום הצביעה ומשפט סטנלי.
- שידוכים: משפט הול. משפט מנגר.
- אינדקס הצביעה ומשפט ויזינג.
- בעיות קיצון בתורת הגרפים: משפט טורן.
- מספרי רמזי, למת לחיצות הידיים ומשפט רמזי.
- כלים מאלגברה ליניארית: מטריצת השכנות והלפלסיאן. דרגת הלפלסיאן ומספר רכיבי הקשירות.
- משפט מטריצה-עץ. שיטות ספקטרליות. יישומים להילוכים אקראיים על גרפים.
88-570 שיטות הסתברותיות בקומבינטוריקה
88-572 מבוא לתהליכים סטוכסטיים
- תהליכי מרקוב:
- תהליך מקרי
- תכונת מרקוב
- הסתברויות מעבר סטציונריות
- מהלך מקרי
- שרשרות מרקוב: הגדרה, דוגמאות, התנהגות גבולית, התפלגות סטציונרית, סיווג המצבים
- מרטינגלים – (עם פרמטר רציף), תכונות, זמני עצירה, משפט העצירה של Doob, משפטי התכנסות (הוכחות בהתאם לזמן).
- דוגמאות מרכזיות – תהליך פואסון ותנועה בראונית.
88-576 תורת המספרים
- המספרים השלמים, האלגוריתם של אוקלידס, מחלק משותף מקסימלי.
- שאריות, חפיפה, משפט השאריות הסיני.
- שדות סופיים, משוואות מעל שדות סופיים. למה של Hensel.
- משפטים של פרמה ואוילר. שורשים פרימיטיביים.
- סימן של לז'נדר ויעקובי. ההדדיות הריבועית.
- סכום הרבועים. מספרים שלמים של גאוס. שדות ריבועיים.
- הצפנה ציבורית (שיטת RSA), בדיקת ראשוניות.
- ראשוניים (קיומם של אינסוף ראשוניים, מקרים אלמנטריים של משפט דיריכלה). התפלגות הראשוניים: משפט המספרים הראשוניים.
- משולשים פיתגוריים.
- משוואת פל, שברים משולבים.
דרישות קדם: אלגברה לינארית 1, מתמטיקה בדידה.
88-578 מבוא לתורת הקודים
1. קודים מתקני שגיאות (שבוע 2-1) רעיון כללי, דוגמאות פשוטות, ערוץ סימטרי, משפט שאנון, פענוח, מרחק המינג.
2. קודים לינאריים (שבוע 5-3) יסודות של שדות סופיים, פרמטרים של קודים לינאריים (אורך, מימד, קצב, מרחק מינימלי), קוד המינג, מטריצה יוצרת, מטריצת בדיקת זוגיות, פענוח לפי תסמונת.
3. קודים ציקליים (שבוע 11-6) אידאלים בחוגים קומוטטיביים [תזכורת ל-88-212], פולינום יוצר, פולינום בדיקת זוגיות, קודים BCH, קודי ריד-סולומון. קודים על שאריות ריבועיות. קודי גולאי. קשר עם טרנספורמציית פוריה דיסקרטית.
4. פענוח לפי רוב קולות (שבוע 13-12) רעיון כללי, דוגמאות, קוד ריד-מאלר.
88-585 אלגוריתמים לביולוגיה חישובית
88-599 פריצות דרך במתמטיקה
- מהי מתמטיקה? מהי הוכחה? דוגמאות לטיעונים שאינם הוכחה ולהוכחות שגויות בספרות.
- המתמטיקה של ימי קדם: המתמטיקה המצרית והמתמטיקה הבבלית ויחסן למערכות המספרים; לוח פלימפטון 332; המתמטיקה הסינית.
- העידן הקלאסי: אסכולת פיתגורס, מספרים רציונליים, ניסוח גאומטרי של מושג המספר. מספרים בני בניה. תור הזהב של המתמטיקה ההליניסטית: אודוקסוס, אוקלידס וה"יסודות", ארכימדס, אפולוניוס, אסכולת אלכסנדריה והספריה הגדולה.
- דמדומי העידן הקלאסי: תלמי, דיופנטוס והפתרון הפרמטרי למשוואות דיופנטיות, היפטיה.
- הודו: הצגת האפס והמספרים השליליים. פתרון משוואות באמצעות נעלמים. ספרו של Bakhshali, אריבהרטה, ברהמגופטה, בהסקרה השני.
- תור הזהב של המתמטיקה האיסלאמית: אל-חווזירמי והאלגברה. אבו-ופא והטריגונומטריה. עומר כיאם ופתרון המשוואה ממעלה שלישית. אל-קאשי.
- הרנסנס המוקדם: העברים כגורם מעבר. האקדמיה של טולדו. פתרון המשוואות האלגבריות ממעלה עד 4. שצפיונה דל פרו, טרטליה, קרדנו וה- Ars Magna, פרארי; חיוניותם של פתרונות מרוכבים.
- גיבוש הרעיונות המתמטיים בשנים 1550-1625: בומבלי, ויאטה, סטבין, נאפייר והלוגריתמים.
- האסטרונומיה ברנסנס: קופרניקוס, טיכו ברהה, קפלר וגלילאו.
- המאה ה-17 באירופה (בפרט בצרפת ובאנגליה): דקארט והגאומטריה הקרטזית, פסקל וההסתברות, פרמה וכל דבר; המשפט האחרון של פרמה, הקלקולוס, ניוטון ולייבניץ.
- שיא התקופה הקלאסית: אוילר, פונקציית זטא, בעיות טופולוגיות ואינווריאנטים, בעיית הגשרים של קניגסברג. נוסחת אוילר, לגרנז'.
- מתמטיקה בראשית המאה ה-19: גאוס, גלואה. חוסר האפשרות לפתור משוואות, ותורת החבורות. קושי. שוב המשפט האחרון של פרמה.
- גאומטריה לא אוקלידית. התפתחות מאוחרת במאה ה-19: רימן, מרחבים וקטוריים וטרנספורמציות של אלה (קיילי, המילטון, לי, קליין), קנטור (1845-1918) וקבוצות אינסופיות.
- בעיית ארבעת הצבעים.
- הילברט ובעיות הילברט (פריס, 1900). פתרון הבעיה השלישית של הילברט.
- הבעיה השניה של הילברט – יסוד תורת הקבוצות. האקסיומות של צרמלו-פרנקל. עוצמות. גדל, פונקציות רקורסיביות וניתנות-לחישוב. אקסיומת הבחירה.
- עידן הפרדוקסים. כיוונים חדשים במאה העשרים. מתמטיקה חישובית. סיבוכיות.
- בעיות המילניום.
88-601 מבט מתקדם על מתמ. תיכונית 1
1. מציאת טור החזקות עבור הפונקציות הטריגונומטריות וההיפרבוליות מתוך הגדרתן הגאומטרית. 2. הכרת הפונקציה האקספוננציאלית, הבנת תכונותיה ושימושיה לתאור תופעות בעולם. 3. הוכחות שונות למשפטים נבחרים בגאומטריה. 4. סיבובים במישור, הסקה של זהויות טריגונומטריות. שיקופים ומושג האוריינטציה במישור, והקשר למושג הדטרמיננטה. קשרים בין בניות גאומטריות ואלגבריות. 5. שמוש במספרים מרוכבים להבנת גאומטריה במישור. 6. אפיון העתקות צפידות במרחב האוקלידי, ומיון מלא של העתקות צפידות במישור. 7. שטח של תחום חסום ע"י מסילה במישור, נפחים, שטח של משטחי סיבוב. 8. קואורדינטות קוטביות, גליליות וכדוריות. חישוב אורכים, שטחים ונפחים בקואורדינטות אלה. 9. קוים גאודטיים על הספירה. בנית מפות של כדור הארץ בעלות תכונות מיוחדות. 10. חתכי חרוט: הוכחת הקשר להגדרות המישוריות של אליפסה פרבולה והיפרבולה. 11. מבוא לגאומטריה פרויקטיבית. 12. נושאים אפשריים נוספים: פאונים ומציין אוילר. מתמטיקה במוסיקה.
88-602 מבט מתקדם על מתמ. תיכונית 2
1. התחלות: מספרים מושלמים. 2. התחלות: שלשות פיתגוריות וגילוי המספרים האי-רציונליים. 3. המשפט האחרון של פרמה. הוכחות של אוילר עבור n=3,4 . 4. ארבע הוכחות לקיום אינסוף מספרים ראשוניים. מספרי פרמה ומרסן 5. מספרים ראשוניים בסדרות חשבוניות. 6. גילוי המספרים המרוכבים. 7. האקסיומטיזציה של המרוכבים. 8. קוטרניונים, אוקטניונים וקיום הצגה למספר כסכום של רבועים. 9. קומבינטוריקה ספירתית, האינדוקציה המתמטית וראשית האלגברה: ראב"ע ורלב"ג. 10. q - אנלוגים של מספרים ומקדמים בינומיים . 11. מחלקים ראשוניים של מקדמים בינומיים והוכחה אלמנטרית של משפט המספרים הראשוניים.
88-608 מתמטיקה בעולם המודרני
88-609 מתמטיקה בחיי היום-יום
88-620 מתמטיקה פיננסית 1
1. מבוא: ערך נוכחי וערך עתידי של תזרימים, שיעור תשואה פנימי 2. הערכת כדאיות של השקעה, דוגמאות, יסודות הסתברות (תזכורת) 3. השקעה בתנאי אי-ודאיות:גישת תוחלת – שונות להערכת תיקי השקעות 4. מודל של מרקוביץ, חזית של תיקים יעילים. 5. בחירת תיקי השקעות אופטימאליים, משפטי קרנות נאמנות. 6. מבט שני על המודל תוחלת-שונות, מודל לתמחור נכסי הון CAPM
שווי משקל של שוק, קו שוק ההון (CML)
7. מודל תמחור ומקדם הסיכון השיטתי קו שוק ניירות ערך (SML) מדידת ביצועים בשוק ההון 8. סדרי העדפות ופונקצית תועלת, הגרלות, אקסיומות של תורת התועלת 9. תועלת פון נוימן ומורגנשטרן, משפט האפיון של פונקצית התועלת הליניארית 10. יתרונות וחסרונות של תורת התועלת, הגרלות כספיות ופונקצית התועלת על ההגרלות 11. שינאת סיכון, פונקצית תועלת קעורה, שווה ערך ודאי, פרמיית סיכון 12. מדדים של שינאת סיכון (Arrow-Pratt absolute risk aversion coefficient, relative risk aversion coefficient ) 13. השוואת סיכון (across individuals, across wealth level), מבט נוסף על גישת תוחלת שונות, השוואת התפלגות של תשואות הנכסים: שליטה סטוכסטית
88-621 מתמטיקה פיננסית 2
1. הקדמה: מהו סיכון, והיווצרות הסיכונים הפיננסיים 2. גידור: מהו גידור? גידור תפעולי וגידור פיננסי 3. השווקים בהם פועלת הפירמה וסוגי סיכונים פיננסים 4. סיכון אשראי: דירוג איגרות חוב, דירוג סינטטי, וחיזוי פשיטות רגל של פירמות 5. סיכון שערי הריבית: סיכון המחיר וסיכון ההשקעה מחדש, מבנה הזמן של שערי ריבית והשימוש בו לצורך חיזוי שערי ריבית עתידיים, ושיעורי האינפלציה העתידיים. 6. סיכון מטבע חוץ 7. שיטות כמותיות להתמודדות עם סיכון: שיטת הערך בסיכון – Value At Risk
88-622 הסתברות ותהליכים סטוכסטיים 1
1. מרחב ההסתברות, מושגי השבט (סיגמה-אלגברה) ומידות הסתברות. 2. הסתברות מותנית, תלות ואי-תלות, רציפות של ההסתברות, הלמה של בורל-קנטלי, חוק 0-1 של קולמוגורוב. 3. משתנים מקריים והתפלגויות: הגדרה, דוגמאות, סיווג של משתנים מקרים: בדיד, רציף, רציף לחלוטין, סינגולרי. פונקצית הצפיפות. 4. התפלגות מיוחדות ואפיונים. (מעריכי, אי-זכרון, גמה, פואסון). 5. מומנטים (תוחלת ושונות). משפטי קיום,דוגמאות, קשר בין מומנטים לאפיון ההתפלגות. 6. התפלגויות רב-מימדיות. אי-תלות בין משפחות של משתנים מקריים, שונות משותפת ומקדם המתאם. התפלגות רב-נורמלית. 7. משפטי גבול: צורות שונות של התכנסות. החוק החזק של המספרים הגדולים. משפט הגבול המרכזי. 8. התוחלת המותנת (ביחס לשבט). תכונות ודוגמאות. 9. מהלכים מקריים.
88-623 הסתברות ותהליכים סטוכסטיים 2
1. התיאוריה הכללית של תהליכים סטוכסטיים. 2. תורת המרטיגלים (בדיד ורציף), זמני עצירה ומשפט העצירה. 3. התנועה הבראונית. 4. תהליך פואסון והרחבות. 5. אופציונאלי: תהליכים נקודתיים, תהליכי התחדשות. 6. חשבון סטוכסטי. אינטגרל איטו. 7. משוואות דיפרנציאליות סטוכסטיות. 8. אופציונאלי: שרשרות מרקוב ותהליכי מרקוב.
88-624 סטטיסטיקה וניתוח נתונים
1. חשיבה סטטיסטית. 2. ערכים קיצוניים/חסרים וקשרים בין משתנים: טיפול בערכים קיצוניים /חסרים. 3. התפלגויות: חי-בריבוע, F, T, Exp ואחרות. 4. הסקה סטטיסטית: אומדים, בדיקת השערות. 5. מודלים לינאריים. 6. רגרסיה לוגיסטית. 7. רגרסיה לוגיסטית אורדינלית. 8. ניתוח מאבחן. 9. המודל האמפירי: תהליך בניית מודל.
88-625 משוואות דיפרנציאליות
88-626 אופטימיזציה
1. מבוא לחקר אופטימיזציה ותכנון לא ליניארי. תנאים לאופטימליות. מבני האלגוריתם. 2. חיפוש "אוניווארי" (חד משתני). 3. המורד התלול ביותר. שיטת ניוטון. דמוי (קוואזי) שיטת ניוטון. כיוונים מצומדים. שיטות התמרה לאופטימיזציות מוגבלות. 4. שיטות פרימליות לאופטימיזציות מוגבלות.
88-627 יסודות המימון למתמטיקאים
1. מטרת הפירמה 2. ערך הזמן של כסף 3. ערך נוכחי נקי ויצירת עושר 4. ערך נוכחי נקי וקריטריוני השקעה אחרים 5. בניית התזרים הכספי של הפרויקט 6. סיכון, תורת תוחלת התועלת, ביטוח ומחיר ההון 7. סיכון ופיזור השקעות: מודל תמחור נכסים מסוכנים (CAPM) 8. מימון לזמן ארוך: איגרות חוב ומניות 9. מחיר ההון: הון עצמי, הון זר וממוצע משוקלל של מחיר ההון 10. מנוף פיננסי והרכב הון אופטימלי
88-628 מבוא לכלכלה למתמטיקאים
88-629 תמחור אופציות
1. השקעות: מהימורים לשוק המניות. תיק השקעות מממן את עצמו, ארביטרז', גידור בעזרת משפט ההפרדה של על-מישורים. 2. אופציות: הגדרה ויסודות. אופציות אירופאיות ואמריקאיות, ,המודל החד-תקופתי, 3. זמן בדיד, המודל הבינומי, הסתברות אדישה לסיכון, 4. מבדיד לרציף: תנועת בראון, תנועת בראון גיאומטרי, משפט ג'רסנוב, הלמה של איטו, 5. תמחור אופציות בזמן רציף, גידור בזמן רציף, משוואת בלק- שולס, נוסחת בלק שולס. 6. מודלים כלליים בזמן רציף, דרך משוואות דיפרנציאליות חלקיות ושיטות מונטה-קרלו.
88-636 שיטות נומריות מתקדמות
(למתמטיקה פיננסית)
88-638 מתמטיקה אקטוארית ותורת הסיכון
88-642 תורת המשחקים לפיננסית
2. משחקים בצורה אסטרטגית. שווי משקל. 3. אסטרטגיות שולטות. 4. משחקים דינמיים. 5. משחקים סכום־אפס. 6. משחקים עם ידיעה לא שלמה.
88-644 מודלים פיננסיים מתקדמים
88-647 ניתוח דוח"ות כספיים והערכת שווי חברה
1. מבנה של דוח כספי. מאזן נכסים, מאזן פעילויות ומאזן כללי. 2. הוצאות במאזן פעילויות: הוצאות תפעוליות, הוצאות אחרות לפני מיון, הוצאות מימון. 3. הצגת רווחים והפסדים בלתי רגילים, בלתי חוזרים או מיוחדים והשפעתם על הרווח למניה. 4. גישה כלכלית – עסקית לעומת משפטית – פורמלית בחשבונאות. 5. שימוש בערך נוכחי בחשבונאות. 6. ייחוס מיסים – עתודות למיסים נדחים וכו'. 7. השפעת אי-ודאות על הדוחות הכספיים. 8. שיטת האקויטי, תרגומי מטבע, מוניטין,והפחתה לירידת ערך. הערכת סיכוי פשיטת רגל. 9. הערכת שווי החברה.
88-652 סמינר בניהול סיכונים ומידע
88-712 פונקציות מרוכבות של כמה משתנים
88-760 מבוא לסטטיסטיקה 1
88-761 מבוא לסטטיסטיקה 2
88-798 תורת המספרים האלגברית
- שלמים אלגבריים, הרחבות שלמות של חוגים, סגור שלם.
- שדות מספרים וחוגי השלמים שלהם. נורמה ועיקבה. דיסקרימיננטות.
- תחומי דדקינד. חוג השלמים בשדה מספרים הוא תחום דדקינד. פירוק יחיד של אידאל בתחום דדקינד כמכפלה של ראשוניים.
- אידאלים שבורים וחבורת המחלקות. סופיות של חבורת המחלקות. חסם מינקובסקי.
- משפט היחידות של דיריכלה.
- הסתעפות של אידאלים ראשוניים בהרחבה של שדות מספרים. הקבועים e, f, g. הנוסחה היסודית. הסתעפות של אידאלים ראשוניים בהרחבת גלואה של שדות מספרים. תת-חבורות של פירוק והתמדה.
- ערכים מוחלטים והערכות. מיון של ערכים מוחלטים על שדה המספרים הרציונליים.
- השלמה של שדה מספרים ביחס לערך מוחלט. שדות מקומיים. מספרים ושלמים p-אדיים. משפט אוסטרובסקי. הרחבות של הערכות. הלמה של הנזל.
- מבוא (בלי הוכחות) לתורת שדות המחלקות ולהתאמות לנגלנדס.
88-803 אלגברות עם חילוק
- אלגברות הקווטרניונים: עקבה ונורמה.
- מכפלה טנזורית של אלגברות פשוטות מרכזיות; האלגברה המנוגדת וחבורת בראוור.
- תת-שדות מקסימליים, שדות פיצול והעתקת הצמצום. הדרגה והאינדקס.
- משפט סקולם-נתר ואלגברות ציקליות.
- מכפלות משולבות, חבורת בראוור היחסית ותאור קוהומולוגי שלה. האקספוננט.
- קוהומולוגיית גלואה וחבורת בראוור.
- יריעות בראוור-סברי.
- ה-corestriction.
- אינוולוציות מסוג ראשון ומשפט אלברט.
- אלגברות פשוטות מעל שדות מקומיים ומעל שדות גלובליים.
- תורת K של מילנור; משפט Matsumoto, משפט Merkurjev על אלגברות מאקספוננט 2; משפט Merkurjev-Suslin והשערת Bloch-Kato.
- משפטים של Albert על אלגברות-p.
88-809 מערכות דינמיות
I) מושגים בסיסיים במערכות דינמיות רציפות
1. מערכות חד מימדיות: נקודות שבת, הסתעפויות (ביפורקציות), דינמיקה של משוואות מהצורה F(x)=(dx/dt)2.
2. מערכות דו מימדיות: סיווג של נקודות שבת, דיאגרמת במישור הפאזה, מסלולי גבול (limit cycles) ויציבותם, שיטות הפרעה (פרטורבטיביות) לתנודות קטנות לא לינאריות, שיטת לינסטט-פואנקרה לפתרונות מחזוריים, משפט פואנקרה-בנדיקסון (ללא הוכחה), פיצול הופף.
3. מערכות במימד גבוה: ניתוח נקודות שבת, יריעות יציבות, לא יציבות ומרכזיות, משפט הרטמן-גרובמן, מסלולים הומוקלינים והטרוקלינים, מסלולי גבול ויציבותם, פונקציות ליאפונוב.
4. כאוס: משוואת לורנץ (תכונות בסיסיות, חקירה נומרית, המושך המוזר, מימדו ותכונות אחרות), משוואת דאפינג המאולצת (תכונות בסיסיות, שיטות הפרעה, תת-הרמוניות, חקירה נומרית, שימוש בחתכי פואנקרה, התנהגות דמוית-מחזורית), מעריכי ליאפונוב.
II) מושגים בסיסיים במערכות דינמיות בדידות 1.המפה הלוגיסטית: תכונות בסיסיות, פיצולים והכפלת מחזור, מפלים מכפילי מחזור ותורת הרה-נירמול, משפט סרקובסקי, הגדרת הכאוס, מידות אינווריאנטיות, שימוש בדינמיקה סימבולית, פרקטלים.
2.מערכות חד מימדיות אחרות, מסלולים שונים לכאוס, מעריכי ליאפונוב.
3.מערכות מישוריות: מפת הפרסה של סמייל, מפת הנון, המפה הסטנדרטית, או דוגמאות אחרות למיפויים כאוטיים מישוריים.
III) לפי הזמן: כאוס המילטוניאני: מטוטלת כפולה, בעיית שלושת הגופים.
88-813 אלגברה קומוטטיבית
שעות. 3 הרצאה. סמסטר א'.
- מודולים: הגדרה, משפטים בסיסיים. [בהתאמה לנלמד ב- תורת החוגים). סדרות הרכב, אורך של מודול.
- מודולים וחוגים ארטיניים ונותריים. משפט הבסיס של הילברט.
- מיקום של חוגים: הגדרה, תכונות בסיסיות, מיקום באידאל ראשוני, הלמה של נקיימה.
- אלגברות אפיניות מעל שדות: תלות אלגברית, מעלת הטרנסצנדנטיות, מימד קרול, שוויונו למעלת הטרנסצנדנטיות עבור תחומים אפיניים.
- הרחבות שלמות של חוגים ותכונות של הרחבות חוגים: מונח-על, לא-בר-השוואה, going up, going down.
- תורת מימד קרול עבור חוגים נתריים: משפט קרול על אידאלים ראשיים והכללותיו, נוסחת המימד, אידאלים רדיקליים, חוגים מצומצמים, קטנריות של אלגברות אפיניות.
- ישומים בגיאומטריה אלגברית: קבוצות ויריעות אלגבריות אפיניות, התאמה בין יריעות אפיניות ותחומים אפיניים, הנולשטלנזץ של הילברט, מימד של רכיבים של החיתוך של שתי יריעות, אלגברות מדורגות ויריעות פרויקטיביות.
- ערכים מוחלטים והערכות מוחלטות.
דרישות קדם. אלגברה מופשטת 2. רצוי במקביל תורת גלואה.
88-815 אלגברה לא קומוטטיבית
שעות. 3 הרצאה. סמסטר ב'.
- מושגים יסודיים בתורת החוגים: חוגי מטריצות, מושגי יסוד בחוגים לא קוממוטטיבים, מכפלות ישרות, המבנה של Hom(M,N), הצגות של חוגים ואלגברות, ההצגה הרגולרית של אלגברה.
- חוגים ומודולים פשוטים למחצה, משפט Wedderburn-Artin.
- חוגים ואידיאלים פרימיטיביים, הרדיקל של ג'ייקובסון, המבנה של חוגים ארטיניים.
- תורת ההצגות של חובורות, מודולים מעל חוג החבורה F[G].
- קרקטרים של חבורות סופיות, היחסים האורתוגונליים של שור, טבלת הקרקטרים, הצגות מושרות, משפט ההיפוך של פרובניוס.
דרישות קדם. אלגברה קומוטטיבית. רצוי מאד תורת גלואה.
88-817 אלגברה הומולוגית
מבוא לקומפלקסי שרשרת, רזולוציות, ופונקטורים גזורים עבור מודולים וחוגים
- קומפלקסי שרשרת
- Derived functors (פנקטורים נגזרים)
- Tor and Ext
- מימד הומולוגי של חוגים
- הומולוגיה של חבורות
דרישות קדם: 88-211, 88-212.
ביבליוגרפיה.
- Weibel, An Introduction to Homological Algebra
- Bourbaki, Algebre Homologique
88-819 הצגות של חבורות קומפקטיות מקומית
88-820 הצגות של אלגברות
1. חזרה על מודולים, תורת וודרבורן, רדיקלים. 2. מודולים פרויקטיביים, מודולים אנג'קטיביים. 3. אלגברות בסיסיות ואלגברות מסלול. 4. תורת אוסלנדר-רייטן. 5. משפט גבריאל. 6. אלגברות חברות-למחצה. 7. שימושים.
88-821 טופולוגיה אלגברית 2
1. הגדרת קומפלקס שרשראות, וההומולוגיה של קומפלקס שרשראות. 2. הגדרת הומולוגיה סינגולרית, תכונות בסיסיות. 3. איזומורפיזם בין ההומולוגיה הראשונה והאבליניזציה של החבורה היסודית. 4. נושאים באלגברה הומולוגית: סדרה ארוכה מדויקת, למת החמישה, הומוטופיית שרשראות, פנקטורים והעתקות טבעיות. 5. סדרת מאיר ויאטוריס. חישוב הומולוגיה של מרחבים שונים. 6. שימושים שונים: משפט נקודת השבת של בראוור, משפט ג'ורדן הכללי, משפט שימור התחום, שדות וקטוריים על ספירות. 7. הומולוגיה יחסית, משפט הקיצוץ. 8. הומולוגיה של מרחבי CW, אלגוריתם לחישוב מפורש של חבורות ההומולוגיה מתוך מבנה ה CW. 9. הומולוגיה עם מקדמים, מציין אוילר.
88-825 גאומטריה אלגברית 2
- מימד, מימד של חיתוך, מימד של סיב.
- תמונה של קבוצה סגורה, משפטים על שיכון.
- דיביזור, אינדקס של חיתוך, דרגה של יריעה.
- דרגה של העתקה, משפט Bezout
- מערכת לינארית, דיביזור קאנוני, העתקה פלוריקאנונית.
- מיון של משטחים
דרישות קדם. גאומטריה אלגברית 1. רצוי גם אלגברה קומוטטיבית.
88-831 אנליזה מרוכבת 1
חזרה על הנושאים הנחוצים מהקורס "פונקציות מרוכבות": משוואות קושי רימן. אנליטיות. פונקציות אנליטיות בסיסיות. נגזרות פורמליות. מסילות ואינטגרציה. נוסחת קושי. משפט קושי. משפט גרין המרוכב. נוסחת קושי-גרין. משפט מוררה. משפט ליוביל. משפט ווירשטרס. עקרון המקסימום. טורי חזקות. פיתוח טיילור. פיתוח לורן. סוגי סינגולריות. פונקציות הרמוניות. עקרון הארגומנט. משפט רושה. התנהגות מקומית של העתקה אנליטית. העתקות בי-לינאריות. משפט ההעתקה של רימן. פיתוח והכללות של מספר נושאים שנלמדו: הכללת משפט מוררה. התנהגות טורי חזקות על השפה. הלמה של בורל-קראתאודורי. גרסה חזקה של משפט ליוביל. גירסה חלשה של משפט פיקרד. הגירסה הכללית של משפט קושי. משפטי הורוביץ. סכימת טורים בעזרת משפט השארית. תכונות גיאומטריות נוספות של העתקות בי-לינאריות. הלמות של שוורץ ושל שוורץ-פיק. כפיפות (Subordination ) של פונקציות. קומפקטיות במרחבים של פונקציות אנליטיות ומשפט מונטל. משפט ויטלי. הוכחת משפט ההעתקה של רימן. פונקציות הרמוניות ובעיית דיריכלה. עקרון השיקוף של שוורץ.
88-833 אנליזה פונקציונלית
(לשעבר "אנליזה מודרנית 2").
- מרחבים לינאריים נורמיים.
- איזומטריה של מרחבים.
- ספרביליות. שלמות. משפט ההשלמה.
- מרחבי הילברט.
- אורתוגונליות. קירוב טוב ביותר.
- בסיסים אורתונורמליים.
- קומפקטיות. משפט ארצלה.
- פונקציונלים לינאריים.
- משפט ההצגה של ריס.
- המרחב הצמוד. התכנסות חלשה ובנורמה.
- משפט האן-בנך.
- אופרטורים לינאריים.
- אלגברה של אופרטורים. אופרטורים הפיכים.
- ספקטרום של אופרטור.
- אופרטורים עם דרגה סופית.
- אופרטורים קומפקטיים.
- משפט האלטרנטיבה של פרדהולם.
- אופרטורים צמודים לעצמם.
- משפט הילברט על אופרטור קומפקטי צמוד לעצמו.
- אופרטורים אינטגרליים.
88-835 אנליזה הרמונית
- טורי פורייה על המעגל. תורת
.
- משפטי התכנסות ותופעת התבדרות של טור פורייה.
- סכימה של טור פורייה על-ידי ממוצעי Fejér.
- אופרטור הזזה. מרחבים אינוואריאנטיים להזזות.
- מקדמי פורייה של מידה. משפט הרגלוץ על סדרת מספרים חיובית לחלוטין.
- מידה ספקטרלית. המשפט הארגודי של פון נוימן.
- התפלגות אסימפטוטית של סדרת נקודות. סיבוב אי-רציונאלי על המעגל.
- טרנספורם פורייה על הישר הממשי. משפט פלנשרל.
- נוסחת הסכום של פואסון.
- עקרון אי-הוודאות.
- טרנפורם פורייה במישור המרוכב. משפט Paley-Wiener.
- דגימה של אותות מוגבלי תדר ובעלי מספר תחומי תדרים. צפיפות של ברלינג-לנדאו.
88-843 אנליזה מודרנית 3
- אופרטורים קומפקטים.
- הגדרה ושרשים קלאסיים.
- תכונות יסודיות וספקטרליות.
- אופרטורים קומפקטים צמודים לעצמם והמשפט הספקטרלי.
- ישומים למד"ח.
- אופרטורים ליניארים במרחבי בנך.
- תכונות יסודיות וספקטרליות.
- המרחב
של אופרטורים ליניארים וחסומים מ-X לתוך עצמו.
- אלגברות בנך.
- הגדרה ותכונות יסודיות.
- הספקטרום והרדיוס הספקטרלי של אלמנט באלגברה.
- הומומורפיסמים מרוכבים ואידיאלים מקסימלים.
- משפט בנך אלאגלו.
- מרחב האידיאלים המקסימלים.
- משפט האינברסיה של וינר.
- אלגברות
והמשפט הספקטרלי.
- הגדרה ודוגמאות של אלגברות
ובפרט
כאשר H מרחב הלברט.
- משפט סטון-וירשטראס.
- משפט גלפנד- ניימרק.
- אופרטורים נורמלים והאלגברות שהן יוצרות.
- מגלפנד-ניימרק למשפט הספקטרלי לאופורטורים נורמלים.
- הגדרה ודוגמאות של אלגברות
88-853 הילוכים אקראיים
הילוכים אקראיים הם אחד מהכלים המרכזיים בהסתברות המודרנית, ולהם שימושים רבים בתחומים רבים במתימטיקה, מדעי המחשב התאורטיים והיישומיים, פיזיקה וביולוגיה. בקורס נלמד על הילוכים מקריים ועל חלק מהתורות והמשפטים המרכזיים בתחום. הקורס מתאים לתלמידי תארים מתקדמים ולתלמידי תואר ראשון מצטיינים.
נושאי הקורס: הילוכים מקריים על גרפים. תכונות של הילוכים מקריים, נשנות וחולפות. מרטינגלים ופונקציות הרמוניות. רשתות חשמליות ופירושן ההסתברותי. הסתברויות חזרה והקשר לתכונות הגרף עליו מוגדר ההילוך. הילוכים מקריים מיוחדים, מערכות חלקיקים ומודלי גידול. מבחר נושאים נוספים לפי הזמן. להלן פירוט:
- הילוך מקרי פשוט על גרף. הילוכים מקריים על השריגים Zd, משפט פוליה על נשנות וחולפות – ההלך השיכור ימצא את ביתו אך הציפור השיכורה עלולה לטעות לעד. הילוכים מקריים על גרפים ממושקלים.
- מרטינגלים בדידים ושימושיהם. משפטי התכנסות, זמני עצירה ומשפטי עצירה.
- פונקציות הרמוניות על גרפים והקשר למרטינגלים, זמני פגיעה והסתברויות פגיעה. תכונת ליוביל.
- רשתות חשמליות והלוכים מקריים. פירוש הסתברותי של פוטנציאל, זרם והתנגדות. זרימות ואנרגיה. משפט תומפסון ועקרון המונוטוניות של ריילי.
- הסתברויות חזרה, גידול נפח, אי-שוויונות איזופרימטריים ואמנביליות.
- מבחר נושאים מתוך הבאים, בהתאם לזמן – מבוא להילוכים מקריים בסביבה מקרית, self avoiding walk, loop erased random walk , עצים פורשים ואלגוריתם וילסון, שרשראות מרקוב, , diffusion limited aggregation, מערכות חלקיקים. שימושים של הילוכים מקריים בתחומים שונים במתמטיקה ומדעים אחרים, תנועה בראונית . והתכנסות של הילוך מקרי מנורמל לתנועה בראונית.
88-854 אלגברות וחבורות לי
- מבוא.
- חבורות טופולוגיות.
- יריעות, שדות וקטוריים (חזרה קצרה).
- חבורות לי.
- העתקות כיסוי וחבורות יסודיות.
- פעולת חבורה ומרחבים הומוגניים.
- אלגברות לי.
- חבורות לי לינאריות:
- הגדרה ודוגמאות. מחלקות מיוחדות.
- ההעתקה האקספוננציאלית.
- ההתאמה בין תת-חבורות ותת-אלגברות.
- חבורות לי קשירות ופשוטות קשר. החבורה היסודית.
- פירוק Iwasawa ל-
עבור
.
- אלגברות לי לינאריות.
- אידיאלים, תת-חבורות נורמליות והומומורפיזמים.
- הומומורפיזמים והצגות.
- אלגברות לי פתירות ונילפוטנטיות.
- נילפוטנטיות.
- פתירות.
- משפט אנגל.
- אלגברות וחבורות לי פשוטות למחצה:
- פירוק ז'ורדן
- תבנית קילינג, קריטריון קרטן ואלגברות לי פשוטות למחצה
- הצגות של
.
- שורשים ומשקלים:
- טורי מקסימליים ושורשים.
- תכונות של מערכות שורשים: שלמות, רציונליות.
- מערכות שורשים פשוטות וחבורות וייל.
- מיון של מערכות שורשים.
- המיון של אלגברות לי פשוטות
דרישות קדם: תורת החבורות. רצוי אלגברה לא קומוטטיבית.
88-856 פולינומים אורתוגונליים
88-861 הצפנה
1. יסודות של הצפנה עם מפתח פומבי (שבוע 2-1) (תזכורת ל-88-577)
פונקציות חד-כיווניות, החלפת מפתחות לפי דיפי-הלמן, הצפנה וחתימה דיגיטלית לפי אל-גמל, מערכות לוגריתם דיסקרטי, התקפות גנריות: צעד תינוק - צעד ענק, אלגוריתמים של פולרד (רו ולמדה), שיטת פוליג-הלמן.
2. עקומים אליפטיים (שבוע 5-3)
משוואת ויירשטרס, דיסקרימיננטה, האינווריאנט j, חוק החבורה, הערכת הסה, מימוש יעיל של מערכות עקומות אליפטיים: קואורדינטות פרויקטיביות, פרוייקטיביות-ממושקלות, קואורדינטות של יעקבי, של צ'ודנובסקי, קואורדינטות מעורבות, צורת מונטגומרי, התקפות על מערכות DLP (סקירה כללית), בסיסי פקטור וחשבון אינדקסים.
3. ספירת נקודות על עקומות אליפטיים מעל שדות סופיים (שבוע 7-6)
תיאור של שיטת שכוף (איזוגניות, פולינומי חילוק, עקבת פרובניוס).
4. מערכות הצפנה המבוססות על ת.ז. (שבוע 12-8)
העתקות דו-לינאריות, החלפת מפתחות תלת-צדדית לפי דיפי-הלמן, זיווג וייל: דיוויזורים, פונקציות רציונליות, נקודות פיתול, בניית זיווג ותכונותיו העיקריות. זיווג טייט-ליכטנבאום, האלגוריתם של מילר לחישוב של זיווגים. מערכות המבוססות על פונקציה חד-כיוונית קידוד-פענוח.
5. מערכות היפר-אליפטיות (שבוע 13)
סקירה כללית.
88-862 סמינר באנליזה
תורת משפחות נורמליות של פונקציות מירומורפיות המוגדרות בתחומים של מישור המרוכב, ונושאים נלווים.
88-870 הסתברות וגאומטריה של חבורות
88-875 מרטינגיילים
88-900 שיטות מתמטיות למשוואות דיפרנציאליות
1 משוואות מסדר ראשון, עקומות מאפיינות, פתרונות מוכללים ופתרונות וריאציונאליים. 2 משוואות מסדר גבוה יותר, בעיות מוצבות היטב. 3 משוואת הגל, משוואת החם, בעיות תנאי התחלה, פתרונות קלאסיים ופתרונות L2. 4 אנליזת פוריה, התפלגויות (distributions). 5 מרחבי סובולב. 6 משוואות אליפטיות. 7 שיטות קלאסיות: פתרונות יסודיים, כלל המקסימום, בעיות שפה למשוואת לפלס, הפרדת משתנים.
88-901 שימושי משוואות דיפרנציאליות
1 חזרה על התיאוריה הקלאסית של משוואות אליפטיות מסדר 2. 2 שיטות שונות, קלאסיות ואחרות, לפתרון בעיות שפה למשוואות אליפטיות מסדר 2. 3 אנליזה פונקציונאלית למרחבים שונים של התפלגויות (distributions). 4 אופרטורים פסידו-דפנרציאליים והשימוש בהם בפתרון בעיות אליפטיות. תורת הרגולריות ופרמטריסים. 5 שיטות של אופרטורים פסידו-דיפרנציאליים למשוואות היפרבוליות. אנליזה מיקרולוקאלית וההתקדמות של סינגולריות. 6 אנליזה פונקציונאלית לא לינארית: תיאורית נקודות שבט ותיאורית דרגה (degree theory). 7 תורת ההסתעפויות.
88-902 שיטות נומריות מתקדמות
1. מבוא לבעיות אליפטיות . 2. ניסוח וריאציונאלי. קיום ויחידות. 3. השיטה של גלרקין. שיטת של האלמנטיים הסופיים. 4. התכנסות וערכות של השגיאה. דוגמאות. מבוא לבעיות פרבוליות משוואת החום 5. שיטה ספקטראלית. ערכים עצמים ווקטורים עצמים. מבוא לבעיות "mixed" . 6. מבוא לבעיות היפרבוליות לא לינאריות. 7. המשוואה של Burgers.שיטת האופיינים. 8. פתרון חלש- אנטרופיה. 9. שיטות נומריות לבעיות היפרבוליות לא לינאריות.
88-906 תורת הקטגוריות
- מבוא: דוגמאות חשובות של קטגוריות: העצמים וההעתקות המתאימות ((Set)),((Mon)),((Group)),((Ab)),((Top)),((Top,*)),((k-Vect)),((R-Mod)),((k-Alg))
- אקסיומות של קטגוריה.
- פונקטר קוווריאנטי וקוטרהווריאנטי וטרספורמציה טבעית.
- בעיות ביסודות תורת הקבוצות וקטגוריות "קטנות".
- הפונקטור המצורף (adjoint) מימין ומשמאל. פונקטור השיכחה. יחידה וקו-יחידה.
- הלמה של יונידה.
- התאוריה של קן.
- קטגוריות חיבוריות וקטגוריות אבליות
- שקילות בין קטגויות
- קומפלקסים, הומולוגיה והומוטופיה של קומפלקסים סימפליציאליים
- דוגמה: קומפלקסים, הומולוגיה והומוטופיה של מודולים מעל אלגברה ממימד סופי
- Categories for the Working Mathematician, Saunders MacLane
- Category Theory for Scientists (Old Version),free online
88-912 תבניות ריבועיות
- בעיות קלאסיות בתורת המספרים; מקורות נוספים לתבניות ריבועיות.
- איזומורפיזם של תבניות ופעולות (סכום ישר, מכפלה טנזורית).
- תבניות היפרבוליות. הפירוק לחלק היפרבולי וחלק איזוטרופי.
- חוג וויט. האידיאל היסודי.
- הדיסקרימיננטה.
- תבניות מעל שדה הממשיים ושדה המרוכבים.
- תבניות מעל שדה סופי.
- שדות מקומיים; הלמה של הנזל. תבניות מעל שדה מקומי.
- שדות סדורים; סידורים של שדות מספרים; אינווריאנט סילווסטר.
- משפט על הפיתול של ההעתקה מחוג וויט לאינווריאנטים של הסדר.
- אלגברות קליפורד.
- אלגברות קווטרניונים וחבורת בראוור. האינווריאנט של Hasse-Witt.
- תבניות ריבועיות מעל הרציונליים. עקרון Hasse.
- תבניות מעל השלמים ה-p-אדיים.
- תבניות מעל השלמים: הגנוס, הגנוס הספינורי. משפט ה-15 ומשפט ה-290.
88-922 סמינר במתמטיקה שימושית
כל סטודנט יכין הרצאה או בנושא כללי (כגון: שימושים במד"ח, מודלים בביולוגיה, מודלים בכלכלה, שיטות חישוביות, עיבוד תמונה) או על מאמר חשוב ומרכזי בתחום.
הדגש בסמינר יהיה יותר על הבנת הבסיס בתחום הנבחר - רקע, מוטיבציה (למה זה מעניין?), דוגמאות, הבנת הבעיה (למה זה קשה?) וגישה לפתרון.
88-962 הסתברות ותהליכים סטוכסטיים
- חזרה על עיקרי תורת ההסתברות
- משתנים מקריים
- התפלגויות הסתברותיות
- מומנטים
- פונקציות יוצרות
- חוק המספרים הגדולים
- משפט הגבול המרכזי
- תהליכים סטוכסטיים
- הגדרה ודוגמאות
- תהליך מרקוב
- תהליך נייח (סטציונרי)
- תהליך בעל תוספות בלתי-תלויות
- שרשרות מרקוב בזמן רציף
- תהליך פואסון
- תהליך לידה ומוות
- תהליכי התחדשות
- תנועה בראונית
- תהליכי הסתעפות
- מרטינגלים