32 lines
810 B
TeX
32 lines
810 B
TeX
\documentclass[a4paper, ngerman]{report}
|
|
\usepackage[utf8]{inputenc}
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage{babel}
|
|
\usepackage{eurosym, tipa, textcomp, textgreek, upgreek}
|
|
\usepackage{amssymb, amsfonts, amsmath, dsfont}
|
|
\usepackage[hidelinks]{hyperref}
|
|
\usepackage{cleveref}
|
|
\usepackage{graphicx}
|
|
\usepackage{longtable, array, tabularx, booktabs, colortbl}
|
|
\usepackage{minted}
|
|
\begin{document}
|
|
\thispagestyle{empty}
|
|
|
|
\begin{center}
|
|
|
|
\textbf{Definition der Fakultät} \\
|
|
(Definition of factorial)
|
|
$$n! = \prod_{i=1}^{n} i$$ \\
|
|
~ \\
|
|
|
|
\textbf{Menge aller ungeraden natürlichen Zahlen} \\
|
|
(Set of all odd natural numbers)
|
|
$$\{ x \mid x \in \mathds{N}, \mathrm{ungerade}(x) \}$$
|
|
~ \\
|
|
|
|
\textbf{Elimination $\neg\exists x$}
|
|
$$\neg\exists x . p(x) \Leftrightarrow \forall x . \neg p(x)$$
|
|
|
|
\end{center}
|
|
|
|
\end{document} |