suzanne.soy/2010-m1s1-complexite
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Partie jc ajoutée (jc)

Browse Source
This commit is contained in:
John Charron 2010-12-14 19:20:07 +01:00
parent d0d68e8000
commit 9ad26fc8f1
12 changed files with 3780 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
presentation/#.aux Normal file
View File

@ -0,0 +1 @@
\relax

178
presentation/jc.aux Normal file
View File

@ -0,0 +1,178 @@
\relax
\newlabel{fig:clause-conting}{{1}{4}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{4}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{4/4}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {4}{4}}}
\newlabel{fig:clause-conting}{{2}{5}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{5}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{5/5}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {5}{5}}}
\newlabel{fig:clause-conting}{{3}{6}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{6}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{6/6}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {6}{6}}}
\newlabel{fig:clause-conting}{{4}{7}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{7}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{7/7}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {7}{7}}}
\newlabel{fig:clause-conting}{{5}{8}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{8}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{8/8}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {8}{8}}}
\newlabel{fig:clause-conting}{{6}{9}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{9}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{9/9}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {9}{9}}}
\newlabel{fig:clause-conting}{{7}{10}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{10}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{10/10}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}}
\newlabel{fig:clause-conting}{{8}{11}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{11}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{11/11}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}}
\newlabel{fig:clause-conting}{{9}{12}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{12}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{12/12}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {12}{12}}}
\newlabel{fig:clause-conting}{{10}{13}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{13}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{13}{13/13}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {13}{13}}}
\newlabel{fig:clause-conting}{{11}{14}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{14}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{14}{14/14}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {14}{14}}}
\newlabel{fig:clause-conting}{{12}{15}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{15}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{15}{15/15}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {15}{15}}}
\newlabel{fig:clause-conting}{{13}{16}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{16}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{16}{16/16}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {16}{16}}}
\newlabel{fig:clause-conting}{{14}{17}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{17}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{17}{17/17}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {17}{17}}}
\newlabel{fig:clause-conting}{{15}{18}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{18}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{18}{18/18}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}}
\newlabel{fig:clause-conting}{{16}{19}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{19}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{19}{19/19}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {19}{19}}}
\newlabel{fig:clause-conting}{{17}{20}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{20}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{20}{20/20}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {20}{20}}}
\newlabel{fig:clause-conting}{{18}{21}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{21}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{21}{21/21}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}}
\newlabel{fig:clause-conting}{{19}{22}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{22}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{22}{22/22}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {22}{22}}}
\newlabel{fig:clause-conting}{{20}{23}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{23}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{23}{23/23}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {23}{23}}}
\newlabel{fig:clause-conting}{{21}{24}{Clause contingente : $(x_{1} \vee x_{2}) \wedge (x_{3} \vee x_{4})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-conting}{24}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{24}{24/24}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {24}{24}}}
\newlabel{fig:clause-valide}{{22}{25}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{25}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{25}{25/25}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {25}{25}}}
\newlabel{fig:clause-valide}{{23}{26}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{26}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{26}{26/26}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {26}{26}}}
\newlabel{fig:clause-valide}{{24}{27}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{27}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{27}{27/27}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}}
\newlabel{fig:clause-valide}{{25}{28}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{28}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{28}{28/28}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {28}{28}}}
\newlabel{fig:clause-valide}{{26}{29}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{29}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{29}{29/29}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {29}{29}}}
\newlabel{fig:clause-valide}{{27}{30}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{30}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{30}{30/30}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {30}{30}}}
\newlabel{fig:clause-valide}{{28}{31}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{31}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{31}{31/31}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {31}{31}}}
\newlabel{fig:clause-valide}{{29}{32}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{32}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{32}{32/32}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {32}{32}}}
\newlabel{fig:clause-valide}{{30}{33}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{33}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{33}{33/33}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {33}{33}}}
\newlabel{fig:clause-valide}{{31}{34}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{34}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{34}{34/34}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {34}{34}}}
\newlabel{fig:clause-valide}{{32}{35}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{35}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{35}{35/35}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {35}{35}}}
\newlabel{fig:clause-valide}{{33}{36}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{36}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{36}{36/36}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {36}{36}}}
\newlabel{fig:clause-valide}{{34}{37}{Clause valide : $(x_{1} \vee \neg x_{1}) \wedge (x_{2} \vee \neg x_{2})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-valide}{37}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{37}{37/37}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {37}{37}}}
\newlabel{fig:clause-insat}{{35}{38}{Clause insatisfiable : $(x_{1} \vee x_{1}) \wedge (\neg x_{1} \vee \neg x_{1})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-insat}{38}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{38}{38/38}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {38}{38}}}
\newlabel{fig:clause-insat}{{36}{39}{Clause insatisfiable : $(x_{1} \vee x_{1}) \wedge (\neg x_{1} \vee \neg x_{1})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-insat}{39}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{39}{39/39}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {39}{39}}}
\newlabel{fig:clause-insat}{{37}{40}{Clause insatisfiable : $(x_{1} \vee x_{1}) \wedge (\neg x_{1} \vee \neg x_{1})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-insat}{40}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{40}{40/40}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {40}{40}}}
\newlabel{fig:clause-insat}{{38}{41}{Clause insatisfiable : $(x_{1} \vee x_{1}) \wedge (\neg x_{1} \vee \neg x_{1})$\relax }{}{}}
\@writefile{snm}{\beamer@slide {fig:clause-insat}{41}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{41}{41/41}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {41}{41}}}
\@setckpt{jc}{
\setcounter{page}{42}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{beamerpauses}{1}
\setcounter{lecture}{0}
\setcounter{part}{0}
\setcounter{section}{0}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{subsectionslide}{41}
\setcounter{framenumber}{41}
\setcounter{figure}{38}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{theorem}{0}
\setcounter{lstnumber}{1}
\setcounter{section@level}{0}
\setcounter{lstlisting}{0}
}

