Skip to content

Commit 985b7a7

Browse files
WoWasterWoWaster
committed
Add Linear Algebra chapter
Also ton of styling and reformating
1 parent 4dc106c commit 985b7a7

File tree

6 files changed

+906
-5
lines changed

6 files changed

+906
-5
lines changed

‎tex/LinearAlgebra.tex

Lines changed: 815 additions & 0 deletions
Large diffs are not rendered by default.

‎tex/main.tex

Lines changed: 12 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -7,17 +7,19 @@
77
\input{styles/language.tex}
88
\input{styles/utils.tex}
99
\input{styles/tikz.tex}
10+
\input{styles/math.tex}
11+
\input{styles/theorems.tex}
1012

11-
\usepackage{microtype}
12-
13-
\usepackage{kaobiblio}
13+
\usepackage{kaobiblio} % Обертка для biblatex, позволяет печатать сноску сбоку
1414
\addbibresource{FormalLanguageConstrainedReachabilityLectureNotes.bib}
1515

16+
\SetAlgorithmName{Листинг}{листинг}{Список листингов}
17+
1618
\tikzexternalize
1719

1820
\title{О достижимости с ограничениями в терминах формальных языков}
1921
\author{Семён Григорьев}
20-
\date{\today}
22+
\date{\gitVer{}}
2123

2224
\begin{document}
2325

@@ -30,10 +32,15 @@
3032

3133
\mainmatter
3234
\setchapterstyle{kao}
33-
\setchapterpreamble[u]{\margintoc}
3435

3536
\input{Introduction}
3637

38+
\pagelayout{wide} % No margins
39+
\addpart{Необходимые вводные}
40+
\pagelayout{margin} % Restore margins
41+
42+
\input{LinearAlgebra}
43+
3744
\backmatter
3845
\setchapterstyle{plain}
3946

‎tex/styles/language.tex

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
11
\usepackage{polyglossia} % Локализация документа --- переносы и всё такое
22
\setmainlanguage{russian}
33
\setotherlanguage{english}
4+
5+
\usepackage[autostyle]{csquotes} % Правильные кавычки в зависимости от языка
6+
\usepackage{microtype} % Полезные типографические ништячки

‎tex/styles/math.tex

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
\usepackage{amsmath, amsfonts, amssymb, amsthm, mathtools} % Advanced math tools.
2+
\usepackage{nicematrix}
3+
4+
% \setmathfont[range={\doubleplus}, Scale=MatchLowercase]{Asana Math}
5+
6+
\NewDocumentCommand{\Z}{}{\mathbb{Z}}
7+
\NewDocumentCommand{\bz}{}{\mathbb{0}} % Bold zero
8+
\NewDocumentCommand{\bo}{}{\mathbb{1}} % Bold one

‎tex/styles/theorems.tex

Lines changed: 66 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,66 @@
1+
2+
\usepackage{thmtools}
3+
4+
%%% theorem-like envs
5+
\theoremstyle{definition}
6+
7+
\declaretheoremstyle[spaceabove=0.5\topsep,
8+
spacebelow=0.5\topsep,
9+
headfont=\bfseries\sffamily,
10+
bodyfont=\normalfont,
11+
headpunct=.,
12+
postheadspace=5pt plus 1pt minus 1pt]{myStyle}
13+
\declaretheoremstyle[spacebelow=\topsep,
14+
headfont=\bfseries\sffamily,
15+
bodyfont=\normalfont,
16+
headpunct=.,
17+
postheadspace=5pt plus 1pt minus 1pt,]{myStyleWithFrame}
18+
\declaretheoremstyle[spacebelow=\topsep,
19+
headfont=\bfseries\sffamily,
20+
bodyfont=\normalfont,
21+
headpunct=.,
22+
postheadspace=5pt plus 1pt minus 1pt,
23+
qed=\blacksquare]{myProofStyleWithFrame}
24+
25+
\tcbuselibrary{breakable, skins}
26+
\tcbset{shield externalize}
27+
\tcbset{boxrule=0pt,
28+
sharp corners,
29+
borderline west={0.3mm}{0pt}{black},
30+
frame hidden,
31+
enhanced,
32+
interior hidden,
33+
left=2mm,
34+
top = 1mm,
35+
bottom = 1mm,
36+
right = 0.5mm
37+
}
38+
39+
% \tcolorboxenvironment{theorem}{}
40+
% \tcolorboxenvironment{theorem*}{}
41+
% \tcolorboxenvironment{axiom}{}
42+
% \tcolorboxenvironment{assertion}{}
43+
% \tcolorboxenvironment{lemma}{}
44+
% \tcolorboxenvironment{proposition}{}
45+
% \tcolorboxenvironment{corollary}{}
46+
\tcolorboxenvironment{definition}{}
47+
% \tcolorboxenvironment{proofReplace}{toprule=0mm,bottomrule=0mm,rightrule=0mm, colback=white, breakable }
48+
49+
% \declaretheorem[name=Теорема, numberwithin=chapter, style=myStyleWithFrame]{theorem}
50+
% \declaretheorem[name=Теорема, numbered=no, style=myStyleWithFrame]{theorem*}
51+
% \declaretheorem[name=Аксиома, sibling=theorem, style=myStyleWithFrame]{axiom}
52+
% \declaretheorem[name=Преположение, sibling=theorem, style=myStyleWithFrame]{assertion}
53+
% \declaretheorem[name=Лемма, sibling=theorem, style=myStyleWithFrame]{lemma}
54+
% \declaretheorem[name=Предложение, sibling=theorem, style=myStyleWithFrame]{proposition}
55+
% \declaretheorem[name=Следствие, numberwithin=theorem, style=myStyleWithFrame]{corollary}
56+
57+
\declaretheorem[name=Определение, numberwithin=chapter, style=myStyleWithFrame]{definition}
58+
% \declaretheorem[name=Свойство, numberwithin=chapter, style=myStyle]{property}
59+
% \declaretheorem[name=Свойства, numbered=no, style=myStyle]{propertylist}
60+
61+
\declaretheorem[name=Пример, numberwithin=chapter, style=myStyle]{example}
62+
\declaretheorem[name=Замечание, numbered=no, style=myStyle]{remark}
63+
64+
% \declaretheorem[name=Доказательство, numbered=no, style=myProofStyleWithFrame]{proofReplace}
65+
% \renewenvironment{proof}[1][\proofname]{\begin{proofReplace}}{\end{proofReplace}}
66+
% \declaretheorem[name=Доказательство, numbered=no, style=myProofStyleWithFrame]{longProof}

‎tex/styles/utils.tex

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
11
\usepackage{xurl} % Разрешить переносить URL на любой букве
2+
\usepackage{booktabs}
3+
\usepackage[noheader]{gitver}
24

35
\NewDocumentCommand{\email}{m}{\href{mailto:#1}{#1}} % Кликабельный email

0 commit comments

Comments
 (0)