  \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{english}
\setotherlanguage{hebrew}
%%\setmainfont[Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



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


\pagestyle{fancy}
\begin{center}

  \huge{The Department of Mathematics}\\[0.1\baselineskip]
  \Large{2023--24--A term}\\[0.2\baselineskip]

\end{center}

\begin{description}
  \item[Course Name]
    Introduction to Logic and Set Theory

  \item[Course Number]
    \LRE{201‭.1‭.0201}

  \item[Course web page]\mbox{}\\
    \url{https://math.bgu.ac.il//en/teaching/fall2024/courses/introduction-to-logic-and-set-theory}

  \item[Lecturer]
    Dr. Moshe Kamensky,
    \nolinkurl{<kamenskm@bgu.ac.il>},
    Office 104

\item[Office Hours]
  \url{https://math.bgu.ac.il/en/teaching/hours}
\end{description}

\section*{Abstract}

  \begin{RTL}
\begin{enumerate}
\item{} תורת קבוצות נאיבית: שייכות והכלה, חיתוך, איחוד, הפרש, קבוצת חזקה, חלוקות, זוגות סדורים, מכפלה קרטזית.
\item{} יחסים: תחום, תמונה, הרכבה, הזהות על קבוצה. תכונות בסיסיות.
\item{} העתקות: הגדרה, הפיכות משמאל ומימין, חח''ע ועל, אקסיומת הבחירה, הדבקה של העתקות
\item{} גרפים (יחסים מעל קבוצה): רפלקסיביות, סימטריות, אנטי-סימטריות, טרנזיטיביות. תאור באמצעות פעולות. העתקות בין גרפים, שיכונים, העתקות הפיכות. שמירה על תכונות תחת העתקות.
\item{} יחסי סדר: הגדרות, איברים מקסימליים ומינימליים, מינימום ומקסימום, עוקב מיידי, חסם עליון. סדר חלקי הוא מלא אם ורק אם הוא מקסימלי ביחס להכלה. סדרים על מכפלות קרטזיות.
\item{} יחסי שקילות: גרעין של העתקה, העתקות מנה (קיום ויחידות), הגדרת מבנה על המנה, סדר מתוך קדם סדר.
\item{} המספרים הטבעיים: הגדרה כקבוצה סדורה, אינדוקציה (רגילה ושלמה), משפט ההגדרה ברקורסיה, יחידות הטבעיים (עד כדי איזומורפיזם יחיד), הגדרת פעולות החשבון
\item{} קבוצות סופיות: גודל של קבוצה, הגדרה של קבוצה סופית, עקרון שובך יונים, תכונות של קבוצות סדורות סופיות
\item{} \ensuremath{\sim}\ensuremath{\sim}עוצמות: הגדרת שוויון עוצמות וסדר בין עוצמות, עוצמות של תתי-קבוצות של הטבעיים, 0א מינימום בין העוצמות האינסופיות, משפט קנטור--ברנשטיין, משפט קנטור, עוצמת הממשיים, חוקי חשבון עוצמות.\ensuremath{\sim}\ensuremath{\sim}
\end{enumerate}
\end{RTL}


\section*{Requirements and grading\footnote{Information may change during the first two weeks of the term. Please consult the webpage for updates}}

  \begin{RTL}
\paragraph*{החובות בקורס}

\begin{itemize}
\item{} כדי לעבור את הקורס צריך לעבור את הבחינה המסכמת בציון של \emph{56 ומעלה}.
\item{} במהלך הקורס על התלמידים לפתור מטלות ממוחשבות. פתרון של לפחות 80\% מהמטלות הממוחשבות בהצלחה מזכה את מי שעבר את הבחינה ב-5 נקודות לשקלול בציון סופי.
\item{} בנוסף למטלות הממוחשבות יגישו התלמידים בקורס 5 תרגילים כתובים. כדי  להגישם יש לסרוק את כתב היד ולהעלותו לאתר הקורס. אפשר להשתמש במכונות צילום או באפליקציות לטלפונים ניידים דוגמת \texttt{camscanner}. העלו בבקשה קבצי \texttt{pdf} בלבד.
\end{itemize}

חשיבותן של המטלות הלא ממוחשבות הוא בכך שהן מכינות אתכם לבחינה. שאלות ממטלות אלה, או שאלות דומות להן, עשויות להופיע בבחינה המסכמת. המטלות תיבדקנה מדגמית. תלמיד שיגיש את כל המטלות \emph{יזכה ב-5 נקודות נוספות} לשקלול לאחר מעבר הבחינה המסכמת.

\subparagraph*{סיכום מרכיבי הציון הסופי באחוזים}

\begin{itemize}
\item{} אם הציון בבחינה המסכמת הוא 56 או יותר, אז הרכב הציון הוא:


\begin{itemize}
\item{} מטלות ממוחשבות: 5
\item{} מטלות כתובות: 5
\item{} בחינה סופית: 90
\end{itemize}
\item{} אם הציון בבחינה המסכמת נמוך מ-56 אז הוא הציון הסופי.
\end{itemize}

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

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

בכל מקרה של שינוי בהרכבי הציונים מסיבות אלה, עדיין הציון של מבחן הסופי יהווה 100\% של הציון במקרה של ציון נמוך ממש מ-56 במבחן הסופי

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

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




\section*{Course topics}

\subparagraph*{סילבוס:}

\begin{enumerate}
\item{} קבוצות: שייכות, איחוד, חיתוך, הפרש.
\item{} מכפלה קרטזית, מושג היחס, יחסי שקילות, יחס סדר חלקי, יחס סדר קווי. הגדרת פונקציה כקבוצת סדורים.
\item{} תחשיב הפסוקים: ו/או גרירה, שקילות וטבלאות האמת שלהם, ערך האמת של פסוקים בהשמה, שקילות לוגית וגרירה לוגית, טאוטולוגיות ופסוקים שקריים, הטאוטולוגיות החשובות:  למשל, חוקי הפילוג, ונוסחאות דה-מורגן.
\item{} תחשיב הפרדיקטים: הגדרת שפת תחשיב הפרדיקטים ומשמעותה; הגדרת מבנים;  נוסחאות ופסוקים; הסתפקות במבנה ובהשמה, אמיתיות לוגית, גרירה לוגית,    שקילות לוגית; השקילויות החשובות, סדר הכמתים, הכנסת השלילה פנימה.
\item{} תורת הקבוצות: התאמות חד-חד-ערכיות, הרכבת פונקציות והפונקציה ההפוכה; יחסי שקילות; הגדרת העוצמה, שיוויון עוצמות ואי-שיוויון עוצמות; משפט קנטור ברנשטיין (ללא הוכחה), המשפט שכל שתי עוצמות נתנות להשוואה (ללא הוכחה); משפט קנטור על עוצמת קבוצות החזקה 
$|\mathbb{R}|=|\mathcal{P}(\mathbb{N})|$, $|\mathbb{Q}|=|\mathbb{N}\times\mathbb{N}|=|\mathbb{N}|$.
\end{enumerate}

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
