conspect.tex

\documentclass[12pt, a4paper]{article}
\usepackage{graphicx}
\usepackage{stmaryrd}
\usepackage[T1,T2A]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[english,russian]{babel}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{makeidx}
\usepackage{verbatim}
\usepackage{amsthm}
\usepackage{bnf}
\usepackage{tikz}
\usepackage{enumerate}
\usepackage{mathtext}
\usepackage{mathtools}
\usepackage{mathabx}
\usepackage[left=2cm,right=2cm,top=2cm,bottom=2cm,bindingoffset=0cm]{geometry}
\usepackage{proof}
\usepackage{paracol}
\usepackage{enumitem}
\usepackage{color}
\usepackage{colortbl}
\usepackage{minted}
\usepackage{hyperref}
\usetikzlibrary{graphs}
\usetikzlibrary{graphs.standard}
\usetikzlibrary{automata,positioning}
\usepackage{float}

\title{Введение в Теорию Типов\\\it{Конспект лекций}}
\author{Штукенберг Д.~Г.\\Университет ИТМО}
\DeclareMathOperator{\FV}{FV}
\DeclareMathOperator{\with}{\&}
\hypersetup{
    colorlinks=true,
    linkcolor=blue,
    }

\begin{document}

\theoremstyle{definition}
\newtheorem{definition}{Определение}[section]
\newtheorem{note}{Замечание}[section]

\newtheorem{axiom}{Аксиома}[section]
\newtheorem{theorem}{Теорема}[section]
\newtheorem{lemma}[theorem]{Лемма}
\newtheorem{statement}{Утверждение}[section]
\newtheorem{oun_paragraph}{Пункт}[section]
\newtheorem{cons}{Следствие}[section]
\newtheorem*{example}{Пример}

\newcommand{\comb}[1]{\operatorname{\mathcal{#1}}}
\newcommand{\func}[1]{\operatorname{#1}}
\newcommand{\reduction}[1]{{\color{OrangeRed}#1}}
\newcommand{\set}[1]{\left\{#1\right\}}

\def\from#1{\par \parbox{0.7\textwidth}{\par \hfill\raggedleft \it #1}} 


\newenvironment{epigraph}% 
{\begin{list}{}{\setlength{\leftmargin}{0.3\textwidth}}\item[]}% 
{\end{list}}

\maketitle
\tableofcontents
\newpage

\input{lection01}
\input{lection02}
\input{lection03}
\input{lection04}
\input{lection05}
\input{lection06}
\input{lection07}
\input{lection08}
\input{lection9-10}
\input{lection13}
\input{lection14}
\input{lection15}

\end{document}