Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

📚 The CoCalc Library - books, templates and other resources

132928 views
License: OTHER
1
\documentclass[DIV15,BCOR12mm]{scrbook}
2
\newif\ifAFive\AFivetrue
3
\ifAFive
4
\KOMAoptions{paper=a5,twoside=true}
5
\else
6
\KOMAoptions{paper=a4,twoside=false}
7
\fi
8
\usepackage{etoolbox}
9
\usepackage{amsmath,amssymb}% math symbols / fonts
10
\usepackage{mathtools} % \xRightarrow
11
\usepackage{nicefrac} % \nicefrac
12
\usepackage[utf8]{inputenc} % this is needed for umlauts
13
\usepackage[ngerman]{babel} % this is needed for umlauts
14
\usepackage[T1]{fontenc} % this is needed for correct output of umlauts in pdf
15
\usepackage[framed,amsmath,thmmarks,hyperref]{ntheorem}
16
\usepackage{framed}
17
\usepackage{marvosym}
18
\usepackage{makeidx} % for automatically generation of an index
19
\usepackage{xcolor}
20
\usepackage[bookmarks,bookmarksnumbered,hypertexnames=false,pdfpagelayout=OneColumn,colorlinks,hyperindex=false]{hyperref} % has to be after makeidx
21
\usepackage{breakurl} % allow line breaks in \href{ ... }
22
\ifAFive
23
\hypersetup{hidelinks=true}
24
% no \else branch needed in this case
25
\fi
26
\usepackage{enumitem} % Better than \usepackage{enumerate}, because it allows to set references
27
\usepackage{multicol} % Breaking a list into multiple columns
28
\usepackage{tabto}
29
\usepackage{braket} % needed for \Set
30
\usepackage{csquotes} % \enquote{}
31
\usepackage{subfig} % multiple figures in one
32
\usepackage{parskip} % nicer paragraphs
33
\usepackage{xifthen} % \isempty
34
\usepackage{changepage} % for the adjustwidth environment
35
\usepackage{pst-solides3d}
36
\usepackage[colorinlistoftodos]{todonotes}
37
\usepackage{pgfplots}
38
\pgfplotsset{compat=1.7}
39
\usepackage[arrow, matrix, curve]{xy}
40
\usepackage{caption} % get newlines within captions
41
\usepackage{tikz} % draw
42
\usepackage{tikz-3dplot} % draw
43
\usepackage{tkz-fct} % draw
44
\usepackage{tkz-euclide} % draw
45
\usetkzobj{all} % tkz-euclide
46
\usetikzlibrary{3d,calc,intersections,er,arrows,positioning,shapes.misc,patterns,fadings,decorations.pathreplacing}
47
\usepackage{tqft}
48
\usepackage{xspace} % for new commands; decides weather I want to insert a space after the command
49
\usepackage[german,nameinlink]{cleveref} % has to be after hyperref, ntheorem, amsthm
50
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
51
\usepackage{array,xtab,ragged2e} % for symbol table
52
\newlength\mylengtha
53
\newlength\mylengthb
54
\newcolumntype{P}[1]{>{\RaggedRight}p{#1}}
55
\tabcolsep=3pt % default: 6pt
56
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
57
\usepackage{acronym}
58
\usepackage{minted} % needed for the inclusion of source code
59
\usemintedstyle{bw}
60
\usepackage{courier}
61
\usepackage{wasysym}
62
\usepackage[binary-units = true]{siunitx} % this package is for units!
63
\sisetup{locale=DE}
64
65
%%% Pseudocode settings
66
\usepackage{algorithm,algpseudocode}
67
\algtext*{EndIf} % Remove "end if" text
68
\algtext*{EndWhile} % Remove "end while" text
69
\algtext*{EndFunction} % Remove "end while" text
70
\algnewcommand\Global{\textbf{global }}
71
\makeatletter
72
\addto\captionsngerman{\renewcommand{\ALG@name}{Algorithmus}}
73
\makeatother
74
%%% End of Pseudocode settings
75
\usepackage{shortcuts}
76
77
\usepackage{fancyhdr}
78
\pagestyle{fancy}
79
\renewcommand{\chaptermark}[1]%
80
{\markboth{\MakeUppercase{\thechapter.\ #1}}{}}
81
\renewcommand{\sectionmark}[1]%
82
{\markright{\MakeUppercase{\thesection.\ #1}}}
83
\renewcommand{\headrulewidth}{0.5pt}
84
\renewcommand{\footrulewidth}{0pt}
85
\newcommand{\helv}{%
86
\fontfamily{phv}\fontseries{b}\fontsize{9}{11}\selectfont}
87
\fancyhf{}
88
\fancyhead[LO,RE]{\helv \thepage}
89
\fancyhead[LE]{\helv \rightmark}
90
\fancyhead[RO]{\helv \leftmark}
91
\fancypagestyle{plain}{%
92
\fancyhead{}
93
\renewcommand{\headrulewidth}{0pt}
94
}
95
96
\hypersetup{
97
pdfauthor = {Martin Thoma},
98
pdfkeywords = {Programmierparadigmen},
99
pdftitle = {Programmierparadigmen}
100
}
101
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
102
% The patch for minted: http://tex.stackexchange.com/a/168021/5645
103
\makeatletter
104
\def\FV@BeginListFrame@Lines{%
105
\begingroup
106
\lineskip\z@skip
107
\FV@SingleFrameLine{\z@}%
108
\kern-0.5\baselineskip\relax
109
\baselineskip\z@skip
110
\kern\FV@FrameSep\relax
111
\penalty\@M% added line
112
\endgroup}
113
\makeatother
114
% Unicode minted patch: http://tex.stackexchange.com/a/84883/5645
115
\makeatletter
116
\newcommand{\minted@write@detok}[1]{%
117
\immediate\write\FV@OutFile{\detokenize{#1}}}%
118
119
\newcommand{\minted@FVB@VerbatimOut}[1]{%
120
\@bsphack
121
\begingroup
122
\FV@UseKeyValues
123
\FV@DefineWhiteSpace
124
\def\FV@Space{\space}%
125
\FV@DefineTabOut
126
%\def\FV@ProcessLine{\immediate\write\FV@OutFile}% %Old, non-Unicode version
127
\let\FV@ProcessLine\minted@write@detok %Patch for Unicode
128
\immediate\openout\FV@OutFile #1\relax
129
\let\FV@FontScanPrep\relax
130
%% DG/SR modification begin - May. 18, 1998 (to avoid problems with ligatures)
131
\let\@noligs\relax
132
%% DG/SR modification end
133
\FV@Scan}
134
\let\FVB@VerbatimOut\minted@FVB@VerbatimOut
135
136
\renewcommand\minted@savecode[1]{
137
\immediate\openout\minted@code\jobname.pyg
138
\immediate\write\minted@code{\expandafter\detokenize\expandafter{#1}}%
139
\immediate\closeout\minted@code}
140
\makeatother
141
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
142
143
144
\makeindex
145
\allowdisplaybreaks
146
\usepackage{microtype}
147
148
\begin{document}
149
%-------------------------------------------------------------
150
\newcolumntype{C}{>{\centering\arraybackslash}p{2cm}}
151
%-------------------------------------------------------------
152
\pagenumbering{roman}
153
\setcounter{page}{1}
154
\input{titlepage}
155
\input{Vorwort}
156
\tableofcontents
157
158
\pagenumbering{arabic}
159
\setcounter{page}{1}
160
\input{Programmiersprachen}
161
\input{Programmiertechniken}
162
\input{Logik}
163
\input{Lambda}
164
\input{Typinferenz}
165
\input{Parallelitaet}
166
\input{Java}
167
\input{Haskell}
168
\input{Prolog}
169
\input{Scala}
170
\input{X10}
171
\input{C}
172
\input{MPI}
173
\input{Compilerbau}
174
\input{Java-Bytecode}
175
176
\appendix
177
%\input{Bildquellen}
178
%\clearpage
179
\input{Abkuerzungen}
180
\clearpage
181
\input{Definitionen}
182
\clearpage
183
\input{Symbolverzeichnis}
184
\clearpage
185
\addcontentsline{toc}{chapter}{Stichwortverzeichnis}
186
\renewcommand{\indexname}{Stichwortverzeichnis}
187
\printindex
188
\end{document}
189
190