main.tex

\documentclass{book}
\usepackage[spanish]{babel}
\usepackage[utf8x]{inputenc}
\usepackage[hidelinks]{hyperref}
\author{González Vaquero Eduardo, Lobato de la Cruz Pablo, Muñoz Pérez, Miguel}




\usepackage[margin=1in]{geometry}

\usepackage{fancyhdr}
\pagestyle{fancy}
\rhead{González, Lobato, Muñoz}

\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{syllogism}
\usepackage{bussproofs}
\usepackage{enumitem}
\usepackage{comment}
\usepackage[T1]{fontenc}
\usepackage{titlesec, blindtext, color}
\usepackage{tikz-cd}



\definecolor{gray75}{gray}{0.75}
\newcommand{\hsp}{\hspace{20pt}}
\titleformat{\chapter}[hang]{\Huge\bfseries}{\thechapter\hsp\textcolor{gray75}{|}\hsp}{0pt}{\Huge\bfseries}

\newtheorem{theorem}{Teorema}[chapter]
\newtheorem{theorem*}[theorem]{*Teorema}
\newtheorem{prop}[theorem]{Proposición}
\newtheorem{lema}[theorem]{Lema}
\newtheorem{cor}[theorem]{Corolario}

\newtheorem{prop*}[theorem]{*Proposición}
\newtheorem{lema*}[theorem]{*Lema}
\newtheorem{cor*}[theorem]{*Corolario}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definición}
\newtheorem{definition*}[theorem]{*Definición}
\newtheorem{defs}[theorem]{Definiciones}
\newtheorem{defs*}[theorem]{*Definiciones}
\newtheorem{example}[theorem]{Ejemplo}
\newtheorem{ex}[theorem]{Ejercicio}
\newtheorem{note}[theorem]{Nota}
\newtheorem{sist}[theorem]{Sistema}
\newtheorem*{sist*}{Sistema}
\theoremstyle{remark}
\newtheorem{remark}[theorem]{Nota}

\newtheoremstyle{jeje} % name
    {\topsep}                    % Space above
    {\topsep}                    % Space below
    {}                   % Body font
    {}                           % Indent amount
    {\itshape}                   % Theorem head font
    {.}                          % Punctuation after theorem head
    {.5em}                       % Space after theorem head
    {}  % Theorem head spec (can be left empty, meaning ‘normal’)
\theoremstyle{jeje}
\newtheorem*{sketchproof}{Sketch de demostración}

\DeclareMathOperator{\Tr}{Tr}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\K}{\mathbb{K}}
\newcommand{\norm}[1]{\left\|#1\right\|}


\newcommand{\T}{\mathbb{T}}
\renewcommand{\P}{\mathbb{P}}
\newcommand{\C}{\mathbb{C}}
\renewcommand{\H}{\mathbb{H}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\tr}{\mathrm{tr}}
\newcommand{\idash}{\quad}


\newcommand{\nx}{\texttt{x}}
\newcommand{\ny}{\texttt{y}}
\newcommand{\nz}{\texttt{z}}
\newcommand{\nw}{\texttt{w}}

\newcommand{\n}[1]{\texttt{#1}}
\newcommand{\mc}[1]{\mathcal{#1}}
\newcommand{\fc}[2]{\mc{#1}[\![#2]\!]}
\newcommand{\la}[2]{\langle #1, #2 \rangle}
\newcommand{\lac}[4]{\langle #1, #2 , #3, #4  \rangle}
\newcommand{\dto}{\Rightarrow}
\newcommand{\nn}[1]{\mathrm{#1}}

\newcommand{\State}{\textbf{State}}

\newcommand{\nif}{\texttt{if }}
\newcommand{\nthen}{\texttt{ then }}
\newcommand{\nelse}{\texttt{ else }}
\newcommand{\nskip}{\texttt{skip}}

\newcommand{\nfor}{\texttt{for }}
\newcommand{\nwhile}{\texttt{while }}
\newcommand{\ndo}{\texttt{ do }}
\newcommand{\nend}{\texttt{ end}}
\newcommand{\nvar}{\texttt{var }}
\newcommand{\nrepeat}{\texttt{repeat }}
\newcommand{\nuntil}{\texttt{ until }}
\newcommand{\nbegin}{\texttt{begin }}

\newcommand{\conf}[3]{\langle #1, #2, #3 \rangle}
\newcommand{\pre}[3]{\{\, \, #1 \, \, \}\, \, #2\, \, \{ \, \, #3 \, \,  \}}

%Para poner gorritos:
\usepackage{scalerel,stackengine}
\stackMath
\newcommand\reallywidehat[1]{%
\savestack{\tmpbox}{\stretchto{%
  \scaleto{%
    \scalerel*[\widthof{\ensuremath{#1}}]{\kern.1pt\mathchar"0362\kern.1pt}%
    {\rule{0ex}{\textheight}}%WIDTH-LIMITED CIRCUMFLEX
  }{\textheight}% 
}{2.4ex}}%
\stackon[-6.9pt]{#1}{\tmpbox}%
}


\def\regla#1{\ensuremath\mathbf{(#1)}}

\makeatother


\numberwithin{section}{chapter}
\numberwithin{equation}{chapter}

\makeindex

\begin{document}



\title{Apuntes de Teoría de la Programación}


\author{}

\maketitle




%    Dedication.  If the dedication is longer than a line or two,
%    remove the centering instructions and the line break.
\cleardoublepage
\vspace*{13.5pc}
\begin{center}
  Apuntes basados en las clases de Alberto de la Encina Vara de la asignatura Teoría de la Programación del grado en Matemáticas de la Universidad Complutense de Madrid. Redactados durante el curso académico 2020-2021.\\
\end{center}
\cleardoublepage

%    Change page number to 6 if a dedication is present.
\renewcommand{\contentsname}{Contenidos}
\tableofcontents
\pagenumbering{gobble}

%    Include unnumbered chapters (preface, acknowledgments, etc.) here.



%    Include main chapters here.

\include{cap1}
\include{cap2}
\include{cap3}
\include{cap4}
\include{cap5}
\include{cap6}
\include{cap7}
\appendix

%    Include appendix "chapters" here.

%    Bibliography styles amsplain or harvard are also acceptable.
%\bibliographystyle{amsalpha}
%    See note above about multiple indexes.
\end{document}