# TheMarex/gbi-tut

1 parent b4ed8c1 commit 1e92eadf48ffb836188594637abb0cd9d84f96ed Patrick Niklaus committed Oct 22, 2012
26 1/tut 1.tex
 @@ -7,7 +7,7 @@ \usepackage{amsmath} \usetheme{Singapore} \usecolortheme{dove} -\graphicspath{{images/}} +\graphicspath{{images/}{../comics/}} \newcommand{\hiddencell}[2]{\action<#1->{#2}} \title{Grundbegriffe der Informatik} @@ -139,4 +139,28 @@ \section{Motivation} \input{../sections/logik.tex} \input{../sections/quantoren.tex} +\section{Abschluss} +\subsection{Zusammenfassung} +\begin{frame} + \frametitle{Was ihr mitnehmen sollt} + \begin{enumerate} + \item \emph{Relationen} sind Teilmengen des Kreuzproduktes von zwei Mengen. + \item linkstotal, rechtstotal, linkseindeutig, rechtseindeutig + \item \emph{Funktionen} sind linkstotal und rechtseindeutig + \item surjektiv, injektiv, bijektiv + \item Oder $\vee$, Und $\wedge$, Implikation $\Rightarrow$, Nicht $\neg$ + \item Für alle $\forall$, Es existiert $\exists$ + \item Negieren $\leadsto$ Quantoren vertauschen und letzten Ausdruck negieren! + \end{enumerate} +\end{frame} + +\subsection{xkcd} +\begin{frame}[plain] + \begin{figure} + \begin{center} + \includegraphics[width=320pt]{incident} + \end{center} + \end{figure} +\end{frame} + \end{document}
BIN comics/collatz_conjecture.png
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
BIN comics/computer_problems.png
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
BIN comics/important_life_lesson.png
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
BIN comics/incident.png
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
BIN comics/laundry.png
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
BIN comics/not_enough_work.png
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
BIN comics/perspective.png
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
BIN comics/pix_plz.png
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
BIN comics/rtfm.png