  \documentclass[oneside,final,11pt]{article}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}
  \usepackage{fancyhdr}
  \addtolength{\headheight}{5\baselineskip}
  \renewcommand{\headrulewidth}{0pt}
  \fancyhead[L,R]{}
  \fancyhead[C]{\includegraphics[scale=0.5]{bguhead.png}}
  \fancyfoot[L,C,R]{}
  \addtolength{\voffset}{-70pt}

\usepackage{hyperref}
\usepackage{xstring}
\def\rooturl{https://www.math.bgu.ac.il/}
\hyperbaseurl{\rooturl}
\let\hhref\href
\providecommand{\extrahref}[2][]{\LTRfootnote{\LR{\IfBeginWith*{#2}{http}{\nolinkurl{#2}}{\nolinkurl{\rooturl#2}}}}}
\renewcommand{\href}[2]{\IfBeginWith*{#1}{http}{\hhref{#1}{#2}}{\hhref{\rooturl#1}{#2}}\extrahref{#1}}

\usepackage{polyglossia}
\usepackage{longtable}
%% even in English, we sometimes have Hebrew (as in course hours), and we
%% can't add it in :preamble, since it comes after hyperref
%%\usepackage{bidi}
\setdefaultlanguage{hebrew}
\setotherlanguage{english}
%%\setmainfont[Script=Hebrew,Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

%%\newfontfamily{\hebrewfonttt}{Libertinus Serif}
\newfontfamily{\hebrewfonttt}{Liberation Serif}
\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



\begin{document}
\pagestyle{empty}
\pagenumbering{gobble}


\pagestyle{fancy}
\begin{center}

  \huge{המחלקה למתמטיקה}\\[0.1\baselineskip]
  \Large{סמסטר 22--2021--ב}\\[0.2\baselineskip]

\end{center}

\begin{description}
  \item[שם הקורס]
    תורת המודלים של שדות דיפרנציאליים

  \item[מספר קורס]
    \LRE{201‭.2‭.2141}

  \item[עמוד הקורס ברשת]\mbox{}\\
    \url{https://math.bgu.ac.il//he/teaching/spring2022/courses/model-theory-applied}

  \item[מרצה אחראי]
    ד``ר משה קמנסקי,
    \nolinkurl{<kamenskm@bgu.ac.il>},
    חדר 104

\item[שעות קבלה]
  \url{https://math.bgu.ac.il/he/teaching/hours}
\end{description}

\section*{תקציר}

  \begin{RTL}
\emph{תורת המודלים} היא תחום בלוגיקה מתמטית בעל השלכות ושימושים בתחומים אחרים במתמטיקה. בסמסטר הזה נתמקד בתורת המודלים של \emph{שדות דיפרנציאליים}, שהיא ההקשר בו תורת המודלים תורמת לחקר משוואות דיפרנציאליות. זה כולל בין היתר תורת גלואה של משוואות דיפרנציאליות, שימושים באריתמטיקה, באלגברה לא קומוטטיבית וגם תורה קלאסית של משוואות דיפרנציאליות (למשל, משוואות Painlevé).  בנוסף, התורה הזו מעניינת מאוד מבחינת כלים תורת-מודליים, ומספקת דוגמאות (ודוגמאות נגדיות) לתופעות שונות.

הרקע הנדרש הוא היכרות בסיסית עם מושגים בלוגיקה מסדר ראשון: הגדרות של נוסחה, מודל, תורה וכו`, ומשפט הקומפקטיות. במידת הצורך, נחזור על עיקרי הדברים.
\end{RTL}


\section*{דרישות והרכב ציון הקורס\footnote{דרישות הקורס יכולות להשתנות במהלך השבועיים הראשונים של הסמסטר, ויש לשים לב להודעות באתר הקורס}}

  \begin{RTL}
הציון ייקבע על-פי נוכחות ופרויקט גמר בתיאום עם הסטודנטים.
\end{RTL}




\section*{נושאי לימוד}

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

\begin{itemize}
\item{} תורה אלגברית של משוואות דיפרנציאליות (תורת גלואה, תורת מימד, מיון
משוואות ממימד 1)
\item{} תורת מודלים של שדות הערכה (דמיוניים, אינטגרציה, מרחבים אנליטיים)
\item{} או-מינימליות, שימושים אריתמטיים
\item{} שדות עם אוטומורפיזם, משוואות הפרש, שימושים למערכות דינמיות, התורה
האסימפטוטית של הפרובניוס
\item{} תורת מודלים רציפה, שימושים לאלגבראות אופרטורים, מרחבי הסתברות ועוד
רקע מלוגיקה ומהתחומים הרלוונטיים יינתן לפי הצורך
\end{itemize}

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
