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

\end{center}

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

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

  \item[עמוד הקורס ברשת]\mbox{}\\
    \url{https://math.bgu.ac.il//he/teaching/spring2024/courses/intro-to-logic-and-sets}

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

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

\section*{תקציר}

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


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

  \begin{RTL}
\paragraph*{הרכב הציון בקורס}

\begin{itemize}
\item{} כדי לעבור את הקורס צריך לעבור את הבחינה המסכמת בציון של \emph{56 ומעלה}. החומר לבחינה כולל את כל החומר שכוסה בפועל בקורס, לרבות ההרצאה ותרגילי הבית.
\item{} אם הציון בבחינה המסכמת הוא 56 או יותר, אז הרכב הציון הוא:


\begin{itemize}
\item{} עבודות בית: 2 נקודות כל מטלה. תהיה מטלה אחת בשבוע, בקירוב
\item{} בחינה מסכמת: 80 נקודות
\end{itemize}
\item{} אם הציון בבחינה המסכמת נמוך מ-56 אז הוא הציון הסופי.
\item{} לא ניתן לקבל יותר מ-100
\end{itemize}

\paragraph*{היעדרויות ואיחורים}

אישור לקבלת הארכה להגשת העבודות ינתן לפי שיקול המרצה, בהתאם לסיבות המוגדרות \textbf{מניעה חמורה} בנוהל הבחינות של האוניברסיטה. בנוסף, יינתנו התאמות מיוחדות במסגרת המלחמה (להלן).

\paragraph*{התאמות למשרתי מילואים}

\begin{itemize}
\item{} התאמות למשרתי מילואים ונפגעי המלחמה יינתנו בהתאם ל\href{https://www.bgu.ac.il/standarts/iron-swords/mitve/}{נוהל האוניברסיטאי}.
\item{} בפרט, סטודנטים שישרתו במילואים במהלך הסמסטר יהיו זכאים להגיש את המטלות עד סוף הסמסטר, לא יאוחר מה-26 ביולי 2024
\item{} \textbf{במקרים של מילואים ממושכים או מצבים מיוחדים, יתואם פתרון אישי}
\end{itemize}

תלמידים שהמצבים הללו חלים עליהם, מוזמנים לפנות אלי לגבי התאמות.
\end{RTL}




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

\begin{enumerate}
\item{} יחסי סדר חלקיים.  שרשראות ואנטי שרשראות. דוגמאות. משפט ארדש סקרס או משפט אחר להדגמה. בניית סדר חלקי על מנה מעל קדם סדר.
\item{} השוואת קבוצות. הגדרת עצמה כמחלקת שקילות. משפט קנטור ברנשטיין. משפט קנטור על קבוצת החזקה.
\item{} קבוצות בנות מניה. מניות הריבוע של הטבעיים, הסדרות הסופיות מעל קבוצה בת מניה, בניית הרציונלים. יחידות הסדר הרציונלי.
\item{} משפט רמזי. שימושים.
\item{} בניית המספרים הממשיים כמנה מעל שקילות סדרות קושי.
\item{} הלמה של קניג על עצים בני מניה עם רמות סופיות. שימושים: גרף בן מניה צביע ב-k צבעים אם ורק אם כל תת גרף סופי שלו צביע ב-k צבעים.
\item{} סדר טוב. איזומורפיזמים בין סדרים טובים. ניסוח אקסיומת הבחירה כעיקרון הסדר הטוב. דוגמאות. שימוש: גרף כלשהו צביע ב-k צבעים אםם כל תת גרף סופי שלו צביע ב-k צבעים.
\item{} הלמה של צורן. שימושים. (קיום בסיס למרחב וקטורי כלשהו; קיום עץ פורש בגרף כלשהו).
\item{} דיון באקסיומות של תורת הקבוצות ונחיצותן. הפרדוקס של ראסל.  סודרים.
\item{} אינדוקציה טרנספיניטית. שימושים: קיום קבוצה במישור שחיתוכה עם כל ישר הוא  בגודל 2.
\item{} מונים אינסופיים כסודרים פותחים. אריתמטיקה בסיסית של מונים. חישובי עצמות של קבוצות מוכרות?: קבוצת הפונקציות הממשיות הרציפות, האוטומורפיזמים של השדה הממשי (עם ובלי סדר).
\end{enumerate}

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex: