  \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‭.9661}

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

  \item[מרצה אחראי]
    ד``ר מוטקה פורת,
    \nolinkurl{<motkep@bgu.ac.il>},
    חדר 318

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

\section*{תקציר}




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






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

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

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
