\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{סמסטר 17--2016--ב}\\[0.2\baselineskip]

\end{center}

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

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

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

  \item[מרצה אחראי]
    פרופ` מנחם קוג`מן,
    \nolinkurl{<kojman@bgu.ac.il>},
    חדר 111

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

\section*{תקציר}




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






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

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

\subparagraph*{סילבוס}

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

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex: