\documentclass[serif,handout]{beamer}
\usepackage[accumulated]{beamerseminar}
\usepackage[frenchb]{babel}
\usepackage[latin1]{inputenc}
\usepackage{multicol,url}
% Beamer theme.
% For this theme to work, the files 
%
% should be in the main LaTeX file directory.
%\usetheme{LIFC}

\input{../symboles.sty}

\author{Jean-François Couchot \and Alain Giorgetti \and Christophe
Guyeux \and Pierre-Cyrille Héam} 
\institute[UFC]{
 Université de Franche-Comté
}
\date[\today]{Document révisé le \today}

\title{Logique}
\subtitle{}

\begin{document}
% PAGE D'ACCUEIL
\frame{\titlepage}

\section{Calcul des propositions}
\input{logique/prop}

\section{Algèbre de Boole}
\input{logique/boole}


\section{Déductions et démonstrations}
\input{logique/deduc}


\section{Calcul des prédicats}
\input{logique/pred}

\section{Résolution propositionnelle}
\input{logique/resol}


\end{document}