  \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{2017--18--B term}\\[0.2\baselineskip]

\end{center}

\begin{description}
  \item[Course Name]
    Introduction to logic and Discrete Mathematics For Computer Engineering

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

  \item[Course web page]\mbox{}\\
    \url{https://math.bgu.ac.il//en/teaching/spring2018/courses/introduction-to-logic-and-discrete-mathematics-for-computer-engineering}

  \item[Lecturer]
    Prof. Shakhar Smorodinsky,
    \nolinkurl{<shakhar@bgu.ac.il>},
    Office 208

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

\section*{Abstract}




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






\section*{Course topics}

Logic and Set theory: propositional calculus, boolean operators and their truth tables, truth values of formulae, logical equivalence and logical inference, tautologies and contradictions, the important tautologies, e.g., the distributive laws and De Morgan formulae. Sets: inclusion, union, intersection, difference, cartesian product, relations, equivalence relations, partial orders, linear orders, and functions.
Basic Combinatorics: induction, basic counting arguments, binomial coefficients, inclusion-exclusion, recursion and, generating functions. Graphs: general notions and examples, isomorphism, connectivity, Euler graphs, trees.

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
