From 4b2ff4fbc734b8849b58730a52281938c7d5c7e5 Mon Sep 17 00:00:00 2001 From: Erin van der Veen Date: Mon, 16 Oct 2017 15:14:00 +0200 Subject: Move assignment1 to own dir; Setup assignment2.tex; Add 4 hypotheses of Rivest Shapir --- assignments/assignment2/assignment2.tex | 44 +++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) create mode 100644 assignments/assignment2/assignment2.tex (limited to 'assignments/assignment2/assignment2.tex') diff --git a/assignments/assignment2/assignment2.tex b/assignments/assignment2/assignment2.tex new file mode 100644 index 0000000..0b30bb2 --- /dev/null +++ b/assignments/assignment2/assignment2.tex @@ -0,0 +1,44 @@ +\documentclass[british]{scrartcl} + +\usepackage[british]{babel} +\usepackage{csquotes} +\usepackage{enumerate} +\usepackage[hidelinks]{hyperref} +\usepackage{minted} +\setminted{fontsize=\small,breaklines,breakanywhere,tabsize=4} +\usepackage{caption} +\newenvironment{longlisting}{\captionsetup{type=listing}}{} +\usepackage{skak} +\usepackage{tikz} +\usetikzlibrary{arrows, matrix, positioning} +\usepackage{cleveref} + +\let\oldurl\url +\def\url#1{{\small\oldurl{#1}}} + +\title{Testing Techniques} +\subtitle{Assignment 2 Automata Learning} +\author{Ren\'e den Hertog \and Camil Staps \and Erin van der Veen} +% Remove the date from '\maketitle'. +\makeatletter + \patchcmd + {\@maketitle} + {{\usekomafont{date}{\@date\par}}\vskip\z@\@plus 1em} + {} + {} + {} +\makeatother + +\begin{document} + +\maketitle + +\section{Chocolate Bar Machine} + +\section{Bounded Retransmission Protocol} + +\appendix +\section{Listings} + + +\end{document} -- cgit v1.2.3