  \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{סמסטר 23--2022--א}\\[0.2\baselineskip]

\end{center}

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

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

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

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

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

\section*{תקציר}

  \begin{RTL}
\paragraph*{תורת קבוצות אלמנטרית}

אקסיומת ההקפיות. סימון של קבוצות. יחס ההכלה. פעולות בקבוצות.
המשך פעולות בקבוצות. איחוד מוכלל וחיתוך מוכלל. מקומיות של פעולה. זהויות בקבוצות. פעולת קבוצת החזקה.

\paragraph*{יחסים}

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

\paragraph*{פונקציות}

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

\paragraph*{תכונות יחסים}

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

\paragraph*{קבוצות סדורות}

הגדרת יחס סדר חלקי על קבוצה. איבר מזערי ואיבר מרבי. מינימום ומקסימום. מינימום הוא מזערי יחיד. דוגמא לקס``ח עם מרבי/מזערי יחיד ללא מינימום וללא מקסימום. קבוצה סדורה קווית.

\paragraph*{יחסי שקילות}

הגדרת יחס שקילות מעל קבוצה. מחלקות שקילות. מנה. הגדרת חלוקה. שחזור יחס שקילות מחלוקה. קדם סדר. יחס שקילות מקדם סדר. הגדרת קס``ח על המנה. הגדרות באמצעות בחירת נציגים.

\paragraph*{המספרים הטבעיים.}

הגדרה, עיקרון האינדוקציה, אינדוקציה שלמה.

\paragraph*{קבוצות סופיות}

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

\paragraph*{עוצמות}

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


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

  \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 במבחן הסופי
\end{RTL}




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

\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:
