diff options
| -rw-r--r-- | transp-inf110-01-calc.tex | 6 | ||||
| -rw-r--r-- | transp-inf110-02-typage.tex | 6 | ||||
| -rw-r--r-- | transp-inf110-03-quantif.tex | 6 |
3 files changed, 9 insertions, 9 deletions
diff --git a/transp-inf110-01-calc.tex b/transp-inf110-01-calc.tex index 9ac5974..bdd8306 100644 --- a/transp-inf110-01-calc.tex +++ b/transp-inf110-01-calc.tex @@ -50,11 +50,11 @@ % % \title{{\footnotesize Partie I:} Calculabilité} -\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(I) \hyperlinkslideprev{$\leftarrow$}\insertframenumber/\inserttotalframenumber\hyperlinkslidenext{$\rightarrow$}}}} diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex index 63300ba..9082576 100644 --- a/transp-inf110-02-typage.tex +++ b/transp-inf110-02-typage.tex @@ -61,11 +61,11 @@ % % \title{{\footnotesize Partie II:} Typage simple et calcul propositionnel} -\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(II) \hyperlinkslideprev{$\leftarrow$}\insertframenumber/\inserttotalframenumber\hyperlinkslidenext{$\rightarrow$}}}} 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$}}}} |