diff options
| -rw-r--r-- | notes-inf110-cover.tex | 68 | ||||
| -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 |
4 files changed, 86 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} diff --git a/transp-inf110-01-calc.tex b/transp-inf110-01-calc.tex index 649fd14..9ac5974 100644 --- a/transp-inf110-01-calc.tex +++ b/transp-inf110-01-calc.tex @@ -3919,4 +3919,10 @@ A_\Delta^{\circ 100}(100)$ ou qqch du genre. \end{frame} % +%% \mode<article>{ +%% \ifodd\value{page} +%% \clearpage\hbox{}\newpage +%% \thispagestyle{empty} +%% \fi} +% \end{document} diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex index 67e6687..9629e1e 100644 --- a/transp-inf110-02-typage.tex +++ b/transp-inf110-02-typage.tex @@ -5147,4 +5147,10 @@ car toutes les fonctions et valeurs sont pures. \end{frame} % +%% \mode<article>{ +%% \ifodd\value{page} +%% \clearpage\hbox{}\newpage +%% \thispagestyle{empty} +%% \fi} +% \end{document} diff --git a/transp-inf110-03-quantif.tex b/transp-inf110-03-quantif.tex index 8afb00c..bbf3fa8 100644 --- a/transp-inf110-03-quantif.tex +++ b/transp-inf110-03-quantif.tex @@ -1802,4 +1802,10 @@ renvoie $0$, contradiction. \end{frame} % +%% \mode<article>{ +%% \ifodd\value{page} +%% \clearpage\hbox{}\newpage +%% \thispagestyle{empty} +%% \fi} +% \end{document} |