summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--transp-inf110-01-calc.tex15
-rw-r--r--transp-inf110-02-typage.tex21
-rw-r--r--transp-inf110-03-quantif.tex13
3 files changed, 39 insertions, 10 deletions
diff --git a/transp-inf110-01-calc.tex b/transp-inf110-01-calc.tex
index 9034397..769e1e4 100644
--- a/transp-inf110-01-calc.tex
+++ b/transp-inf110-01-calc.tex
@@ -1,7 +1,7 @@
%% This is a LaTeX document. Hey, Emacs, -*- latex -*- , get it?
\documentclass[mathserif,a4paper,aspectratio=169]{beamer}
%\documentclass[a4paper]{article}
-%\usepackage[envcountsect,noxcolor]{beamerarticle}
+%\usepackage{beamerarticle}
\usepackage[shorthands=off,french]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
@@ -25,12 +25,21 @@
\usepackage{graphicx}
\usepackage{tikz}
\usetikzlibrary{arrows,automata,calc}
+\usepackage{hyperref}
%
\newcommand{\itempoint}{\strut\hbox{\color{beamerstructure}\donotcoloroutermaths$\blacktriangleright$}\nobreak\hskip.5em plus.5em\relax}
\renewcommand{\thefootnote}{\textdagger}
\newcommand{\dbllangle}{\mathopen{\langle\!\langle}}
\newcommand{\dblrangle}{\mathclose{\rangle\!\rangle}}
%
+\mode<article>{
+ \newcommand{\donotcoloroutermaths}{\relax}
+ \renewcommand{\frametitle}[1]{\subsubsection*{#1 {\footnotesize[transp. \insertframenumber]}}}
+ \newcommand{\myitemmark}{\hbox{$\blacktriangleright$}}
+ \renewcommand{\itempoint}{\strut\myitemmark\nobreak\hskip.5em plus.5em\relax}
+ \setlength{\parindent}{0pt}
+}
+%
%
%
\title{Calculabilité}
@@ -45,7 +54,7 @@
}
\setbeamercolor{myhighlight}{fg=black,bg=white!90!green}
\begin{document}
-\mode<article>{\maketitle}
+\mode<article>{\maketitle\renewcommand{\labelitemi}{\myitemmark}}
%
\setlength\abovedisplayskip{2pt plus 2pt minus 2pt}
\setlength\belowdisplayskip{2pt plus 2pt minus 2pt}
@@ -2749,9 +2758,11 @@ prenant en entrée $m \in \mathbb{N}$ :
\smallskip
Soit $b(e,x)$ le code de l'algorithme qu'on vient de décrire :
+
\centerline{$\varphi^{(1)}_{b(e,x)} = f$ si $\varphi^{(1)}_e(x)\downarrow$
\quad et\quad
$\varphi^{(1)}_{b(e,x)} = {\uparrow}$ si $\varphi^{(1)}_e(x)\uparrow$}
+
notamment $\varphi^{(1)}_{b(e,x)} \in F$ ssi $\varphi^{(1)}_e(x)\downarrow$
\textcolor{brown}{($\leftarrow$ c'est là la réduction)}.\hfill …/…
diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex
index d3906f4..c93a812 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -1,7 +1,7 @@
%% This is a LaTeX document. Hey, Emacs, -*- latex -*- , get it?
\documentclass[mathserif,a4paper,aspectratio=169]{beamer}
%\documentclass[a4paper]{article}
-%\usepackage[envcountsect,noxcolor]{beamerarticle}
+%\usepackage{beamerarticle}
\usepackage[shorthands=off,french]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
@@ -26,6 +26,7 @@
\usepackage{graphicx}
\usepackage{tikz}
\usetikzlibrary{arrows,automata,calc}
+\usepackage{hyperref}
%
\newcommand{\itempoint}{\strut\hbox{\color{beamerstructure}\donotcoloroutermaths$\blacktriangleright$}\nobreak\hskip.5em plus.5em\relax}
\renewcommand{\thefootnote}{\textdagger}
@@ -42,6 +43,14 @@
\newcommand{\mpdotsabove}[1]{\inferrule*{\vdots}{#1}}
\setlength{\derivskip}{4pt}
%
+\mode<article>{
+ \newcommand{\donotcoloroutermaths}{\relax}
+ \renewcommand{\frametitle}[1]{\subsubsection*{#1 {\footnotesize[transp. \insertframenumber]}}}
+ \newcommand{\myitemmark}{\hbox{$\blacktriangleright$}}
+ \renewcommand{\itempoint}{\strut\myitemmark\nobreak\hskip.5em plus.5em\relax}
+ \setlength{\parindent}{0pt}
+}
+%
%
%
\title{Typage simple et calcul propositionnel}
@@ -57,7 +66,7 @@
\setbeamercolor{myhighlight}{fg=black,bg=white!90!green}
\colorlet{mydarkgreen}{green!50!black}
\begin{document}
-\mode<article>{\maketitle}
+\mode<article>{\maketitle\renewcommand{\labelitemi}{\myitemmark}}
%
\setlength\abovedisplayskip{2pt plus 2pt minus 2pt}
\setlength\belowdisplayskip{2pt plus 2pt minus 2pt}
@@ -1548,7 +1557,7 @@ pour un gain de place) :
Présentation « drapeau », plus proche de l'écriture naturelle, commode
à vérifier :
-{\footnotesize
+\begin{footnotesize}
\begin{flagderiv}[example-proof1]
\assume{conj}{A\land B}{}
\step{partb}{B}{$\land$Élim$_2$ sur \ref{conj}}
@@ -1556,11 +1565,11 @@ Présentation « drapeau », plus proche de l'écriture naturelle, commode
\step{newconj}{B\land A}{$\land$Int sur \ref{partb}, \ref{parta}}
\conclude{}{A\land B \Rightarrow B\land A}{$\Rightarrow$Int de \ref{conj} dans \ref{newconj}}
\end{flagderiv}
-\par}
+\end{footnotesize}
\vskip-2ex
-{\footnotesize
+\begin{footnotesize}
\begin{flagderiv}[example-proof2]
\assume{disj}{A\lor B}{}
\assume{parta}{A}{}
@@ -1572,7 +1581,7 @@ Présentation « drapeau », plus proche de l'écriture naturelle, commode
\step{newdisj}{B\lor A}{$\lor$Élim sur \ref{disj} de \ref{parta} dans \ref{fromparta} et de \ref{partb} dans \ref{frompartb}}
\conclude{}{A\lor B \Rightarrow B\lor A}{$\Rightarrow$Int de \ref{disj} dans \ref{newdisj}}
\end{flagderiv}
-\par}
+\end{footnotesize}
\end{frame}
%
diff --git a/transp-inf110-03-quantif.tex b/transp-inf110-03-quantif.tex
index d5765a5..02917f0 100644
--- a/transp-inf110-03-quantif.tex
+++ b/transp-inf110-03-quantif.tex
@@ -1,7 +1,7 @@
%% This is a LaTeX document. Hey, Emacs, -*- latex -*- , get it?
\documentclass[mathserif,a4paper,aspectratio=169]{beamer}
%\documentclass[a4paper]{article}
-%\usepackage[envcountsect,noxcolor]{beamerarticle}
+%\usepackage{beamerarticle}
\usepackage[shorthands=off,french]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
@@ -26,6 +26,7 @@
\usepackage{graphicx}
\usepackage{tikz}
\usetikzlibrary{arrows,automata,calc}
+\usepackage{hyperref}
%
\newcommand{\itempoint}{\strut\hbox{\color{beamerstructure}\donotcoloroutermaths$\blacktriangleright$}\nobreak\hskip.5em plus.5em\relax}
\renewcommand{\thefootnote}{\textdagger}
@@ -42,6 +43,14 @@
\newcommand{\mpdotsabove}[1]{\inferrule*{\vdots}{#1}}
%\setlength{\derivskip}{4pt}
%
+\mode<article>{
+ \newcommand{\donotcoloroutermaths}{\relax}
+ \renewcommand{\frametitle}[1]{\subsubsection*{#1 {\footnotesize[transp. \insertframenumber]}}}
+ \newcommand{\myitemmark}{\hbox{$\blacktriangleright$}}
+ \renewcommand{\itempoint}{\strut\myitemmark\nobreak\hskip.5em plus.5em\relax}
+ \setlength{\parindent}{0pt}
+}
+%
%
%
\title{Introduction aux quantificateurs}
@@ -57,7 +66,7 @@
\setbeamercolor{myhighlight}{fg=black,bg=white!90!green}
\colorlet{mydarkgreen}{green!50!black}
\begin{document}
-\mode<article>{\maketitle}
+\mode<article>{\maketitle\renewcommand{\labelitemi}{\myitemmark}}
%
\setlength\abovedisplayskip{2pt plus 2pt minus 2pt}
\setlength\belowdisplayskip{2pt plus 2pt minus 2pt}