%
% Layout retirado de http://www.di.uminho.pt/~prh/curplc09.html#notas
%
\documentclass[11pt]{report}
\usepackage[portuges]{babel}
\usepackage[utf8]{inputenc}
\usepackage{geometry}
\geometry{margin=1in, bottom=1.5in, top=1.5in}
\usepackage{graphicx}
\usepackage{verbatim}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{import}
\usepackage{amsthm}
\usepackage{enumerate}
\usepackage{bussproofs}
\usepackage{xcolor}
\usepackage{minted}
\usepackage[titletoc]{appendix}
\usepackage[hidelinks]{hyperref}
\usepackage{float}

\usepackage{caption}
\usepackage{appendix}

\newtheorem{acknowledgement}{Acknowledgement}[section]
\newtheorem{algorithm}{Algorithm}[section]
\newtheorem{axiom}{Axiom}[section]
\newtheorem{case}{Case}[section]
\newtheorem{claim}{Claim}[section]
\newtheorem{conclusion}{Conclusion}[section]
\newtheorem{condition}{Condition}[section]
\newtheorem{conjecture}{Conjecture}[section]
\newtheorem{corollary}{Corollary}[section]
\newtheorem{criterion}{Criterion}[section]
\newtheorem{definition}{Definição}[section]
\newtheorem{theorem}{Teorema}[section]

\usepackage {ifthen}

\newboolean{printCode}
\setboolean{printCode}{true}

\theoremstyle{definition}
\newtheorem{example}[definition]{Exemplo}

\newtheorem{exer}{Exercício}[section]
\newtheorem{lema}{Lema}[section]
\newtheorem{notation}{Notation}[section]
\newtheorem{problem}{Problem}[section]
\newtheorem{proposition}{Proposition}[section]
\newtheorem{remark}{Nota}[section]
\newtheorem{solution}{Solution}[section]
\newtheorem{assumption}{Assumption}[section]
\newtheorem{summary}{Summary}[section]
\newtheorem{note}{Note}[section]
\newtheorem{doubt}{Doubt}[section]
\newtheorem{properties}{Properties}[section]


\renewcommand{\ra}{\rightarrow}
\renewcommand{\L}{\Lambda}

\usepackage{makeidx}
\usepackage{xfrac}
\usepackage{url}

\usepackage{listings}
%LISTING - GENERAL
\lstset{
    basicstyle=\small,
    numbers=left,
    numberstyle=\tiny,
    numbersep=5pt,
    breaklines=true,
        frame=tB,
    mathescape=true,
    escapeinside={(*@}{@*)}
}

\usepackage{xspace}
\setlength{\parindent}{1em}
\linespread{1.2}

\begin{document}

\begin{titlepage}
\begin{center}
\vspace{4.5cm}


\begin{figure}[h]
\centering
\includegraphics[width=5cm]{imagens/logo-ee.png}
\end{figure} \vspace{0.3cm}

{\large \textbf{Escola de Engenharia da Universidade do Minho\\
Departamento de Informática  \\ Mestrado Integrado em Engenharia Informática \\ Gramáticas na Compreensão de Software}} \\\vspace{4cm}
{\Huge \textbf {Sistema de Perguntas e Respostas\\ \vspace{5cm}}}
{\large \textnormal {
João Gomes, A74033\\
Tiago Fraga, A74092 }\\ \vspace{1.5cm}}

\large{14 de Janeiro de 2019}

\end{center}
\end{titlepage}

\tableofcontents
\listoffigures

\input{Introducao.tex}

\input{Contextualizacao.tex}

\input{Conclusao.tex}


\bibliographystyle{unsrt}
\bibliography{ref}

\end{document}