34
presentation/jc.log Normal file
View File

@ -0,0 +1,34 @@
This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2010.10.16) 14 DEC 2010 19:12
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
**jc.tex
(./jc.tex
LaTeX2e <2009/09/24>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, loaded.
! LaTeX Error: Missing \begin{document}.
See the LaTeX manual or LaTeX Companion for explanation.
Type H <return> for immediate help.
...
l.3 \begin
{figure}[h!]
? x
Here is how much of TeX's memory you used:
6 strings out of 495061
246 string characters out of 1182620
45108 words of memory out of 3000000
3282 multiletter control sequences out of 15000+50000
3640 words of font info for 14 fonts, out of 3000000 for 9000
28 hyphenation exceptions out of 8191
7i,0n,5p,36b,20s stack positions out of 5000i,500n,10000p,200000b,50000s
No pages of output.
PDF statistics:
0 PDF objects out of 1000 (max. 8388607)
0 named destinations out of 1000 (max. 500000)
1 words of extra memory for PDF output out of 10000 (max. 10000000)

1594
presentation/jc.tex Normal file
View File

File diff suppressed because it is too large Load Diff

35
presentation/presentation.aux Normal file
View File

@ -0,0 +1,35 @@
\relax
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax
\fi
\catcode`:\active
\catcode`;\active
\catcode`!\active
\catcode`?\active
\@writefile{toc}{\beamer@endinputifotherversion {3.07pt}}
\@writefile{nav}{\beamer@endinputifotherversion {3.07pt}}
\select@language{french}
\@writefile{toc}{\select@language{french}}
\@writefile{lof}{\select@language{french}}
\@writefile{lot}{\select@language{french}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{3/3}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}}
\@input{jc.aux}
\@writefile{nav}{\headcommand {\beamer@partpages {1}{41}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{41}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{41}}}
\@writefile{nav}{\headcommand {\beamer@documentpages {41}}}
\@writefile{nav}{\headcommand {\def \inserttotalframenumber {41}}}

1800
presentation/presentation.log Normal file
View File

File diff suppressed because it is too large Load Diff

88
presentation/presentation.nav Normal file
View File

