\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{יום שלישי, 27 ביוני, 2017}
\bigskip

\textbf{בשעה} \emph{18:30 -- 20:00}
\bigskip

\textbf{ב}\emph{אולם 101-}

\vspace*{2\baselineskip}

ההרצאה

\bigskip
{\Large\bfseries הבעיה על בסיס סופי\par}
\bigskip

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

{\large\scshape גריגורי משביצקי}
\bigskip

\end{center}
\vfill

\textbf{תקציר:}
  אנחנו מכירים  זהויות  שונות: חוק חילוף לחיבור ולכפל, חוק קיבוץ לחיבור ולכפל,
חוק פילוג, חוקים של כפל מקוצר כל אלה והרבה זהויות אחרות מוכרות לנו מבית ספר.

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

\textbf{בעיית הבסיס הסופי} של טרסקי היא השאלה על קיום אלגוריתם שמחליט עבור כל
אלגברה סופית האם היא בעלת בסיס סופי. יש עוד בעיות מפורסמות על בסיס סופי. אני
אסביר בעיות אלה וגם בעיות יותר פשוטות על בסיס סופי של זהויות וגם כמה שיטות
הוכחה של קיום ואי-קיום של בסיס סופי של זהויות.
  


\vfill





% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
