2023-10-16 16:51:42 +02:00
|
|
|
\documentclass[10pt,a4paper,fancyfoot,git]{mkessler-script}
|
2023-10-16 16:24:38 +02:00
|
|
|
|
|
|
|
|
\course{Logic II}
|
|
|
|
|
\lecturer{Ralf Schindler}
|
2023-10-16 16:51:42 +02:00
|
|
|
\assistant{Mirko Bartsch}
|
2023-10-23 11:44:15 +02:00
|
|
|
\author{Mirko Bartsch, Josia Pietsch}
|
2023-10-16 16:24:38 +02:00
|
|
|
|
|
|
|
|
\usepackage{logic}
|
|
|
|
|
|
|
|
|
|
\begin{document}
|
|
|
|
|
|
|
|
|
|
\maketitle
|
|
|
|
|
|
|
|
|
|
%\frontmatter
|
|
|
|
|
|
|
|
|
|
\cleardoublepage
|
|
|
|
|
|
|
|
|
|
\tableofcontents
|
|
|
|
|
\cleardoublepage
|
|
|
|
|
|
|
|
|
|
\input{inputs/intro}
|
|
|
|
|
|
|
|
|
|
%\mainmatter
|
|
|
|
|
|
|
|
|
|
\newpage
|
|
|
|
|
|
2023-10-16 16:51:42 +02:00
|
|
|
\input{inputs/lecture_01}
|
2023-10-23 11:44:15 +02:00
|
|
|
\input{inputs/lecture_02}
|
2023-10-23 23:45:24 +02:00
|
|
|
\input{inputs/lecture_03}
|
2023-11-05 00:50:26 +01:00
|
|
|
\input{inputs/lecture_04}
|
2023-10-30 15:52:49 +01:00
|
|
|
\input{inputs/lecture_05}
|
2023-11-06 16:22:31 +01:00
|
|
|
\input{inputs/lecture_06}
|
2023-11-09 15:44:04 +01:00
|
|
|
\input{inputs/lecture_07}
|
2023-11-13 15:50:08 +01:00
|
|
|
\input{inputs/lecture_08}
|
2023-11-16 15:38:46 +01:00
|
|
|
\input{inputs/lecture_09}
|
2023-11-24 19:31:00 +01:00
|
|
|
\input{inputs/lecture_10}
|
2023-11-23 15:38:40 +01:00
|
|
|
\input{inputs/lecture_11}
|
2023-11-27 16:07:23 +01:00
|
|
|
\input{inputs/lecture_12}
|
2023-11-30 15:54:02 +01:00
|
|
|
\input{inputs/lecture_13}
|
2023-12-04 15:46:30 +01:00
|
|
|
\input{inputs/lecture_14}
|
2023-10-16 16:24:38 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
\cleardoublepage
|
|
|
|
|
|
|
|
|
|
\appendix
|
|
|
|
|
|
|
|
|
|
\PrintVocabIndex
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\end{document}
|
