diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..268bb6f --- /dev/null +++ b/.gitignore @@ -0,0 +1,6 @@ +*.out +*.aux +*.synctex.gz +*.log +*.fdb_latexmk +*.swp diff --git a/ub06/fs06.tex b/ub06/fs06.tex new file mode 100644 index 0000000..a7d3370 --- /dev/null +++ b/ub06/fs06.tex @@ -0,0 +1,103 @@ +\documentclass[a4paper,12pt]{scrartcl} +\usepackage[ngerman]{babel} +\usepackage{graphicx} %BIlder einbinden +\usepackage{amsmath} %erweiterte Mathe-Zeichen +\usepackage{amsfonts} %weitere fonts +\usepackage[utf8]{inputenc} %Umlaute & Co +\usepackage{hyperref} %Links +\usepackage{ifthen} %ifthenelse +\usepackage{enumerate} +\usepackage{ stmaryrd } + +\usepackage{color} +\usepackage{algpseudocode} %Pseudocode +\usepackage{dsfont} % schöne Zahlenräumezeichen +\usepackage{amssymb, amsthm} %noch stärker erweiterte Mathe-Zeichen +\usepackage{tikz} %TikZ ist kein Zeichenprogramm +\usetikzlibrary{trees,automata,arrows,shapes} +\usepackage{pgfplots} + +\pagestyle{empty} + + +\topmargin-50pt + +\newcounter{aufgabe} +\def\tand{&} + +\newcommand{\makeTableLine}[2][0]{% +\setcounter{aufgabe}{1}% +\whiledo{\value{aufgabe} < #1}% +{% +#2\tand\stepcounter{aufgabe}% +} +} + +\newcommand{\aufgTable}[1]{ +\def\spalten{\numexpr #1 + 1 \relax} +\begin{tabular}{|*{\spalten}{p{1cm}|}} +\makeTableLine[\spalten]{A\theaufgabe}$\Sigma$~~\\ \hline +\rule{0pt}{15pt}\makeTableLine[\spalten]{}\\ +\end{tabular} +} + +\def\header#1#2#3#4#5#6#7{\pagestyle{empty} +\begin{minipage}[t]{0.47\textwidth} +\begin{flushleft} +{\bf #4}\\ +#5 +\end{flushleft} +\end{minipage} +\begin{minipage}[t]{0.5\textwidth} +\begin{flushright} +#6 \vspace{0.5cm}\\ +% Number of Columns Definition of Columns second empty line +% \begin{tabular}{|*{5}{C{1cm}|}}\hline A1&A2&A3&A4&$\Sigma$\\\hline&&&&\\\hline\end{tabular}\\\vspace*{0.1cm} +\aufgTable{#7} +\end{flushright} +\end{minipage} +\vspace{1cm} +\begin{center} +{\Large\bf Blatt #1} + +{(Abgabe #3)} +\end{center} +} + + + +%counts the exercisenumber +\newcounter{n} + +%Kommando für Aufgaben +%\Aufgabe{AufgTitel}{Punktezahl} +\newcommand{\Aufgabe}[1]{\stepcounter{n} +\textbf{Aufgabe \arabic{n}: #1}} + +\newcommand{\textcorr}[1]{\textcolor{red}{#1}} +\newenvironment{corr}{\color{red}}{\color{black}} +\newcommand{\ok}{\begin{corr} + $\checkmark$ + \end{corr}} + +\begin{document} +%\header{BlattNr}{Tutor}{Abgabedatum}{Vorlesungsname}{Namen}{Semester}{Anzahl Aufgaben} +\header{1}{}{2015-12-01}{Formale Sprachen II}{\textit{Maximus Mutschler}\\\textit{Jan-Peter Hohloch}}{WS 15/16}{2} +\vspace{1cm} +\Aufgabe{Aperiodizität}\\ + Sei $(M,\cdot, 1)$ aperiodisches Monoid. + \begin{enumerate}[a)] + \item \textit{Behauptung:} $N\subseteq M$ Untergruppe $\Rightarrow$ $N=\{1\}$\\ + Angenommen es gäbe $a\in N,\ a\not=1$. Da $(N,\cdot,1)$ Gruppe, muss $a^{-1}$ existieren.\\ + Sei nun $N