1 files changed, 22 insertions, 9 deletions
diff --git a/transp-inf110-03-quantif.tex b/transp-inf110-03-quantif.tex
index 02917f0..bbf3fa8 100644
--- a/transp-inf110-03-quantif.tex
+++ b/transp-inf110-03-quantif.tex
@@ -1,7 +1,13 @@
 %% This is a LaTeX document.  Hey, Emacs, -*- latex -*- , get it?
+\newif\ifbeamermode
+\beamermodetrue
+\ifbeamermode
 \documentclass[mathserif,a4paper,aspectratio=169]{beamer}
-%\documentclass[a4paper]{article}
-%\usepackage{beamerarticle}
+\else
+\documentclass[a4paper]{article}
+\usepackage{beamerarticle}
+\usepackage[a4paper,margin=2.5cm]{geometry}
+\fi
 \usepackage[shorthands=off,french]{babel}
 \usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}
@@ -49,19 +55,20 @@
     \newcommand{\myitemmark}{\hbox{$\blacktriangleright$}}
     \renewcommand{\itempoint}{\strut\myitemmark\nobreak\hskip.5em plus.5em\relax}
     \setlength{\parindent}{0pt}
+    \renewcommand{\thepage}{III–\arabic{page}}
 }
 %
 %
 %
-\title{Introduction aux quantificateurs}
+\title{{\footnotesize Partie III:} Introduction aux quantificateurs}
 \subtitle{INF110 (Logique et Fondements de l'Informatique)}
 \author[David Madore]{David A. Madore\\
 {\footnotesize Télécom Paris}\\
 \texttt{david.madore@enst.fr}}
-\date{2023–2024}
+\date{2023–2025}
 \mode<presentation>{%
 \beamertemplatenavigationsymbolsempty
-\usenavigationsymbolstemplate{\vbox{\hbox{\footnotesize\hyperlinkslideprev{$\leftarrow$}\insertframenumber/\inserttotalframenumber\hyperlinkslidenext{$\rightarrow$}}}}
+\usenavigationsymbolstemplate{\vbox{\hbox{\footnotesize(III) \hyperlinkslideprev{$\leftarrow$}\insertframenumber/\inserttotalframenumber\hyperlinkslidenext{$\rightarrow$}}}}
 }
 \setbeamercolor{myhighlight}{fg=black,bg=white!90!green}
 \colorlet{mydarkgreen}{green!50!black}
@@ -445,7 +452,7 @@ donc), on notera $(\texttt{match~}z\texttt{~with~}\langle v,h\rangle
 {\footnotesize (\textbf{N.B.} $v$ peut apparaître dans $s$ mais pas
   dans $\Gamma$ ni $Q$.)}
 \[
-\inferrule{\Gamma\vdash z \;:\; \exists (v:I).\, P\\\Gamma,\, v:I,\, h:P\vdash Q}{\Gamma\vdash (\texttt{match~}z\texttt{~with~}\langle v,h\rangle \mapsto s) \;:\; Q}
+\inferrule{\Gamma\vdash z \;:\; \exists (v:I).\, P\\\Gamma,\, v:I,\, h:P\vdash s \;:\; Q}{\Gamma\vdash (\texttt{match~}z\texttt{~with~}\langle v,h\rangle \mapsto s) \;:\; Q}
 \]
 
 \medskip
@@ -494,7 +501,7 @@ $\forall$
 \\\hline
 $\exists$
 &\scalebox{0.80}{$\inferrule{{\color{gray}\Gamma\vdash t:I}\\\Gamma\vdash z \;:\; Q[v\backslash t]}{\Gamma\vdash \langle t,z\rangle \;:\; \exists (v:I).\, Q}$}
-&\scalebox{0.80}{$\inferrule{\Gamma\vdash z \;:\; \exists (v:I).\, P\\\Gamma,\, v:I,\, h:P\vdash Q}{\Gamma\vdash (\texttt{match~}z\texttt{~with~}\langle v,h\rangle \mapsto s) \;:\; Q}$}
+&\scalebox{0.80}{$\inferrule{\Gamma\vdash z \;:\; \exists (v:I).\, P\\\Gamma,\, v:I,\, h:P\vdash s \;:\; Q}{\Gamma\vdash (\texttt{match~}z\texttt{~with~}\langle v,h\rangle \mapsto s) \;:\; Q}$}
 \\
 \end{tabular}
 
@@ -701,7 +708,7 @@ des couples, fonctions, etc., des individus).
 \itempoint Néanmoins, elle a une \alert{grande importance
   mathématique} car le dogme « orthodoxe » est que :
 \begin{center}
-Les mathématiques se font dans la « théorie des ensembles\\de
+Les mathématiques se font dans la « théorie des ensembles\\ de
 Zermelo-Fraenkel en logique du premier ordre » ($\mathsf{ZFC}$).
 \end{center}
 
@@ -1406,7 +1413,7 @@ f(n,u_n)$, ou en OCaml
 
 {\footnotesize\tt
 let recurr = fun c -> fun f -> let rec u = fun n -> if n==0 then c
-else f (n-1) (u (n-1)) in u ;;\\
+else f (n-1) (u (n-1)) in u ;;\newline
 {\color{purple}val recurr : 'a -> (int -> 'a -> 'a) -> int -> 'a = <fun>}
 \par}
 
@@ -1795,4 +1802,10 @@ renvoie $0$, contradiction.
 
 \end{frame}
 %
+%% \mode<article>{
+%%     \ifodd\value{page}
+%%         \clearpage\hbox{}\newpage
+%%         \thispagestyle{empty}
+%%     \fi}
+%
 \end{document}