diff options
| author | David A. Madore <david+git@madore.org> | 2025-10-30 13:59:18 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2025-10-30 13:59:18 +0100 |
| commit | 9cea2929c6f53a485994553ef8cef720c8d763be (patch) | |
| tree | 2f868405de47a671932f07737cb50e8ac579ac5f | |
| parent | 3df9f8d0e89d361255a87a21e8e5426b5d3637b8 (diff) | |
| download | inf110-lfi-9cea2929c6f53a485994553ef8cef720c8d763be.tar.gz inf110-lfi-9cea2929c6f53a485994553ef8cef720c8d763be.tar.bz2 inf110-lfi-9cea2929c6f53a485994553ef8cef720c8d763be.zip | |
Prepare for 2025-2026 academic year.
| -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$}}}} |