\documentclass[oneside,final,12pt]{book}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}

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

\begin{center}
\vspace*{\baselineskip}

{\Large המחלקה למתמטיקה, בן-גוריון}

\vspace*{\baselineskip}

\rule{\textwidth}{1.6pt}\vspace*{-\baselineskip}\vspace*{2pt}
\rule{\textwidth}{0.4pt}\\[\baselineskip]

{\Huge אשנב למתמטיקה}\\[0.2\baselineskip]

\rule{\textwidth}{0.4pt}\vspace*{-\baselineskip}\vspace{3.2pt}
\rule{\textwidth}{1.6pt}\\[\baselineskip]

\textbf{ב}\emph{יום שלישי, 14 במרץ, 2023}
\bigskip

\textbf{בשעה} \emph{18:10 -- 19:30}
\bigskip

\textbf{ב}\emph{אולם -101, בניין מתמטיקה}

\vspace*{2\baselineskip}

ההרצאה

\bigskip
{\Large\bfseries תורת המודלים ושימושיה\par}
\bigskip

תינתן על-ידי
\bigskip

{\large\scshape משה קמנסקי}
\bigskip

\end{center}
\vfill

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


\vfill

\bigskip
\begin{center}
{\bfseries אנא שימו לב לשינוי במקום!}
\end{center}




% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
