Undergraduate course, Ben-Gurion, Spring 2024
קורס לתואר ראשון, בן-גוריון, אביב 2024
רשימות (מתעדכן מדי פעם)
Undergraduate course, Ben-Gurion, Spring 2024
קורס לתואר ראשון, בן-גוריון, אביב 2024
רשימות (מתעדכן מדי פעם)
Undergraduate course, Ben-Gurion, Fall 2023
קורס לתואר ראשון, בן-גוריון, סתיו 2023
Undergraduate course, Ben-Gurion, Fall 2022
קורס לתואר ראשון, בן-גוריון, סתיו 2022
מערכת אקסיומות לתחשיב הפרדיקטים. משפט השלמות ומשפט הקומפקטיות. מבוא לתורת המודלים: משפטי סקולם–לוונהים ותתי מבנים אלמנטריים. כריעות ואי-כריעות של תורות. משפט אי השלמות הראשון של גדל.
Graduate course, Ben-Gurion, Spring 2022
קורס מתקדם, בן-גוריון, אביב 2022
תורת המודלים היא תחום בלוגיקה מתמטית בעל השלכות ושימושים בתחומים אחרים במתמטיקה. בסמסטר הזה נתמקד בתורת המודלים של שדות דיפרנציאליים, שהיא ההקשר בו תורת המודלים תורמת לחקר משוואות דיפרנציאליות. זה כולל בין היתר תורת גלואה של משוואות דיפרנציאליות, שימושים באריתמטיקה, באלגברה לא קומוטטיבית וגם תורה קלאסית של משוואות דיפרנציאליות (למשל, משוואות Painlevé). בנוסף, התורה הזו מעניינת מאוד מבחינת כלים תורת–מודליים, ומספקת דוגמאות (ודוגמאות נגדיות) לתופעות שונות.
Undergraduate course, Ben-Gurion, Spring 2021
קורס לתואר ראשון, בן-גוריון, אביב 2021
Undergraduate course, Ben-Gurion, Fall 2020
קורס לתואר ראשון, בן-גוריון, סתיו 2020
הקורס מציג את התורה הבסיסית של המספרים הטבעיים, ויתמקד ברובו בתוצאות קלאסיות, כגון פירוק יחיד לראשוניים, משפט השאריות הסיני ומשפט ההדדיות הריבועית. בהמשך, יוצגו שיטות והקשרים מתחומים אחרים, כגון אלגברה, אנליזה וטופולוגיה, ויוצגו שימושים בתחום ההצפנות.
Undergraduate course, Ben-Gurion, Spring 2020
קורס לתואר ראשון, בן-גוריון, אביב 2020
Undergraduate course, Ben-Gurion, Fall 2018
קורס לתואר ראשון, בן-גוריון, סתיו 2018
מערכת אקסיומות לתחשיב הפרדיקטים. משפט השלמות ומשפט הקומפקטיות. מבוא לתורת המודלים: משפטי סקולם-לוונהים ותתי מבנים אלמנטריים. כריעות ואי-כריעות של תורות. משפט אי השלמות הראשון של גדל.
Graduate course, Ben-Gurion, Spring 2018
קורס מתקדם, בן-גוריון, אביב 2018
הקורס יעסוק במספר מושגים בסיסיים בתורת המודלים:
Graduate course, Ben-Gurion, Spring 2017
קורס מתקדם, בן-גוריון, אביב 2017
The course provides an introduction to the theory of non-commutative rings, and related structures. We will take as our motivating goal understanding the representation theory of finite groups. This will lead us to study the structure of semisimple rings, which is well understood due to a number of theorems by Wedderburn.
Graduate course, Ben-Gurion, Spring 2015
קורס מתקדם, בן-גוריון, אביב 2015
A valued field is an algebraic object that plays a role analogous to that of a ``small disc around 0’’ in geometry. In this course we will focus on the model theory of such fields, and its uses. The course will begin with a review of basic results on the first order theory of algebraically closed valued fields, such as quantifier elimination and structure of sets definable in one variable. We will the discuss elimination of imaginaries, integration theory, stable domination and the structure of the type space, and the analogy with Berkovich spaces.
Graduate course, Notre-Dame, Fall 2011
Graduate course, Notre-Dame, Fall 2009