summaryrefslogtreecommitdiffstats
path: root/transp-inf110-01-calc.tex
diff options
context:
space:
mode:
Diffstat (limited to 'transp-inf110-01-calc.tex')
-rw-r--r--transp-inf110-01-calc.tex15
1 files changed, 13 insertions, 2 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 …/…