-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathmain.tex
225 lines (163 loc) · 9.04 KB
/
main.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% kaobook
% LaTeX Template
% Version 1.2 (4/1/2020)
%
% This template originates from:
% https://www.LaTeXTemplates.com
%
% For the latest template development version and to make contributions:
% https://github.com/fmarotta/kaobook
%
% Authors:
% Federico Marotta ([email protected])
% Based on the doctoral thesis of Ken Arroyo Ohori (https://3d.bk.tudelft.nl/ken/en)
% and on the Tufte-LaTeX class.
% Modified for LaTeX Templates by Vel ([email protected])
%
% License:
% CC0 1.0 Universal (see included MANIFEST.md file)
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%----------------------------------------------------------------------------------------
% PACKAGES AND OTHER DOCUMENT CONFIGURATIONS
%----------------------------------------------------------------------------------------
\documentclass[
fontsize=10pt, % Base font size
twoside=false, % Use different layouts for even and odd pages (in particular, if twoside=true, the margin column will be always on the outside)
%open=any, % If twoside=true, uncomment this to force new chapters to start on any page, not only on right (odd) pages
%chapterprefix=true, % Uncomment to use the word "Chapter" before chapter numbers everywhere they appear
%chapterentrydots=true, % Uncomment to output dots from the chapter name to the page number in the table of contents
numbers=noenddot, % Comment to output dots after chapter numbers; the most common values for this option are: enddot, noenddot and auto (see the KOMAScript documentation for an in-depth explanation)
%draft=true, % If uncommented, rulers will be added in the header and footer
%overfullrule=true, % If uncommented, overly long lines will be marked by a black box; useful for correcting spacing problems
]{kaobook}
% Set the language
\usepackage[T2A]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[russian]{babel}
\usepackage[english=british]{csquotes} % English quotes
% Load packages for testing
\usepackage{blindtext}
%\usepackage{showframe} % Uncomment to show boxes around the text area, margin, header and footer
%\usepackage{showlabels} % Uncomment to output the content of \label commands to the document where they are used
% Load the bibliography package
\usepackage{styles/kaobiblio}
\addbibresource{main.bib} % Bibliography file
% Load mathematical packages for theorems and related environments. NOTE: choose only one between 'mdftheorems' and 'plaintheorems'.
\usepackage{styles/mdftheorems}
%\usepackage{styles/plaintheorems}
\graphicspath{{examples/documentation/images/}{images/}} % Paths in which to look for images
\makeindex[columns=3, title=Alphabetical Index, intoc] % Make LaTeX produce the files required to compile the index
\makeglossaries % Make LaTeX produce the files required to compile the glossary
\makenomenclature % Make LaTeX produce the files required to compile the nomenclature
% Reset sidenote counter at chapters
%\counterwithin*{sidenote}{chapter}
%----------------------------------------------------------------------------------------
\usepackage{import}
\usepackage{xifthen}
\usepackage{pdfpages}
\usepackage{transparent}
\usepackage{graphicx}
\newcommand{\incfig}[1]{\def\svgwidth{\columnwidth}\input{images/#1.pdf_tex}}
\begin{document}
%----------------------------------------------------------------------------------------
% BOOK INFORMATION
%----------------------------------------------------------------------------------------
%\titlehead{The \texttt{kaobook} class}
%\subject{Use this document as a template}
\title{Математическая Логика и Теория Алгоритмов}
\subtitle{Конспект лекций по курсу}
\author[Ruslan Kulagin]{Руслан Кулагин}
\date{весна 2021}
%\publishers{An Awesome Publisher}
%----------------------------------------------------------------------------------------
\frontmatter % Denotes the start of the pre-document content, uses roman numerals
%----------------------------------------------------------------------------------------
% OPENING PAGE
%----------------------------------------------------------------------------------------
%\makeatletter
%\extratitle{
% % In the title page, the title is vspaced by 9.5\baselineskip
% \vspace*{9\baselineskip}
% \vspace*{\parskip}
% \begin{center}
% % In the title page, \huge is set after the komafont for title
% \usekomafont{title}\huge\@title
% \end{center}
%}
%\makeatother
%----------------------------------------------------------------------------------------
% COPYRIGHT PAGE
%----------------------------------------------------------------------------------------
\makeatletter
\uppertitleback{\@titlehead} % Header
\lowertitleback{
\textbf{Дисклеймер}\\
Данный конспект не претендует на полноту и корректность. Это всего лишь авторские заметки, которые он пожелал выразить в форме tex файла. Каждый решивший использовать данный конспект для подготовки или изучения делает это на свой страх и риск. Автор рекомендует читать книги и слушать лекции. В случае обнаружения опечаток, помарок или ошибкок, буду рад письму на [email protected] или Pull Request на github.
\medskip
\textbf{Copyright}\\
Эта книга распространяется по лицензии LaTeX Project Public License v1.3c.
Последнюю версию лицензии можно найти по ссылке: \\\url{http://www.latex-project.org/lppl.txt}
\medskip
\textbf{Colophon} \\
Документ был набран при помощи \href{https://sourceforge.net/projects/koma-script/}{\KOMAScript} и \href{https://www.latex-project.org/}{\LaTeX} при использовании класса \href{https://github.com/fmarotta/kaobook/}{kaobook}.
Исходный код доступен по ссылке:\\\url{https://github.com/RKulagin/MLTA}
(Вы можете внести свой вклад в развитие этого конспекта!)
% \medskip
% \textbf{Publisher} \\
% First printed in May 2019 by \@publishers
}
\makeatother
%----------------------------------------------------------------------------------------
% OUTPUT TITLE PAGE AND PREVIOUS
%----------------------------------------------------------------------------------------
% Note that \maketitle outputs the pages before here
% If twoside=false, \uppertitleback and \lowertitleback are not printed
% To overcome this issue, we set twoside=semi just before printing the title pages, and set it back to false just after the title pages
\KOMAoptions{twoside=semi}
\maketitle
\KOMAoptions{twoside=false}
%----------------------------------------------------------------------------------------
% PREFACE
%----------------------------------------------------------------------------------------
%\input{chapters/preface.tex}
%----------------------------------------------------------------------------------------
% TABLE OF CONTENTS & LIST OF FIGURES/TABLES
%----------------------------------------------------------------------------------------
\begingroup % Local scope for the following commands
% Define the style for the TOC, LOF, and LOT
%\setstretch{1} % Uncomment to modify line spacing in the ToC
%\hypersetup{linkcolor=blue} % Uncomment to set the colour of links in the ToC
\setlength{\textheight}{23cm} % Manually adjust the height of the ToC pages
% Turn on compatibility mode for the etoc package
\etocstandarddisplaystyle % "toc display" as if etoc was not loaded
\etocstandardlines % toc lines as if etoc was not loaded
%\tableofcontents % Output the table of contents
%\listoffigures % Output the list of figures
% Comment both of the following lines to have the LOF and the LOT on different pages
\let\cleardoublepage\bigskip
\let\clearpage\bigskip
%\listoftables % Output the list of tables
\endgroup
%----------------------------------------------------------------------------------------
% MAIN BODY
%----------------------------------------------------------------------------------------
\mainmatter % Denotes the start of the main document content, resets page numbering and uses arabic numbers
\setchapterstyle{kao} % Choose the default chapter heading style
\input{chapters/NP.tex}
\input{chapters/functional.tex}
\input{chapters/predicates.tex}
\input{chapters/space.tex}
%----------------------------------------------------------------------------------------
%----------------------------------------------------------------------------------------
% BACK COVER
%----------------------------------------------------------------------------------------
% If you have a PDF/image file that you want to use as a back cover, uncomment the following lines
%\clearpage
%\thispagestyle{empty}
%\null%
%\clearpage
%\includepdf{cover-back.pdf}
%----------------------------------------------------------------------------------------
\end{document}