@ -0,0 +1,88 @@
\beamer@endinputifotherversion {3.07pt}
\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}
\headcommand {\beamer@framepages {1}{1}}
\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}
\headcommand {\beamer@framepages {2}{2}}
\headcommand {\slideentry {0}{0}{3}{3/3}{}{0}}
\headcommand {\beamer@framepages {3}{3}}
\headcommand {\slideentry {0}{0}{4}{4/4}{}{0}}
\headcommand {\beamer@framepages {4}{4}}
\headcommand {\slideentry {0}{0}{5}{5/5}{}{0}}
\headcommand {\beamer@framepages {5}{5}}
\headcommand {\slideentry {0}{0}{6}{6/6}{}{0}}
\headcommand {\beamer@framepages {6}{6}}
\headcommand {\slideentry {0}{0}{7}{7/7}{}{0}}
\headcommand {\beamer@framepages {7}{7}}
\headcommand {\slideentry {0}{0}{8}{8/8}{}{0}}
\headcommand {\beamer@framepages {8}{8}}
\headcommand {\slideentry {0}{0}{9}{9/9}{}{0}}
\headcommand {\beamer@framepages {9}{9}}
\headcommand {\slideentry {0}{0}{10}{10/10}{}{0}}
\headcommand {\beamer@framepages {10}{10}}
\headcommand {\slideentry {0}{0}{11}{11/11}{}{0}}
\headcommand {\beamer@framepages {11}{11}}
\headcommand {\slideentry {0}{0}{12}{12/12}{}{0}}
\headcommand {\beamer@framepages {12}{12}}
\headcommand {\slideentry {0}{0}{13}{13/13}{}{0}}
\headcommand {\beamer@framepages {13}{13}}
\headcommand {\slideentry {0}{0}{14}{14/14}{}{0}}
\headcommand {\beamer@framepages {14}{14}}
\headcommand {\slideentry {0}{0}{15}{15/15}{}{0}}
\headcommand {\beamer@framepages {15}{15}}
\headcommand {\slideentry {0}{0}{16}{16/16}{}{0}}
\headcommand {\beamer@framepages {16}{16}}
\headcommand {\slideentry {0}{0}{17}{17/17}{}{0}}
\headcommand {\beamer@framepages {17}{17}}
\headcommand {\slideentry {0}{0}{18}{18/18}{}{0}}
\headcommand {\beamer@framepages {18}{18}}
\headcommand {\slideentry {0}{0}{19}{19/19}{}{0}}
\headcommand {\beamer@framepages {19}{19}}
\headcommand {\slideentry {0}{0}{20}{20/20}{}{0}}
\headcommand {\beamer@framepages {20}{20}}
\headcommand {\slideentry {0}{0}{21}{21/21}{}{0}}
\headcommand {\beamer@framepages {21}{21}}
\headcommand {\slideentry {0}{0}{22}{22/22}{}{0}}
\headcommand {\beamer@framepages {22}{22}}
\headcommand {\slideentry {0}{0}{23}{23/23}{}{0}}
\headcommand {\beamer@framepages {23}{23}}
\headcommand {\slideentry {0}{0}{24}{24/24}{}{0}}
\headcommand {\beamer@framepages {24}{24}}
\headcommand {\slideentry {0}{0}{25}{25/25}{}{0}}
\headcommand {\beamer@framepages {25}{25}}
\headcommand {\slideentry {0}{0}{26}{26/26}{}{0}}
\headcommand {\beamer@framepages {26}{26}}
\headcommand {\slideentry {0}{0}{27}{27/27}{}{0}}
\headcommand {\beamer@framepages {27}{27}}
\headcommand {\slideentry {0}{0}{28}{28/28}{}{0}}
\headcommand {\beamer@framepages {28}{28}}
\headcommand {\slideentry {0}{0}{29}{29/29}{}{0}}
\headcommand {\beamer@framepages {29}{29}}
\headcommand {\slideentry {0}{0}{30}{30/30}{}{0}}
\headcommand {\beamer@framepages {30}{30}}
\headcommand {\slideentry {0}{0}{31}{31/31}{}{0}}
\headcommand {\beamer@framepages {31}{31}}
\headcommand {\slideentry {0}{0}{32}{32/32}{}{0}}
\headcommand {\beamer@framepages {32}{32}}
\headcommand {\slideentry {0}{0}{33}{33/33}{}{0}}
\headcommand {\beamer@framepages {33}{33}}
\headcommand {\slideentry {0}{0}{34}{34/34}{}{0}}
\headcommand {\beamer@framepages {34}{34}}
\headcommand {\slideentry {0}{0}{35}{35/35}{}{0}}
\headcommand {\beamer@framepages {35}{35}}
\headcommand {\slideentry {0}{0}{36}{36/36}{}{0}}
\headcommand {\beamer@framepages {36}{36}}
\headcommand {\slideentry {0}{0}{37}{37/37}{}{0}}
\headcommand {\beamer@framepages {37}{37}}
\headcommand {\slideentry {0}{0}{38}{38/38}{}{0}}
\headcommand {\beamer@framepages {38}{38}}
\headcommand {\slideentry {0}{0}{39}{39/39}{}{0}}
\headcommand {\beamer@framepages {39}{39}}
\headcommand {\slideentry {0}{0}{40}{40/40}{}{0}}
\headcommand {\beamer@framepages {40}{40}}
\headcommand {\slideentry {0}{0}{41}{41/41}{}{0}}
\headcommand {\beamer@framepages {41}{41}}
\headcommand {\beamer@partpages {1}{41}}
\headcommand {\beamer@subsectionpages {1}{41}}
\headcommand {\beamer@sectionpages {1}{41}}
\headcommand {\beamer@documentpages {41}}
\headcommand {\def \inserttotalframenumber {41}}

