diapos/diapos.tex

   1 \documentclass[serif,handout]{beamer}
   2 \usepackage[accumulated]{beamerseminar}
   3 \usepackage[frenchb]{babel}
   4 \usepackage[latin1]{inputenc}
   5 \usepackage{multicol,url}
   6 % Beamer theme.
   7 % For this theme to work, the files
   8 %
   9 % should be in the main LaTeX file directory.
  10 %\usetheme{LIFC}
  11
  12 \input{../symboles.sty}
  13
  14 \author{Jean-François Couchot \and Alain Giorgetti \and Christophe
  15 Guyeux \and Pierre-Cyrille Héam}
  16 \institute[UFC]{
  17  Université de Franche-Comté
  18 }
  19 \date[\today]{Document révisé le \today}
  20
  21 \title{Logique}
  22 \subtitle{}
  23
  24 \begin{document}
  25 % PAGE D'ACCUEIL
  26 \frame{\titlepage}
  27
  28 \section{Calcul des propositions}
  29 \input{logique/prop}
  30
  31 \section{Algèbre de Boole}
  32 \input{logique/boole}
  33
  34
  35 \section{Déductions et démonstrations}
  36 \input{logique/deduc}
  37
  38
  39 \section{Calcul des prédicats}
  40 \input{logique/pred}
  41
  42 \section{Résolution propositionnelle}
  43 \input{logique/resol}
  44
  45
  46 \end{document}