Fixed all dates to WS16/17 + build on date

This commit is contained in:
Sheppy 2018-02-17 17:30:27 +01:00
parent 3e5176cac0
commit f19df920bf
4 changed files with 11 additions and 3 deletions

View File

@ -20,9 +20,11 @@
\pagestyle{empty}
\title{Zusammenfassung AUD}
\author{Eva Dengler}
\date{Wintersemester 2016/2017}
\maketitle
\subsubsection*{Maintaining:}
Diese Zusammenfassung wird auf \textit{https://gitlab.cs.fau.de/ik15ydit/latexandmore/} maintain't.
Diese Zusammenfassung wird auf \textit{https://gitlab.cs.fau.de/ik15ydit/latexandmore/} maintain't.\\
\textbf{Generated by texlive: \today}
\subsubsection*{Wichtige Befehle in Java:}
Länge von Arrays: .length\\
Objekte inhaltlich mittels equals vergleichen, mittels == werden Referenzen verglichen.

View File

@ -20,9 +20,11 @@
\pagestyle{empty}
\title{Zusammenfassung AUD}
\author{Eva Dengler}
\date{Wintersemester 2016/2017}
\maketitle
\subsubsection*{Maintaining:}
Diese Zusammenfassung wird auf \textit{https://gitlab.cs.fau.de/ik15ydit/latexandmore/} maintain't.
\\\textbf{Generated by texlive: \today}
\section{Einführung}
Technische Informatik ist diejenige Disziplin der Informatik,
die sich mit dem Entwurf von Systemen in Hard- und

View File

@ -20,11 +20,13 @@
\renewcommand{\thewic}{\hspace{-0.5em}}
\newtheorem[S,bodystyle=\normalfont]{lol}{}
\renewcommand{\thelol}{\hspace{-0.5em}}
\date{Wintersemester 2016/2017}
\title{Zusammenfassung AUD}
\author{Eva Dengler}
\maketitle
\subsubsection*{Maintaining:}
Diese Zusammenfassung wird auf \textit{https://gitlab.cs.fau.de/ik15ydit/latexandmore/} maintain't.
Diese Zusammenfassung wird auf \textit{https://gitlab.cs.fau.de/ik15ydit/latexandmore/} maintain't.\\
\textbf{Generated by texlive: \today}
\section{Einführung}
\begin{defi}[Modell]

View File

@ -17,9 +17,11 @@
\pagestyle{empty}
\title{Zusammenfassung AUD}
\author{Eva Dengler}
\date{Wintersemester 2016/2017}
\maketitle
\subsubsection*{Maintaining:}
Diese Zusammenfassung wird auf \textit{https://gitlab.cs.fau.de/ik15ydit/latexandmore/} maintain't.
Diese Zusammenfassung wird auf \textit{https://gitlab.cs.fau.de/ik15ydit/latexandmore/} maintain't.\\
\textbf{Generated by texlive: \today}
\section{Grundlagen}
\subsection{Aussagenlogik}
\begin{defi}[Bivalenzprinzip]