blob: dc34d180b17b4534fcde3cf6b40d0eefcb4090d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
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}
|
