Jun 20, 2024 · Jun 8, 2024 · Jun 8, 2024 · Jun 8, 2024 · Jun 8, 2024 · Jun 8, 2024
diff --git a/tex/LinearAlgebra.tex b/tex/LinearAlgebra.tex
diff --git a/tex/main.tex b/tex/main.tex
diff --git a/tex/styles/language.tex b/tex/styles/language.tex
diff --git a/tex/styles/math.tex b/tex/styles/math.tex
diff --git a/tex/styles/theorems.tex b/tex/styles/theorems.tex
diff --git a/tex/styles/utils.tex b/tex/styles/utils.tex
Original file line number	Diff line number	Diff line change
Expand Up		@@ -7,17 +7,19 @@
		\input{styles/language.tex}
		\input{styles/utils.tex}
		\input{styles/tikz.tex}
	\input{styles/math.tex}
	\input{styles/theorems.tex}

	\usepackage{microtype}

	\usepackage{kaobiblio}
	\usepackage{kaobiblio} % Обертка для biblatex, позволяет печатать сноску сбоку
		\addbibresource{FormalLanguageConstrainedReachabilityLectureNotes.bib}

	\SetAlgorithmName{Листинг}{листинг}{Список листингов}

		\tikzexternalize

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

		\begin{document}

Expand All		@@ -30,10 +32,15 @@

		\mainmatter
		\setchapterstyle{kao}
	\setchapterpreamble[u]{\margintoc}

		\input{Introduction}

	\pagelayout{wide} % No margins
	\addpart{Необходимые вводные}
	\pagelayout{margin} % Restore margins

	\input{LinearAlgebra}

		\backmatter
		\setchapterstyle{plain}

Expand Down
Original file line number	Diff line number	Diff line change
		@@ -1,3 +1,6 @@
		\usepackage{polyglossia} % Локализация документа --- переносы и всё такое
		\setmainlanguage{russian}
		\setotherlanguage{english}

	\usepackage[autostyle]{csquotes} % Правильные кавычки в зависимости от языка
	\usepackage{microtype} % Полезные типографические ништячки
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,8 @@
	\usepackage{amsmath, amsfonts, amssymb, amsthm, mathtools} % Advanced math tools.
	\usepackage{nicematrix}

	% \setmathfont[range={\doubleplus}, Scale=MatchLowercase]{Asana Math}

	\NewDocumentCommand{\Z}{}{\mathbb{Z}}
	\NewDocumentCommand{\bz}{}{\mathbb{0}} % Bold zero
	\NewDocumentCommand{\bo}{}{\mathbb{1}} % Bold one
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,66 @@

	\usepackage{thmtools}

	%%% theorem-like envs
	\theoremstyle{definition}

	\declaretheoremstyle[spaceabove=0.5\topsep,
	spacebelow=0.5\topsep,
	headfont=\bfseries\sffamily,
	bodyfont=\normalfont,
	headpunct=.,
	postheadspace=5pt plus 1pt minus 1pt]{myStyle}
	\declaretheoremstyle[spacebelow=\topsep,
	headfont=\bfseries\sffamily,
	bodyfont=\normalfont,
	headpunct=.,
	postheadspace=5pt plus 1pt minus 1pt,]{myStyleWithFrame}
	\declaretheoremstyle[spacebelow=\topsep,
	headfont=\bfseries\sffamily,
	bodyfont=\normalfont,
	headpunct=.,
	postheadspace=5pt plus 1pt minus 1pt,
	qed=\blacksquare]{myProofStyleWithFrame}

	\tcbuselibrary{breakable, skins}
	\tcbset{shield externalize}
	\tcbset{boxrule=0pt,
	sharp corners,
	borderline west={0.3mm}{0pt}{black},
	frame hidden,
	enhanced,
	interior hidden,
	left=2mm,
	top = 1mm,
	bottom = 1mm,
	right = 0.5mm
	}

	% \tcolorboxenvironment{theorem}{}
	% \tcolorboxenvironment{theorem*}{}
	% \tcolorboxenvironment{axiom}{}
	% \tcolorboxenvironment{assertion}{}
	% \tcolorboxenvironment{lemma}{}
	% \tcolorboxenvironment{proposition}{}
	% \tcolorboxenvironment{corollary}{}
	\tcolorboxenvironment{definition}{}
	% \tcolorboxenvironment{proofReplace}{toprule=0mm,bottomrule=0mm,rightrule=0mm, colback=white, breakable }

	% \declaretheorem[name=Теорема, numberwithin=chapter, style=myStyleWithFrame]{theorem}
	% \declaretheorem[name=Теорема, numbered=no, style=myStyleWithFrame]{theorem*}
	% \declaretheorem[name=Аксиома, sibling=theorem, style=myStyleWithFrame]{axiom}
	% \declaretheorem[name=Преположение, sibling=theorem, style=myStyleWithFrame]{assertion}
	% \declaretheorem[name=Лемма, sibling=theorem, style=myStyleWithFrame]{lemma}
	% \declaretheorem[name=Предложение, sibling=theorem, style=myStyleWithFrame]{proposition}
	% \declaretheorem[name=Следствие, numberwithin=theorem, style=myStyleWithFrame]{corollary}

	\declaretheorem[name=Определение, numberwithin=chapter, style=myStyleWithFrame]{definition}
	% \declaretheorem[name=Свойство, numberwithin=chapter, style=myStyle]{property}
	% \declaretheorem[name=Свойства, numbered=no, style=myStyle]{propertylist}

	\declaretheorem[name=Пример, numberwithin=chapter, style=myStyle]{example}
	\declaretheorem[name=Замечание, numbered=no, style=myStyle]{remark}

	% \declaretheorem[name=Доказательство, numbered=no, style=myProofStyleWithFrame]{proofReplace}
	% \renewenvironment{proof}[1][\proofname]{\begin{proofReplace}}{\end{proofReplace}}
	% \declaretheorem[name=Доказательство, numbered=no, style=myProofStyleWithFrame]{longProof}
Original file line number	Diff line number	Diff line change
		@@ -1,3 +1,5 @@
		\usepackage{xurl} % Разрешить переносить URL на любой букве
	\usepackage{booktabs}
	\usepackage[noheader]{gitver}

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