diff options
Diffstat (limited to 'transp-inf110-03-quantif.tex')
| -rw-r--r-- | transp-inf110-03-quantif.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/transp-inf110-03-quantif.tex b/transp-inf110-03-quantif.tex index bbf3fa8..07c5d43 100644 --- a/transp-inf110-03-quantif.tex +++ b/transp-inf110-03-quantif.tex @@ -61,11 +61,11 @@ % % \title{{\footnotesize Partie III:} Introduction aux quantificateurs} -\subtitle{INF110 (Logique et Fondements de l'Informatique)} +\subtitle{CSC-3TC34-TP / 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–2025} +\texttt{david.madore@}(nom de l'école)\texttt{.fr}} +\date{2023–2026} \mode<presentation>{% \beamertemplatenavigationsymbolsempty \usenavigationsymbolstemplate{\vbox{\hbox{\footnotesize(III) \hyperlinkslideprev{$\leftarrow$}\insertframenumber/\inserttotalframenumber\hyperlinkslidenext{$\rightarrow$}}}} |