רשימת הקורסים לתואר ראשון - תשע"ה
Transcription
רשימת הקורסים לתואר ראשון - תשע"ה
החוג למתמטיקה הפקולטה למדעי הטבע Department of Mathematics Faculty of Natural Sciences שנת הלימודים תשע"ה קורסים לתואר ראשון עדכון אחרון021201.5 : קורסי חובה חדו''א א' 51111112 , קדם :אין המספרים הממשיים; סדרות ממשיות :חסימות והתכנסות ,גבולות חלקיים .פונקציות של משתנה ממשי :רציפות ,גזירות ,משפטי ערך ביניים ,נוסחת טיילור .חקירת פונקציות; האינטגרל הלא -מסוים. סמסטר סמסטר א' סמסטר ב' סוג שם הקורס שיעור חדו''א א' תרגיל* חדו''א א' שיעור תרגיל מרצה פרופ' קובי פתר מר זידאן עבאס מר אריאל זילבר שעות 4 2 נ''ז 5 זמנים א' + 14-16 ,ג'11-12 , .1א'8-11 , .2ג'8-11 , ד"ר עמי ויסלטר 4 2 5 א' + 12-14 ,ב'8-11 , .1א'11-12 , *יש לבחור תרגיל אחד חדו''א ב' 51111121 , קדם :חדו''א א' ()211.1115 שיטות חישוב אינטגרלים בלתי מסוימים .המושג של אינטגרל מסוים לפי רימן ותכונותיו .משפחות של פונקציות אינטגרביליות. הקשר בין האינטגרל המסוים והאינטגרל הלא מסוים .אינטגרל לא אמיתי .טורי מספרים .סדרות וטורים של פונקציות .טורי חזקות .רציפות ודיפרנציאביליות של פונקציות של שני משתנים .נגזרות חלקיות ומכוונות ,אקסטרמום בכמה משתנים. בסמסטר א' ,תשע"ה הקורס הינו קורס מתוקשב במלואו 1על התלמידים לעקוב אחר פרסומים בנוגע למפגשים עם המרצה1 סמסטר סמסטר א' שם הקורס חדו''א ב' סוג שיעור תרגיל מרצה פרופ' שי גירון מר קאי ברשד סמסטר ב' חדו''א ב' שיעור תרגיל* ד"ר יעל אלגום-כפיר *יש לבחור תרגיל אחד שעות 4 2 4 2 זמנים נ''ז 5קורס מתוקשב .1ד'14-16 , 5 ב' + 8-11 ,ד'11-12 , .1א'16-18 , .2ד'8-11 , אלגברה ליניארית א' 51111512 , קדם :אין מערכות משוואות ליניאריות .שיטת גאוס .מטריצות ,פעולות עם מטריצות .מרחבי וקטורים .תלות ליניארית .בסיס ומימד .העתקות ליניאריות .פעולות עם מרחבי וקטורים( .סכום ישיר ,מרחב מנה ,מרחב דואלי) .שדות :מספרים מרוכבים ,שדות סופיים. מרצה סמסטר שם הקורס סוג סמסטר א' אלגברה ליניארית א' שיעור תרגיל* פרופ' דוד בלנק גב' נרדין מעלוף מר אכרם סאלח סמסטר ב' אלגברה ליניארית א' שיעור תרגיל ד"ר פרול זפולסקי שעו ת 4 2 נ''ז 4 2 זמנים 5 ב' + 12-14 ,ד'12-14 , .1א'11-12 , .2ד'8-11 , 5 ב' + 14-16 ,ד'12-14 , .1ב'16-18 , *יש לבחור תרגיל אחד אלגברה ליניארית ב' 51111521 , קדם :אלגברה ליניארית א' ()211.1215 דטרמיננטות – תמורות .ערכים ווקטורים אופיניים .פולינום אופייני ופולינום מינימלי .צורות קנוניות .מכפלה פנימית ונורמה. המשפט הספקטורלי .תבניות ביליניאריות. סמסטר סמסטר א' שם הקורס אלגברה ליניארית ב' סוג שיעור תרגיל מרצה פרופ' ולדימיר חיניץ מר קאי ברשד סמסטר ב' אלגברה ליניארית ב' שיעור תרגיל* ד"ר אנה מלניקוב זמנים שעות נ''ז 5ב' + 12-14 ,ג'16-18 , 4 .1ד'8-11 , 2 4 2 א' + 14-16 ,ה'14-16 , .1א'18-21 , .2ה'16-18 , 5 *יש לבחור תרגיל אחד גיאומטריה אנליטית 51111012 , קדם :אלגברה ליניארית א' ()211.1215 וקטורים במישור ובמרחב ,פעולות על ווקטורים ,מכפלה סקלרית והזווית בין ווקטורים ,מכפלה וקטורית ומעורבת ,משוואות של ישרים ,מעגלים ,מישורים וכדורים ,העתקות לינארית ואפיניות ,מעברי קורדינטות ,שניוניות בשניים ובשלושה משתנים ומיונן. סמסטר סמסטר א' שם הקורס גיאומטריה אנליטית סמסטר ב' גיאומטריה אנליטית *יש לבחור תרגיל אחד סוג שיעור תרגיל שיעור תרגיל* מרצה ד"ר יעל אלגום-כפיר מר זידאן עבאס ד"ר אלי ברגר שעות 4 2 4 2 נ''ז 5 5 זמנים ב' + 11-12 ,ד'12-14 , .1ב'14-16 , א' + 8-11 ,ה'11-12 , .1א'11-12 , .2ה'8-11 , מתמטיקה דיסקרטית 51111212 , קדם :אין מושגים בלוגיקה ,שיטות הוכחה ,אינדוקציה .קבוצות :פעולות יסודיות ,עוצמה ,יחסים :שקילות ,סדר ,פונקציות .יסודות הקומבינטוריקה :תמורות ,חליפות וצירופים ,משוואות ה פרשים ,פונקציות יוצרות .מושגי יסוד בתורת הגרפים. סמסטר סמסטר א' סוג שם הקורס מתמטיקה דיסקרטית שיעור תרגיל* מרצה פרופ' תאופיק מנסור מר עבאס זידאן מר אורן ירושלמי סמסטר ב' מתמטיקה דיסקרטית שיעור תרגיל פרופ' אלק ויינשטיין זמנים שעות נ''ז 5ב' + 8-11 ,ד'11-12 , 4 .1א'12-14 , 2 .2א'16-18 , 5 4 2 ב' + 12-14 ,ד'14-16 , .1ג'14-16 , *יש לבחור תרגיל אחד מבוא למדעי המחשב 51111051 , 51111051 , קדם :אין יסודות התכנות .תכנות בשפת סי .מבנה סכמטי של המחשב ,ארגון וייצוג מידע ,שפות תכנות .מושגי יסוד בתכנות :קבועים, משתנים ,ביטויים ,פעולות חשבוניות ,לוגיות ,פעולות על סיביות .מבני בקרה :הסתעפויות ,לולאות .פונקציות ,פרמטרים .הנחיות למהדר .מחרוזות ומערכים .מצביעים .רשומות .קבצים .רקורסיה. סמסטר סמסטר א' שם הקורס מבוא למדעי המחשב מרצה ד''ר ג'ק וינשטין מר מוחמד ברהם סוג שיעור תרגיל שעות נ''ז 4 4 2 זמנים ג'12-16 , .1א'18-21 , מבוא לשיטות תכנות 51111052 , קדם :מבוא למדעי המחשב ()211.1021( )211.1021 מתודולוגיה של תכנות מונחה עצמים :אובייקטים פרטיים וציבוריים ,מחלקות ,ירושה ,ממשקים ,בנאים. יישום מבני נתונים בסיסיים בעזרת תכנות מונחה עצמים :רשימות ,תורים ,מחסניות ,עצים. הקורס יועבר בשפת התכנות JAVAויילמדו גם הנושאים הבאים :הספרייה הסטנדרטית ,עבודה עם קבצים ,בקרת שגיאות, ממשקים גרפיים. סמסטר סמסטר ב' שם הקורס מבוא לשיטות תכנות סוג שיעור תרגיל מרצה פרופ' רפי יוסטר שעות נ''ז 4 3 2 זמנים ג'16-21 , .1ג'12-14 , אלגברה מודרנית א' 51115111 , קדם :אלגברה ליניארית א' ()211.1215 צמוד :אלגברה ליניארית ב' ()211.1251 חבורות :תכונות בסיסיות ,משפט לגרנז' .חבורות מחזוריות ,תתי חבורות וחבורות מנה .פעולת חבורה על קבוצה. חוגים ושדות :תכונות בסיסיות חוגי פולינומים ומטריצות ,חוגים קומוטטיביים .תחומי שלמות .אידיאלים ראשיים .חוגים אויקלידים ,חוגים ראשיים ופירוק יחיד לגורמים .חוגי מנה .הרחבה אלגברית של שדה .שדה פיצול .שדות סופיים .נושאים נוספים. סמסטר סמסטר א' סוג שם הקורס אלגברה מודרנית א' שיעור תרגיל מרצה ד"ר אנה מלניקוב מר יוסף עראבי סמסטר ב' אלגברה מודרנית א' שיעור תרגיל פרופ' ולדימיר חיניץ שעות 4 2 נ''ז 5 זמנים ג' + 11-12 ,ה'16-18 , .2ה'14-16 , 4 2 5 ב' + 16-18 ,ד'12-14 , .1ב'18-21 , חדו''א ג' 51115112 , קדם :חדו''א ב' ( ) 211.1151אלגברה ליניארית ב' ()211.1251 חשבון דיפרנציאלי ואינטגרלי של פונקציות של משתנים אחדים .אקסטרמום מקומי ומותנה (שיטת כופלי לגרנז') משפט הפונקציות הסתומות וההפוכות ,שדות משמרים .אינטגרלים מסילתיים ,אינטגרציה בכמה משתנים ,החלפת משתנים באינטגרציה. אינטגרציה על משטחים ,משפט גרין ,משפט גאוס .משפט סטוקס .טורי פוריה. סמסטר סמסטר א' שם הקורס חדו''א ג' סוג שיעור תרגיל מרצה ד"ר יעל אלגום-כפיר מר שלמה אשל זמנים שעות נ''ז 5ב' + 12-14 ,ד'8-11 , 4 .1ד'14-16 , 2 סמסטר ב' חדו''א ג' שיעור תרגיל פרופ' תאופיק מנסור א' + 11-12 ,ג'8-11 , .1ד'11-12 , 5 4 2 משד''פ 51115152 , קדם :חדו''א ב' ( )211.1151אלגברה ליניארית ב' ()211.1251 צמוד :חדו"א ג' ()211.2115 מיון משוואות דיפרנציאליות רגילות ,משפטי קיום ויחידות ,פתרון משוואות מסדר ראשון ,משוואות ומערכות ליניאריות ,פתרון משוואות ומערכות עם מקדמים קבועים ,פתרון בעזרת טורים ,יציבות הפתרונות ,מערכות שטורם ליוביל. סמסטר סמסטר א' שם הקורס משד''פ סוג שיעור תרגיל מרצה פרופ' אלכסנדר קוז'בניקוב גב' נרדין מעלוף סמסטר ב' משד''פ שיעור תרגיל פרופ' תאופיק מנסור שעות 4 2 נ''ז 5 זמנים א' + 16-18 ,ד'12-14 , .1א'12-14 , 4 2 5 א' + 8-11 ,ג'11-12 , .1ג'14-16 , פונקציות מרוכבות 51115101 , קדם :חדו''א ג' ()211.2115 פונקציות אנליטיות והרמוניות ,משואות קושי-רימן ,משפט קושי ,נוסחאות קושי ושימושיהן ,משפט ליוביל ,תכונת הממוצע ,פיתוח לטור טיילור וטור לורן ,מיון נקודות סינגולריות מבודדות ,משפט השארית ,עקרון הארגומנט ,משפט רושה ,משפט ההעתקה הפתוחה ,עקרון המקסימום ,טנספורמציות מביוס ,הלמה של שוורץ ,מבוא להעתקות קונפורמיות. סמסטר סמסטר א' שם הקורס פונקציות מרוכבות סוג שיעור תרגיל מרצה ד"ר פרול זפולסקי מר יוסף עראבי סמסטר ב' פונקציות מרוכבות שיעור תרגיל פרופ' קובי פתר שעות נ''ז 4 3 2 3 2 4 זמנים ב'13-16 , .1ד'8-11 , ד'8-11 , .1ה'8-11 , הסתברות וסטטיסטיקה 51115102 , קדם :חדו''א ב' ( )211.1151אלגברה ליניארית א' ( )211.1215מתמטיקה דיסקרטית ()211.1515 מושגים בסיסיים :הסתברות ושכיחות מרחב הסתברות .קומבינטוריקה :חלוקות צירופים ותמורות הבינום .הסתברות מותנית אי- תלות .סיגמה-אלגבראות ומידות הסתברות כלליות .משתנים מקריים :התפלגות וצפיפות תוחלת ושונות אי-שויון צ'בישב ההתפלגות הבינומית .התפלגות פואסון ההתפלגות הנורמאלית .למות בורל-קנטלי .חוקי המספרים הגדולים משפט הגבול המרכזי. סטטיסטיקה מתמטית. סמסטר סמסטר ב' סוג שיעור תרגיל שם הקורס הסתברות וסטטיסטיקה זמנים שעות נ''ז 4ה'16-19 , 3 .1ד'18-21 , 2 מרצה פרופ' רפי יוסטר מבוא לתורת הקבוצות האינסופיות 51115251 , קדם :מתמטיקה דיסקרטית ()211.1515 מושג העצמה .סדר ופעולות חשבון בעצמות .משפט קנטור ברנשטיין .קבוצות סדורות וטיפוסי סדר .סדר טוב .אכסיומת הבחירה. משפט הסדר הטוב .הלמה של צורן ושימושיה. סמסטר סמסטר א' שם הקורס מבוא לתורת הקבוצות האינסופיות סוג שיעור תרגיל מרצה פרופ' קובי פתר מר שלמה אשל מר שלמה אשל שעות 2 2 נ''ז 3 זמנים ג'8-11 , .1ב'11-12 , .2ד'11-12 , סמסטר ב' מבוא לתורת הקבוצות האינסופיות שיעור תרגיל ד"ר אלי ברגר 2 2 3 א'12-14 , .1ד'14-16 , טופולוגיה 51115252 , קדם :חדו''א ב' ( )211.1151מבוא לתורת הקבוצות האינסופיות ()211.2521 מרחבים מטריים :קבוצות פתוחות וסגורות במרחב מטרי ,שלמות של מרחב מטרי .מרחב טופולוגי ,תת-מרחב; פנים ,חוץ ,שפה וסגור של תת-קבוצה ,השוואת טופולגיות ,מטריקות ונורמות ,פונקציות רציפות ,הומיאומורפיזם ושיכון .בניות טופולוגיות :מרחבי מכפלה ומנה .תכונות טופולוגיות :קשירות וקשירות מסילתית ,ספראביליות ,תכונות הפרדה .קומפקטיות במרחבים טופולוגיים ומטריים ,מרחבי פונקציות ,משפט סטון-ויירשטראס ,משפט נקודת השבת של בנך. סמסטר סמסטר ב' שם הקורס טופולוגיה סוג שיעור תרגיל מרצה פרופ' לאוניד זלנקו זמנים שעות נ''ז 5א' + 12-14 ,ה'12-14 , 4 .1ד'14-16 , 2 אנליזה נומרית 51115021 , קדם :חדו''א ב' ( )211.1151אלגברה ליניארית א' ( )211.1215מבוא למדעי המחשב ()211.1021 שגיאות חישוב .שיטות פתרון משוואות לא לינאריות :שיטת החציה ,נקודת שבת .שיטת ניוטון – רפסון ) ,מהירות ההתכנסות ושיטות להאצתה .מערכות לינאריות :האלגוריתם של גאוס ,פרוק מטריצות ,שיטת ג'קובי ,שיטת גאוס – זיידל. אינטרפולציה על ידי פולינומים ,שיטת לגרנז' ,ניוטון-ראפסון והרמיט .שימושים של אינטרפולציה. קירוב בשיטת ריבועים מינימליים פולינומים אורתוגונליים ושימושיהם .גזירה ואינטגרציה נומרית. הפולינומים של ברנשטיין .פונקציות ספליין. סמסטר סמסטר א' שם הקורס אנליזה נומרית סוג שיעור תרגיל מרצה ד''ר איתן לפידות גב' ניהאל שחאדה שעות 3 2 נ''ז 4 זמנים ה'8-11 , .1ד'16-18 , מבני נתונים 51115001 , קדם :מתמטיקה דיסקרטית ( )211.1515מבוא לשיטות תכנות ()211.1025 מבוא לניתוח אלגוריתמים; מבני נתונים מופשטים; רשימות ,מחסניות ,תורים; עצי חיפוש בינאריים ועצים מאוזנים; האש; תורי עדיפויות; ערימות; אלגוריתמי מיון; מבנה נתונים לקבוצות זרות; שיטות לתכנון אלגוריתמים. סמסטר סמסטר א' שם הקורס מבני נתונים סוג שיעור תרגיל מרצה פרופ' לאה אפשטיין מר מוחמד ברהם שעות 3 2 נ''ז 4 זמנים ה'11-14 , .1ד'18-21 , מבנה המחשב ושפות סף 51115012 , קדם :מבוא לשיטות תכנות () 211.1025 המבנה הנגיש לתכנות של המעבד המרכזי ,אוגרים ,שפת מכונה ,שפת אסמבלי .מימוש תוכניות ברמת שפת המכונה (והאסמבלי) קישור לשפות תכנות עילית ,מנגנון הפסיקות ,המעבד המתמטי ,קלט/פלט. סמסטר סמסטר א' שם הקורס מבנה המחשב ושפות סף סוג שיעור תרגיל מרצה ד"ר איתן רון שעות 3 2 נ''ז 4 זמנים ג'14-10 , .1ג' 18-21 תכנון וניתוח אלגוריתמים 51115011 , קדם :מבני נתונים () 211.2001 אלגוריתמים בגרפים :חיפוש לרוחב ,חיפוש לעומק ,מיון טופולוגי ,רכיבי קשירות חזקה ,עצים פורשים מינימליים ,מרחקים קצרים ביותר (ממקור יחיד ובין כל בזוגות) ,זרימה ברשתות ושימושיה .אלגוריתמים אלגבריים .מבוא לסיבוכיות. סמסטר סמסטר ב' שם הקורס תכנון וניתוח אלגוריתמים סוג שיעור תרגיל מרצה פרופ' לאה אפשטיין שעות 4 2 נ''ז 5 זמנים ה' + 11-12 ,ה'14-16 , .1א'14-16 , מבוא לאנליזה פונקציונלית 51110112 , קדם :חדו''א ג' ( )211.2115טופולוגיה ()211.2525 מבוא למרחבי מידה מידה חיצונית ומידת לבג משפטי התכנסות .מרחבי בנך :המרחב הצמוד ומשפט האן-בנך משפט ההעתקה הפתוחה מרחבי הילברט מערכות אורתונורמליות ,המערכת הטריגונומטרית. סמסטר סמסטר א' שם הקורס מבוא לאנליזה פונקציונלית סוג שיעור מרצה ד"ר עמי ויסלטר שעות 4 נ''ז 4 זמנים ב' + 11-12 ,ד'14-16 , אלגברה מודרנית ב' 51110111 , קדם :אלגברה מודרנית א' ()211.2111 חבורות פתירות ונילפוטנטיות .משפטי .Sylowחבורות גלואה .המשפט היסודי של תורת גלואה .פתרון משוואה אלגברית על ידי הוצאת שורשים. סמסטר סמסטר ב' שם הקורס אלגברה מודרנית ב' סוג שיעור תרגיל מרצה פרופ' ולדימיר חיניץ שעות 4 2 נ''ז 5 זמנים ב' + 14-16 ,ד'16-18 , .1ב'12-14 , נושאים נבחרים בגיאומטריה 51110112 , קדם :חדו''א ג' ( ,)211.2115טופולוגיה ()211.2525 טרנספורמציות גיאומטריות .מרחבים איקלידיים ,אפיניים ופרוייקטיביים .גיאומטריה היפרבולית וספירית .גיאומטריה דיפרנציאלית של עקומים חלקים :אורך מסילה ,משיק ,מישור ומעגל נושק ,עקמומיות ,פיתול ,מערכת פרנה ,משפט פרנה. גיאומטריה דיפרנציאלית קלאסית של משטחים משוכנים במרחב :פרמטריזציות ,מישור משיק ,ניצב ,התבניות היסודיות, עקמומיות גיאודסית ,נורמאלית ,וגאוסיאנית .עקומים במשטח ,גיאודסים .ה ,Theorema Egregium-משפט גאוס -בונה. סמסטר סמסטר א' סוג שם הקורס נושאים נבחרים שיעור בגיאומטריה מרצה פרופ' דוד בלנק שעות 4 נ''ז 4 זמנים ב' + 8-11 ,ד'11-12 , מערכות הפעלה 51110112 , קדם :מבני נתונים ( )211.2001מבנה המחשב ושפות סף ()211.2085 תפקידי מערכת ההפעלה ,מבנה מערכת ההפעלה ,מושג הגרעין של מערכת ההפעלה .תאור מימוש מערכות ניהול התהליכים ושיטוף זמנים .ניהול הזיכרון ,ניהול מנגנון הפסיקות ,ניהול מערכות קלט/פלט .משאבי מערכת ,קריאות מערכת :שימוש ושיטות מימוש. סמסטר סמסטר ב' שם הקורס מערכות הפעלה סוג שיעור תרגיל מרצה ד"ר איתו רון שעות 4 2 נ''ז 5 זמנים א' + 14-16 ,ג'16-18 , .1ג'18-21 , קורסי בחירה סמסטר א' אלגוריתמים לבעיות תזמון51110110 , קדם :תכנון וניתוח אלגוריתמים ()211.2091 הקורס עוסק בבעיות תזמון ,ובעיקר בעיות הניתנות לפתרון יעיל ופשוט ,או לפתרון מקורב יעיל ופשוט .נושאי הקורס :מבוא שימושים ומדדים; בעיות עזר באופטימיזציה קומבינטורית; שיטות אלגוריתמיות לתזמון; בעיות במכונה אחת עם מאפיינים שונים (זמני התחלה ,זמני סיום ,משקלים ,ועוד) ,תלות בין משימות ואפשרות הקדמת משימות; בעיות על מכונות מרובות; משימות בעלות מספר חלקים; מודלים של מצבורי משימות ומודלים נוספים. סמסטר סמסטר א' שם הקורס אלגוריתמים לבעיות תזמון סוג שיעור מרצה פרופ' לאה אפשטיין שעות 4 נ''ז 4 זמנים א'16-21 , אנליזה נומרית מתקדמת51110550 , קדם :חדו"א ג' ( ,)211.2115משד"פ ( ,)211.2125אנליזה נומרית ()211.2051 פונקציות הספליין והספליין המעוקב .קרובים לאינטגראלים מרובים .שיטות נומריות באלגברה ליניארית שיטת חולסקי .מבוא לאנליזה פונקציונלית ושיטות נומריות משפט נקודת השבת של בנך טיפול במערכות בעייתיות .משוואות דיפרנציאליות רגילות. סמסטר סמסטר א' שם הקורס אנליזה נומרית מתקדמת סוג שיעור מרצה פרופ' תאופיק מנסור זמנים שעות נ''ז 4ב' + 12-14 ,ד'12-14 , 4 קורס יסוד באלגברה51110011 , קדם :אלגברה מודרנית א' ()211.2111 אידיאלים בחוגים קומוטטיביים ,מודולים ,חוגי נתר ,פירוקים פרימריים ,תלות אינטגרלית ,משפט האפסים ומשפט הבסיס של הילברט ,סדרות רגולריות ,מימד קרול .נושאים ביריעות אפיניות .תלמידים שלמדו את הקורס "אלגברה קומוטטיבית" אינם רשאים להירשם לקורס זה1 סמסטר סמסטר א' סוג שיעור שם הקורס קורס יסוד באלגברה מרצה פרופ' עמירם בראון זמנים שעות נ''ז 4ב' + 16-18 ,ה'14-16 , 4 אלגבראות לי51110011 , קדם :אלגברה מודרנית א' ()211.2111 אלגבראות לי נילפוטנטיות ופתירות – משפט אנגל ומשפט לי .תבנית קילינג .מיון אלגבראות פשוטות למחצה .תת-אלגברת קרטאן ומערכות שורשים. סמסטר סמסטר א' שם הקורס אלגבראות לי סוג שיעור מרצה פרופ' עמירם בראון זמנים שעות נ''ז 4ב' + 14-16 ,ה'16-18 , 4 קורס יסוד בגיאומטריה וטופולוגיה51110011 , קדם :חדו"א ג' ( ,)211.2115טופולוגיה ()211.2525 צמוד :נושאים נבחרים בגיאומטריה ()211.3115 יריעו ת חלקות :פרמטריזציה ,אטלסים ,פונקציות מעבר ,האגד המשיק ,העתקות חלקות והדיפרנציאל ,משפט השיכון .ערכים רגולריים, טרנברסליות ,משפט הטרנסברסליות ,משפט סארד .שדות וקטוריים .תבניות סימטריות ואנטי סימטריות ,אלגברה חיצונית ,תבנית חלקות. קומפלקס דה ראם ,קוהומולוגיית דה ראם ושימושים.תלמידים שלמדו את הקורס "טופולוגיה דיפרנציאלית" אינם רשאים להירשם לקורס זה1 סמסטר סמסטר א' שם הקורס קורס יסוד בגיאומטריה וטופולוגיה מרצה סוג שיעור ד"ר פרול זפולסקי זמנים שעות נ''ז 4ב' + 18-21 ,ה'18-21 , 4 משוואות דיפרנציאליות חלקיות51110011 , קדם :משד''פ ( ,)211.2125פונקציות מרוכבות ()211.2131 המיון והצורה הקנונית של המשוואות החלקיות .משפטי קיום ויחידות .הפרדת משתנים .פונקציות מיוחדות .עיקרון המינימקס. פונקציית גרין .שיטות נומריות למשוואות דיפרנציאליות חלקיות. סמסטר סמסטר א' שם הקורס משוואות דיפרנציאליות חלקיות סוג שיעור מרצה פרופ' אלכסנדר קוז'בניקוב זמנים שעות נ''ז 4א' + 12-14 ,ד'16-18 , 4 מבוא לאנליזה פוריה ותורת האדוות51110055 , קדם :חדו"א ג' ( ,)211.2115פונקציות מרוכבות ()211.2131 מערכות אורתוגונליות ,טור פו ריה טריגונומטרי וטרנספורם פוריה על מעגל .טרנספורם פוריה על ציר ממשי ושיטות חישובו .אדות אב ) ,(father waveletאנליזה רב-קנה-מידתית ) ,(multiresolution analysisמשואת קנה מידה ) ,)scaling equationמסנן ובניה של אדוה .דוגמאות של אדוות :פונקצית ,Haarאדות Mayerואדוות איפוציות ) .(spline waveletsשמוש באדוות בעיבוד אותות ) 1(signal processingתלמידים שלמדו את הקורס "אנליזת פוריה ושימושיה" ( )51110010אינם רשאים להירשם לקורס זה1 סמסטר סמסטר א' שם הקורס מבוא לאנליזה פוריה ותורת האדוות מרצה סוג שיעור פרופ' לאוניד זלנקו זמנים שעות נ''ז 4ב' + 11-12 ,ד'14-16 , 4 גרפים ומטרואידים51110111 , קדם :חדו"א ב' ( ,)211.1151מתמטיקה דיסקרטית ()211.1515 מטרואידים ככלי לחקירת גרפים ע"י בחינת קבוצות הצלעות ללא מעגלים; דוגמאות נוספות למטרואידים :מטרואיד חלוקה וקבו צות בלתי תלויות לינארית של וקטורים; הגדרות שקולות של מטרואידים :קבוצות בלתי תלויות ,מעגלים ,בסיסים ,דרגה, קבוצה נפרשת; מינורים של מטרואידים; קשירות מטרואידים; משפטי אפיון למטרואידים גרפיים ולמטרואידים של גרפים מישוריים; חקירת גרפים דו-צדדים כזוג מטרואידי חלוקה על אותה קבוצה. סמסטר סמסטר א' שם הקורס גרפים ומטרואידים סוג שיעור מרצה ד"ר אלי ברגר שעות 4 נ''ז 4 זמנים א' + 14-16 ,ג'16-18 , סמסטר ב' מימוש אלגוריתמים בתוכנה51110111 , קדם :מבני נתונים ()211.2001 מטרת הקורס היא להמחיש את הפן המעשי של תכנון אלגוריתמים ומימושם .כל צוות יבחר נושא לפרויקט בתיאום עם המרצה מתוך מגוון אפשרויות .פרויקטים לסטודנטים לתארים מתקדמים יהיו בגוון מחקרי ,ואלו לתואר ראשון יתמקדו במימוש יעיל של אלגוריתמים .הפרויקט יתבצע במהלך הסמסטר וההגשה תהיה כחודשיים לאחר תום הסמסטר .נושאי הפרויקטים יכללו בין היתר: השוואת ביצועי אלגוריתמים שונים לבעיית אופטימיזציה אחת ,הוכחות באמצעות מחשב ,מימוש אלגוריתמים מתקדמים ,תכנון ומימוש יוריסטיקות .הקורס יכלול מספר מפגשים קבוצתיים פרונטאליים בתחילת הסמסטר ופגישות מעקב פרטניות בהמשך. סמסטר סמסטר ב' סוג שיעור שם הקורס מימוש אלגוריתמים בתוכנה מרצה פרופ' לאה אפשטיין שעות 4 נ''ז 4 זמנים ב'16-21 , אלגברה מודרנית ב' 51110012 , קדם :אלגברה מודרנית א' ()211.2111 חבורות פתירות ונילפוטנטיות .משפטי .Sylowחבורות גלואה .המשפט היסודי של תורת גלואה .פתרון משוואה אלגברית על ידי הוצאת שורשים. סמסטר סמסטר ב' שם הקורס אלגברה מודרנית ב' סוג שיעור תרגיל מרצה פרופ' ולדימיר חיניץ שעות 4 2 נ''ז 4 זמנים ב'+ 14-16 ,ד'16-18 , .1ב'12-14 , תורת החבורות 51110015 , קדם :מתמטיקה דיסקרטית ( ,)211.1515אלגברה מודרנית א' ()211.2111 פעולות של חבורה על קבוצה; משפטי סילאו; חבורות אבליות ,נילפוטנטיות ופתירות סופיות; -Pחבורות סופיות ,חבורה סימטרית וחבורה ליניארית כללית מעל שדה סופי; חבורות חופשיות. סמסטר סמסטר ב' שם הקורס תורת החבורות סוג שיעור מרצה ד"ר אנה מלניקוב שעות 4 נ''ז 4 זמנים א'+ 18-21 ,ה'11-12 , חבורות לי 51110051 , קדם :אלגברה מודרנית א' ( ,)211.2111חדו''א ג' ()211.2115 חבורות מטריצות קלאסיות .חבורות טופולוגיות .יריעות חלקות .חבורות לי :הגדרות ותכונות בסיסיות .המישור המשיק ,שדות ווקטוריים ,ואלגבראות לי .ההעתקה המעריכית .תת -חבורות ותת-אלגבראות ,המשפטים היסודיים של לי. סמסטר סמסטר ב' שם הקורס חבורות לי סוג שיעור מרצה פרופ' דוד בלנק שעות 4 נ''ז 4 זמנים א' + 16-18 ,ה'12-14 , מבוא לגיאומטריה רימנית51110012 , קדם :אלגברה לינאירת ב' ( ,)211.1251גיאומטריה אנליטית ( ,)211.1315חדו"א ג' ( ,)211.2115משד"פ ( ,)211.2125טופולגיה ( ,)211.2525נושאים נבחרים בגיאומטריה ()211.3115 גיאומטריה דיפרנציאלית של עקומים ומישטחים במרחב -Nממדי .יריעה דיפרנציאלית .חשבון טנזורי .מתריקה רימנית ונגזרת קובריאנטית .קווים גיאודזיים .טנסור עקמומיות .שדה וקטורי של .Jacobiעקמומיות וטופולוגיה .המתריקה התלויה בזמן. סמסטר סמסטר ב' סוג שיעור שם הקורס מבוא לגיאומטריה רימנית זמנים שעות נ''ז 4א' + 12-14 ,ד'11-12 , 4 מרצה פרופ' ולדימיר רובנסקי לוגיקה ותורת המודלים 51110015 , קדם :אלגברה מודרנית א' ( ,)211.2111תורת הקבוצות האינסופיות ()211.2521 זהו קורס יסוד בלוגיקה עם דגש על תורת המודלים .הקורס יכסה בין השאר ,בהתאם להספק: סיגנטורה ,מבנה ותת מבנה .מבנה נוצר סופית ,איזומורפיזם של מבנים ,צמצום (רדוקט) והעשרה של מבנים. הגדרת שפה :שמות עצם ונוסחאות .מבנה מספק נוסחה ,קבוצות גדירות .משפט על איזומורפיזם של מבנים ,שקילות אלמנטרית והרחבות אלמנטריות .מסנן (פילטר) ועל מסנן (אולטרה פילטר) ,משפט לוש .משפט הקומפקטיות ומסקנות .תורות שלמות ,חילוץ. כמתים :משפטים כלליים ודוגמאות של חילוץ כמתים במתמטיקה .לפי ההספק ,הקורס יכסה גם נושאים נוספים. סמסטר סמסטר ב' שם הקורס מרצה סוג פרופ' קובי פתר לוגיקה ותורת המודלים שיעור שע ות 4 נ''ז זמנים 4 א' + 11-12 ,ד'12-14 , קורס יסוד באנליזה51110010 , קדם :מבוא לאנליזה פונקציונלית ()211.3115 אופרטורים קומפקטיים ,אופרטורים צמודים לעצמם והמשפט הספקטרלי לאופרטורים קומפקטיים צמודים לעצמם ,דוגמאות של מרחבי בנך ,מבוא למרחבים וקטוריים טופולוגיים ולטופולוגיות חלשות ,מבוא לאלגבראות בנך ,אופרטורים דיפרנציאליים ואינטגרליים. סמסטר סמסטר ב' שם הקורס קורס יסוד באנליזה סוג שיעור זמנים שעות נ''ז 4א' + 14-16 ,ב'14-16 , 4 מרצה ד"ר עמי ויסלטר סדנאות סדנא – סדנא בקומבינטוריקה51115101 , קדם :מתמטיקה דיסקרטית ()211.1515 הסדנה תעסוק בסוגים שונים של בעיות מנייה תוך דגש על התמודדות של הסטודנטים עם בעיות העולות בכיתה .שיטות מנייה בסיסיות .עקרון החיבור ,עקרון החיסור ,עקרון הכפל ,עקרון החילוק ,עקרון החזקה ,תמורות ,צרופים וחליפות עם ובלי חזרות, נוסחת הבינום ,עקרון שובך היונים ,עקרון ההכלה וההדחה ,מניית גרפים ועצים ,כללי נסיגה ,פונקציות יוצרות סמסטר סמסטר א' שם הקורס סדנא בקומבינטוריקה סוג סדנא מרצה ד"ר אלי ברגר שעות 2 נ''ז 2 זמנים ג'18-21 , סמינרים סמינר במתמטיקה51110111 , קדם :אלגברה מודרנית א' ( ,)211.2111טופולוגיה ()211.2525 סמינר במתמטיקה טהורה .גיאומטריה של מספרים .על שריגים ,תורת המספרים והקשר שביניהם. סמסטר סמסטר א' שם הקורס סמינר במתמטיקה סוג סמינר מרצה פרופ' קובי פתר שעות 2 נ''ז 2 זמנים א'11-12 , סמינר במתמטיקה51110111 , קדם :אלגברה ליניארית א' ( ,)211.1215אלגברה ליניארית ב' ( ,)211.1251חדו"א א' ( ,)211.1115מתמטיקה דיסקרטית ()211.1515 הסמינר יתמקד בנושאים מתקדמים מתחום המתמטיקה הדיסקרטית .לאחר הרצאת מבוא שתינתן על ידי המרצה ובו תיסקר הספרות הרלוונטית ,כל תלמיד ירצה על מאמר או פרק מספר (המאמר או הפרק באנגלית) .ההרצאה תינתן לפני כלל התלמידים בקורס. סמסטר סמסטר ב' שם הקורס סמינר במתמטיקה סוג סמינר מרצה פרופ' רפי יוסטר שעות 2 נ''ז 2 זמנים ה'14-16 , קורסים ייעודיים לתכנית למצוינות תרגיל למצוינות באלגברה ליניארית ב'51111525 , בנוסף לרישום לקורס 211.1251יירשמו התלמידים בתכנית למצוינות לתרגיל זה. סמסטר סמסטר ב' שם הקורס תרגיל למצוינות באלגברה ליניארית ב' סוג תרגיל למצוינות מרצה ד"ר אנה מלניקוב שעות 2 נ''ז 1 זמנים ב'14-16 , תרגיל למצוינות באלגברה מודרנית א'51115110 , בנוסף לרישום לקורס 211.2111יירשמו התלמידים בתכנית למצוינות לתרגיל זה. סמסטר סמסטר א' שם הקורס תרגיל למצוינות באלגברה מודרנית א' סוג תרגיל למצוינות מרצה פרופ' ולדימיר חיניץ שעות 2 נ''ז 1 זמנים ב'16-18 , תרגיל למצוינות בטופולוגיה51115100 , נוסף לרישום לקורס 211.2131יירשמו התלמידים בתכנית למצוינות לתרגיל זה. סמסטר סמסטר ב' שם הקורס תרגיל למצויינות בטופולוגיה סוג תרגיל למצוינות מרצה פרופ' אלק ויינשטיין שעות 2 נ''ז 1 זמנים ב' 16-18 קומבינטוריקה טופולוגית51115151 , קדם :מתמטיקה דיסקרטית ()211.1515 קומפלקסים סימפלקסיאליים והומוטופיה ,קשירות טופולוגית ,משפט נקודת השבת ,טריאנגולציות והלמה של שפרנר ,משפט קנסטר-קורטובסקי-מזורקיביץ' והרחבתו לעצים ,משפט בורסוק-אולם ,הלמה של טאקר ,שיפוד משפחות -dקטעים ,משפט הכריך ( ,) Ham Sandwichחלוקת הוגנת של שרשראות אבני חן ,בעיית קנסר והפתרון של לובס ,תורת הנציגים הבלתי תלויים של אהרוני, תכונות טופולוגיות של קומפלקס הקבוצות הבלתי תלויות בגרפים ובמטרואידים ,משפט אדמונדס הטופולוגי. סמסטר סמסטר א' שם הקורס קומבינטוריקה טופולוגית סוג שיעור מרצה ד"ר אלי ברגר שעות 2 נ''ז 2 זמנים א' 8-11 פתרון בעיות מתמטיות עם מייפל51115155 , קדם :אלגברה ליניארת ב' ( ,)211.1251אלגברה מודרנית א' ( ,)211.2111גיאומטריה אנליטית (,)211.1315 חדו"א ג' ()211.2115 מבוא למייפל .פתרון בעיות עם מייפל :אלגברה מודרנית ,אלגברה לינארית ,גיאומטריה אנליטית ,חדו"א א -ג. סמסטר סמסטר ב' שם הקורס פתרון בעיות מתמטיות עם מייפל סוג שיעור מרצה פרופ' ולדימיר רובנסקי שעות 2 נ''ז 2 זמנים א' 8-11 מועדון מתמטי51115111 , סמסטר סמסטר א' סמסטר ב' סוג שם הקורס מועדון מתמטי שיעור מועדון מתמטי שיעור מרצה פרופ' ולדימיר חיניץ /מרצים אורחים ד"ר אלי ברגר /מרצים אורחים שעות 2 2 נ''ז 1 1 זמנים ג'12-14 , ג'12-14 ,