\documentclass[french,a4paper]{article}

\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{babel}
\usepackage[left=2.0cm, right=2.0cm, top=2.0cm, bottom=2.0cm]{geometry}
\usepackage{amsfonts}
\usepackage{fancybox}
\usepackage{color}
%\usepackage{multicol} % pour organiser le document en colonnes
\usepackage{amsmath}
%\usepackage{stmaryrd} % some fonts / symbols (I guess...)
%\usepackage{array}
%\usepackage{minted} % pour mettre en forme du code

\title{Option informatique MP ~ -- ~ Plan}
\author{Louis Alvin}
\date{\today}


\begin{document}

%\twocolumn
\maketitle



\paragraph{Chap 1 : Les arbres binaires}

\begin{enumerate}
\item Vocabulaire sur les arbres
\item Définitions, fonctions et preuves sur les arbres binaires
\item Arbres binaires de recherche
\item Arbres binaires de recherche autoéquilibrés (HP)
\item Tas binaires
\end{enumerate}

\paragraph{Chap 2 : Mots et langages}

\begin{enumerate}
\item Mots
\item Langages
\item Langages rationnels (ou réguliers)
\end{enumerate}

\paragraph{Chap 3 : Automates finis}

\begin{enumerate}
\item Introduction et premiers exemples
\item Définitions
\item Automates non déterministes
\end{enumerate}

\paragraph{Chap 4 : Les graphes}

\begin{enumerate}
\item Vocabulaire sur les graphes
\item Modélisation de graphes
\item Parcours de graphes
\end{enumerate}

\paragraph{Chap 5 : Notions de logique, Calcul propositionnel}

\begin{enumerate}
\item Calcul propositionnel
\item Formes normales disjonctives ou conjonctives
\item Le problème SAT
\end{enumerate}

\paragraph{Chap 6 : Des expressions rationnelles vers les automates finis}

\begin{enumerate}
\item Langages locaux
\item Automates locaux
\item Cas des expressions rationnelles linéaires
\item Procédure de Berry-Sethi
\end{enumerate}

\paragraph{Chap 7 : Graphes -- Algorithmes de plus courts chemins}

\begin{enumerate}
\item Floyd-Warshall
\item Algorithme de Dijkstra
\end{enumerate}



\end{document}