0
presentation/presentation.out Normal file
View File

BIN
presentation/presentation.pdf Normal file
View File

Binary file not shown.

38
presentation/presentation.snm Normal file
View File

@ -0,0 +1,38 @@
\beamer@slide {fig:clause-conting}{4}
\beamer@slide {fig:clause-conting}{5}
\beamer@slide {fig:clause-conting}{6}
\beamer@slide {fig:clause-conting}{7}
\beamer@slide {fig:clause-conting}{8}
\beamer@slide {fig:clause-conting}{9}
\beamer@slide {fig:clause-conting}{10}
\beamer@slide {fig:clause-conting}{11}
\beamer@slide {fig:clause-conting}{12}
\beamer@slide {fig:clause-conting}{13}
\beamer@slide {fig:clause-conting}{14}
\beamer@slide {fig:clause-conting}{15}
\beamer@slide {fig:clause-conting}{16}
\beamer@slide {fig:clause-conting}{17}
\beamer@slide {fig:clause-conting}{18}
\beamer@slide {fig:clause-conting}{19}
\beamer@slide {fig:clause-conting}{20}
\beamer@slide {fig:clause-conting}{21}
\beamer@slide {fig:clause-conting}{22}
\beamer@slide {fig:clause-conting}{23}
\beamer@slide {fig:clause-conting}{24}
\beamer@slide {fig:clause-valide}{25}
\beamer@slide {fig:clause-valide}{26}
\beamer@slide {fig:clause-valide}{27}
\beamer@slide {fig:clause-valide}{28}
\beamer@slide {fig:clause-valide}{29}
\beamer@slide {fig:clause-valide}{30}
\beamer@slide {fig:clause-valide}{31}
\beamer@slide {fig:clause-valide}{32}
\beamer@slide {fig:clause-valide}{33}
\beamer@slide {fig:clause-valide}{34}
\beamer@slide {fig:clause-valide}{35}
\beamer@slide {fig:clause-valide}{36}
\beamer@slide {fig:clause-valide}{37}
\beamer@slide {fig:clause-insat}{38}
\beamer@slide {fig:clause-insat}{39}
\beamer@slide {fig:clause-insat}{40}
\beamer@slide {fig:clause-insat}{41}

12
presentation/presentation.tex
View File

@ -1,6 +1,14 @@
\documentclass{beamer} \documentclass{beamer}
\usepackage[utf8]{inputenc} \usepackage[utf8]{inputenc}
\usepackage[frenchb]{babel} \usepackage[frenchb]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[frenchb]{babel}
\usepackage{tikz}
\usepackage{amsmath}
\usepackage{listings}
\usepackage{amssymb}
\usetikzlibrary{chains,positioning,matrix,arrows,decorations,calc}
\usetheme{Warsaw} \usetheme{Warsaw}
\title{FMIN105 \\ Complexité/Calculabilité/Algorithmique} \title{FMIN105 \\ Complexité/Calculabilité/Algorithmique}
@ -22,6 +30,6 @@
Et c'est facile. Et c'est facile.
\end{frame} \end{frame}
\end{document} \include{jc}
\end{document}

2
presentation/presentation.toc Normal file
View File

@ -0,0 +1,2 @@
\beamer@endinputifotherversion {3.07pt}
\select@language {french}