Cover page used to produce a full printable handout.

1 files changed, 68 insertions, 0 deletions

diff --git a/notes-inf110-cover.tex b/notes-inf110-cover.tex
new file mode 100644
index 0000000..dc34d18
--- /dev/null
+++ b/notes-inf110-cover.tex
@@ -0,0 +1,68 @@
+%% This is a LaTeX document.  Hey, Emacs, -*- latex -*- , get it?
+\documentclass[a4paper]{article}
+\usepackage[a4paper,margin=2.5cm]{geometry}
+\usepackage[shorthands=off,french]{babel}
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+\usepackage{lmodern}
+\DeclareUnicodeCharacter{00A0}{~}
+\DeclareUnicodeCharacter{2026}{...}
+\DeclareUnicodeCharacter{1E25}{\d{h}}
+% A tribute to the worthy AMS:
+\usepackage{amsmath}
+\usepackage{amsfonts}
+\usepackage{amssymb}
+\usepackage{amsthm}
+%
+\usepackage{mathrsfs}
+\usepackage{wasysym}
+\usepackage{url}
+%
+\usepackage{graphicx}
+%\usepackage{tikz}
+%\usetikzlibrary{arrows,automata,calc}
+\usepackage{hyperref}
+%
+%
+%
+%
+\pagestyle{empty}
+%
+\begin{document}
+\title{CSC-3C34-TP / INF110\\
+(Logique et Fondements de l'Informatique)
+\\\footnotesize Notes de cours provisoires}
+\author{David A. Madore\\
+{\footnotesize Télécom Paris}\\
+\texttt{david.madore@enst.fr}}
+\date{2023–2025}
+\maketitle\thispagestyle{empty}
+{\footnotesize\center{\url{http://perso.enst.fr/madore/inf110/notes-inf110.pdf}}\par}
+{\tiny
+\immediate\write18{sh ./vc > vcline.tex}
+\begin{center}
+Git: \input{vcline.tex}
+\end{center}
+\immediate\write18{echo ' (stale)' >> vcline.tex}
+\par}
+
+\vskip2cm
+
+\textbf{Avertissement :} À défaut de notes de cours correctement
+rédigées, ce document contient une version imprimable des transparents
+utilisés comme support lors des cours magistraux.  On prendra garde au
+fait qu'il n'a été que très peu relu (notamment, la conversion des
+transparents en un document imprimé a pu introduire des erreurs
+typographiques).
+
+Ce document est composé de trois parties, numérotées indépendamment :
+\begin{itemize}
+\item[I] Calculabilité
+\item[II] Typage simple et calcul propositionnel
+\item[III] Introduction aux quantificateurs
+\end{itemize}
+
+\clearpage\hbox{}\newpage
+
+%
+\end{document}