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

\end{center}

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

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

  \item[עמוד הקורס ברשת]\mbox{}\\
    \url{https://math.bgu.ac.il//he/teaching/spring2018/courses/fundamentals-of-logic-and-set-theory-for-information-systems}

  \item[מרצה אחראי]
    פרופ` גריגורי משביצקי,
    \nolinkurl{<gmash@bgu.ac.il>},
    חדר 304

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

\section*{תקציר}




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






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

חלק א`: הבסיס של תורת הקבוצות1. מושג הקבוצה ופעולות האיחוד, החיתוך ההפרש וההשלמה על קבוצות. קבוצת החזקה.   2. משפט האינדוקציה של המספרים הטבעיים. אינדוקציה שלמה, עקרון האבר המינימאלי. שימושים. 3. זוגות סדורים והמכפלה הקרטזית. מושג היחס.4. הפונקציה. תחום וטווח. פונקציה חד-חד ערכית. פונקציה על. הרכבת פונקציות. המינימאלי. שימושים.חלק ב`: תחשיב הפסוקים  	1. הקשרים.2. השקילויות הבסיסיות.3. צורה דיסיונקטיבית נורמלית.4. שלמות מערכות של קשרים.חלק ג`: תחשיב הפרדיקטים  	1. שפת תחשיב הפרדיקטים. נוסחאות, שמות עצם ופסוקים.2. מבנים ודוגמאות למבנים.3. השמות וספוק נוסחאות במבנים.4. שקילות לוגית וגרירה לוגית.5. שקילות אלמנטרית וקבוצות גדירות.חלק ד`: יסודות חשבון עוצמות  1. מושג העוצמה.2. קבוצות סופיות וקבוצות אינסופיות.3. קבוצות שעוצמתן שווה לעוצמת קבוצות המספרים הטבעיים.4. משפט קנטור על עוצמת קבוצת החזקה.5. עוצמת המספרים הממשיים ועוצמת (N) P.

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
