Aux files
This commit is contained in:
parent
c4961d148d
commit
01b36c6e48
7 changed files with 246 additions and 6 deletions
|
|
@ -1 +0,0 @@
|
||||||
../biblio.bib
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
../concurgames.sty
|
|
||||||
63
slides/concurgames.sty
Normal file
63
slides/concurgames.sty
Normal file
|
|
@ -0,0 +1,63 @@
|
||||||
|
%% By Théophile Bastian
|
||||||
|
%% Useful commands for concurrent games as event structures
|
||||||
|
|
||||||
|
\usepackage[normalem]{ulem}
|
||||||
|
\usepackage{MnSymbol}
|
||||||
|
\usepackage{stmaryrd}
|
||||||
|
\usepackage{tikz}
|
||||||
|
\usepackage{relsize}
|
||||||
|
|
||||||
|
\usetikzlibrary{shapes,arrows,positioning}
|
||||||
|
|
||||||
|
\newcommand{\fname}[1]{\textsc{#1}}
|
||||||
|
|
||||||
|
\newcommand{\con}{\operatorname{Con}}
|
||||||
|
\newcommand{\confl}{\raisebox{0.5em}{\uwave{\hspace{2em}}}}
|
||||||
|
|
||||||
|
\newcommand{\obseq}{\simeq_\text{obs}}
|
||||||
|
|
||||||
|
\newcommand{\cov}{{{\mathrel-\joinrel\subset}}}
|
||||||
|
\newcommand{\longcov}[1]{{\stackrel{#1}
|
||||||
|
{\mathrel-\joinrel\relbar\joinrel\subset\,}}}
|
||||||
|
\newcommand{\forkover}[1]{\longcov{#1}}
|
||||||
|
\newcommand{\fork}{\cov}
|
||||||
|
|
||||||
|
\newcommand{\edgeArrow}{\rightarrowtriangle}
|
||||||
|
\newcommand{\linarrow}{\rightspoon}
|
||||||
|
\newcommand{\redarrow}[1]{\overset{#1}{\longrightarrow}}
|
||||||
|
|
||||||
|
\newcommand{\config}{\mathscr{C}}
|
||||||
|
\newcommand{\downclose}[1]{\left[#1\right]}
|
||||||
|
|
||||||
|
\newcommand{\strComp}{\odot}
|
||||||
|
\newcommand{\strInteract}{\ostar}
|
||||||
|
\newcommand{\strParallel}{\parallel}
|
||||||
|
|
||||||
|
\newcommand{\seman}[1]{\llbracket{} #1 \rrbracket}
|
||||||
|
|
||||||
|
\newcommand{\tens}{\otimes}
|
||||||
|
\newcommand{\Tens}{\mathlarger\otimes}
|
||||||
|
|
||||||
|
% LCCS
|
||||||
|
|
||||||
|
\newcommand{\newch}[1]{\left(\nu #1\right)}
|
||||||
|
|
||||||
|
\newcommand{\linearmark}{$\mathcal{L}$}
|
||||||
|
\newcommand{\lcalc}{$\lambda$-calculus}
|
||||||
|
\newcommand{\lccs}{$\lambda$CCS}
|
||||||
|
\newcommand{\linccs}{{\linearmark}CCS}
|
||||||
|
\newcommand{\llccs}{$\lambda${\linearmark}CCS}
|
||||||
|
\newcommand{\proc}{\mathbb{P}}
|
||||||
|
\newcommand{\chan}{\mathbb{C}}
|
||||||
|
|
||||||
|
\newcommand{\validctx}{\mathcal{L}}
|
||||||
|
\newcommand{\freevars}{\operatorname{fv}}
|
||||||
|
|
||||||
|
% Copycat
|
||||||
|
\newcommand{\CC}{{\rm C\!\!\!C}}
|
||||||
|
\newcommand{\cc}{\mathrm{\,c\!\!\!\!c\,}}
|
||||||
|
|
||||||
|
\newcommand{\includedot}[2][]{%
|
||||||
|
\begin{tikzpicture}[>=latex,line join=bevel,#1]
|
||||||
|
\input{_build/dot/#2.tex}
|
||||||
|
\end{tikzpicture}}
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
../math.sty
|
|
||||||
80
slides/math.sty
Normal file
80
slides/math.sty
Normal file
|
|
@ -0,0 +1,80 @@
|
||||||
|
\usepackage{stmaryrd}
|
||||||
|
\usepackage{amsmath}
|
||||||
|
\usepackage{amsfonts}
|
||||||
|
\usepackage{amssymb}
|
||||||
|
\usepackage{amsthm}
|
||||||
|
\usepackage{mathtools}
|
||||||
|
\usepackage{fancybox}
|
||||||
|
\usepackage{mathrsfs}
|
||||||
|
\usepackage{mathtools}
|
||||||
|
|
||||||
|
\newcommand{\eqdef}{{~\coloneqq~}}
|
||||||
|
\newcommand{\lAnd}{~\&~}
|
||||||
|
|
||||||
|
\newcommand{\overOr}[2]{\begin{array}{r l}
|
||||||
|
& #1 \\
|
||||||
|
\textit{or} & \\
|
||||||
|
& #2
|
||||||
|
\end{array}}
|
||||||
|
|
||||||
|
\newcommand{\id}{\operatorname{id}}
|
||||||
|
|
||||||
|
% Intervalle discret.
|
||||||
|
\newcommand{\discrIv}[1]{\llbracket #1 \rrbracket}
|
||||||
|
|
||||||
|
% ensembliste
|
||||||
|
\newcommand{\set}[1]{\left\{ #1 \right\}}
|
||||||
|
\newcommand{\card}[1]{\left\vert{} #1 \right\vert}
|
||||||
|
\newcommand{\abs}[1]{\left\vert{} #1 \right\vert}
|
||||||
|
\newcommand{\interior}[1]{\left({#1}\right)^\circ}
|
||||||
|
\newcommand{\floor}[1]{\left\lfloor{} #1 \right\rfloor}
|
||||||
|
\newcommand{\ceil}[1]{\left\lceil{} #1 \right\rceil}
|
||||||
|
|
||||||
|
% Abréviations courrantes
|
||||||
|
\newcommand{\ie}{\textit{ie.}}
|
||||||
|
\newcommand{\eg}{\textit{eg.}}
|
||||||
|
\newcommand{\Eg}{\textit{Eg.}}
|
||||||
|
\newcommand{\wrt}{\textit{wrt.}}
|
||||||
|
\newcommand{\wlogen}{\textit{wlog.}}
|
||||||
|
\newcommand{\st}{\textit{st.}}
|
||||||
|
|
||||||
|
% Notations à polices étranges
|
||||||
|
\newcommand{\domain}{\mathcal{D}}
|
||||||
|
\newcommand{\bigO}{\mathcal{O}}
|
||||||
|
\newcommand{\calA}{\mathcal{A}}
|
||||||
|
\newcommand{\calC}{\mathcal{C}}
|
||||||
|
\newcommand{\calG}{\mathcal{G}}
|
||||||
|
\newcommand{\calV}{\mathcal{V}}
|
||||||
|
\newcommand{\calT}{\mathcal{T}}
|
||||||
|
\newcommand{\calP}{\mathcal{P}}
|
||||||
|
|
||||||
|
% Ensembles
|
||||||
|
\newcommand{\realset}{\mathbb{R}}
|
||||||
|
\newcommand{\natset}{\mathbb{N}}
|
||||||
|
\newcommand{\relset}{\mathbb{Z}}
|
||||||
|
|
||||||
|
% Probas
|
||||||
|
\newcommand{\prob}{\mathbb{P}}
|
||||||
|
\newcommand{\probP}[1]{\mathbb{P}\left(#1\right)}
|
||||||
|
\newcommand{\expec}{\mathbb{E}}
|
||||||
|
\newcommand{\expecP}[1]{\mathbb{E}\left[#1\right]}
|
||||||
|
\newcommand{\variance}{\mathbb{V}}
|
||||||
|
\newcommand{\ber}{\mathcal{B}er}
|
||||||
|
\newcommand{\bin}{\mathcal{B}in}
|
||||||
|
\newcommand{\poi}{\mathcal{P}oi}
|
||||||
|
|
||||||
|
% Suppression des points
|
||||||
|
\newcommand{\ibar}{\overline{\imath}}
|
||||||
|
\newcommand{\jbar}{\overline{\jmath}}
|
||||||
|
|
||||||
|
% Fonctions
|
||||||
|
%\newcommand{\functiondef}[4]{\left\lbrace \begin{tabular}{r l} #1 & \rightarrow #2 \\ #3 & \mapsto #4\end{tabular} \right.}
|
||||||
|
\newcommand{\functiondef}[4]{\begin{cases}
|
||||||
|
#1 & \to #2 \\
|
||||||
|
#3 & \mapsto #4
|
||||||
|
\end{cases}}
|
||||||
|
|
||||||
|
|
||||||
|
% Preuve par équivalence - puces
|
||||||
|
\newcommand{\impliesbullet}{\ovalbox{$\implies$}}
|
||||||
|
\newcommand{\impliedbybullet}{\ovalbox{$\impliedby$}}
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
../my_hyperref.sty
|
|
||||||
26
slides/my_hyperref.sty
Normal file
26
slides/my_hyperref.sty
Normal file
|
|
@ -0,0 +1,26 @@
|
||||||
|
\usepackage{hyperref}
|
||||||
|
\usepackage{xcolor}
|
||||||
|
|
||||||
|
\definecolor{link_blue}{RGB}{0,0,97}
|
||||||
|
\definecolor{cite_green}{HTML}{009B55}
|
||||||
|
|
||||||
|
\hypersetup{
|
||||||
|
% bookmarks=true, % show bookmarks bar?
|
||||||
|
% unicode=false, % non-Latin characters in Acrobat’s bookmarks
|
||||||
|
% pdftoolbar=true, % show Acrobat’s toolbar?
|
||||||
|
% pdfmenubar=true, % show Acrobat’s menu?
|
||||||
|
% pdffitwindow=false, % window fit to page when opened
|
||||||
|
% pdfstartview={FitH}, % fits the width of the page to the window
|
||||||
|
% pdftitle={My title}, % title
|
||||||
|
% pdfauthor={Author}, % author
|
||||||
|
% pdfsubject={Subject}, % subject of the document
|
||||||
|
% pdfcreator={Creator}, % creator of the document
|
||||||
|
% pdfproducer={Producer}, % producer of the document
|
||||||
|
% pdfkeywords={keyword1} {key2} {key3}, % list of keywords
|
||||||
|
% pdfnewwindow=true, % links in new PDF window
|
||||||
|
colorlinks=true, % false: boxed links; true: colored links
|
||||||
|
linkcolor=link_blue, % color of internal links (change box color with linkbordercolor)
|
||||||
|
citecolor=cite_green, % color of links to bibliography
|
||||||
|
filecolor=magenta, % color of file links
|
||||||
|
urlcolor=link_blue % color of external links
|
||||||
|
}
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
../my_listings.sty
|
|
||||||
63
slides/my_listings.sty
Normal file
63
slides/my_listings.sty
Normal file
|
|
@ -0,0 +1,63 @@
|
||||||
|
\usepackage{listings}
|
||||||
|
\usepackage{algorithmicx}
|
||||||
|
\usepackage{algpseudocode}
|
||||||
|
\usepackage{color}
|
||||||
|
\usepackage{xcolor}
|
||||||
|
\usepackage{courier}
|
||||||
|
\definecolor{color_comment}{HTML}{2D6F19}
|
||||||
|
\definecolor{color_linenum}{HTML}{9E9E9E}
|
||||||
|
\definecolor{color_strings}{HTML}{D300F3}
|
||||||
|
|
||||||
|
|
||||||
|
\lstset{ %
|
||||||
|
% backgroundcolor=\color{white}, % choose the background color; you must add \usepackage{color} or \usepackage{xcolor}
|
||||||
|
basicstyle=\footnotesize\ttfamily, % the size of the fonts that are used for the code
|
||||||
|
breakatwhitespace=false, % sets if automatic breaks should only happen at whitespace
|
||||||
|
breaklines=true, % sets automatic line breaking
|
||||||
|
captionpos=b, % sets the caption-position to bottom
|
||||||
|
commentstyle=\color{color_comment}, % comment style
|
||||||
|
% deletekeywords={...}, % if you want to delete keywords from the given language
|
||||||
|
% escapeinside={\%*}{*)}, % if you want to add LaTeX within your code
|
||||||
|
extendedchars=true, % lets you use non-ASCII characters; for 8-bits encodings only, does not work with UTF-8
|
||||||
|
frame=none, % adds a frame around the code
|
||||||
|
keepspaces=true, % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible)
|
||||||
|
keywordstyle=\color{blue}, % keyword style
|
||||||
|
morekeywords={*,...}, % if you want to add more keywords to the set
|
||||||
|
numbers=left, % where to put the line-numbers; possible values are (none, left, right)
|
||||||
|
numbersep=5pt, % how far the line-numbers are from the code
|
||||||
|
numberstyle=\tiny\color{color_linenum}, % the style that is used for the line-numbers
|
||||||
|
rulecolor=\color{black}, % if not set, the frame-color may be changed on line-breaks within not-black text (e.g. comments (green here))
|
||||||
|
showspaces=false, % show spaces everywhere adding particular underscores; it overrides 'showstringspaces'
|
||||||
|
showstringspaces=false, % underline spaces within strings only
|
||||||
|
showtabs=false, % show tabs within strings adding particular underscores
|
||||||
|
stepnumber=1, % the step between two line-numbers. If it's 1, each line will be numbered
|
||||||
|
stringstyle=\color{color_strings}, % string literal style
|
||||||
|
tabsize=4, % sets default tabsize to 2 spaces
|
||||||
|
% title=\lstname, % show the filename of files included with \lstinputlisting; also try caption instead of title
|
||||||
|
% inputencoding=utf8/latin1 % To accept utf8 encoding
|
||||||
|
}
|
||||||
|
|
||||||
|
\lstset{literate=
|
||||||
|
{á}{{\'a}}1 {é}{{\'e}}1 {í}{{\'i}}1 {ó}{{\'o}}1 {ú}{{\'u}}1
|
||||||
|
{Á}{{\'A}}1 {É}{{\'E}}1 {Í}{{\'I}}1 {Ó}{{\'O}}1 {Ú}{{\'U}}1
|
||||||
|
{à}{{\`a}}1 {è}{{\`e}}1 {ì}{{\`i}}1 {ò}{{\`o}}1 {ù}{{\`u}}1
|
||||||
|
{À}{{\`A}}1 {È}{{\'E}}1 {Ì}{{\`I}}1 {Ò}{{\`O}}1 {Ù}{{\`U}}1
|
||||||
|
{ä}{{\"a}}1 {ë}{{\"e}}1 {ï}{{\"i}}1 {ö}{{\"o}}1 {ü}{{\"u}}1
|
||||||
|
{Ä}{{\"A}}1 {Ë}{{\"E}}1 {Ï}{{\"I}}1 {Ö}{{\"O}}1 {Ü}{{\"U}}1
|
||||||
|
{â}{{\^a}}1 {ê}{{\^e}}1 {î}{{\^i}}1 {ô}{{\^o}}1 {û}{{\^u}}1
|
||||||
|
{Â}{{\^A}}1 {Ê}{{\^E}}1 {Î}{{\^I}}1 {Ô}{{\^O}}1 {Û}{{\^U}}1
|
||||||
|
{œ}{{\oe}}1 {Œ}{{\OE}}1 {æ}{{\ae}}1 {Æ}{{\AE}}1 {ß}{{\ss}}1
|
||||||
|
{ű}{{\H{u}}}1 {Ű}{{\H{U}}}1 {ő}{{\H{o}}}1 {Ő}{{\H{O}}}1
|
||||||
|
{ç}{{\c c}}1 {Ç}{{\c C}}1 {ø}{{\o}}1 {å}{{\r a}}1 {Å}{{\r A}}1
|
||||||
|
{€}{{\EUR}}1 {£}{{\pounds}}1 {¬}{{$\lnot$}}1 {∞}{{$\infty$}}1
|
||||||
|
}
|
||||||
|
|
||||||
|
\newcommand{\true}{\lstinline$true$}
|
||||||
|
\newcommand{\false}{\lstinline$false$}
|
||||||
|
|
||||||
|
\newcommand{\lstbash}[1]{\lstinline[language=bash]$#1$}
|
||||||
|
\newcommand{\lstocaml}[1]{\lstinline[language=Caml]$#1$}
|
||||||
|
\newcommand{\lstcpp}[1]{\lstinline[language=C++]$#1$}
|
||||||
|
\newcommand{\lstc}[1]{\lstinline[language=C]$#1$}
|
||||||
|
\newcommand{\lstpython}[1]{\lstinline[language=python]$#1$}
|
||||||
|
|
||||||
5
slides/theorems.sty
Normal file
5
slides/theorems.sty
Normal file
|
|
@ -0,0 +1,5 @@
|
||||||
|
% vim: :spell spelllang=fr
|
||||||
|
|
||||||
|
\renewenvironment{definition}[1]{\begin{block}{Définition~: #1.}}{\end{block}}
|
||||||
|
\renewenvironment{theorem}[1]{\begin{block}{Théorème~: #1.}}{\end{block}}
|
||||||
|
\renewenvironment{lemma}[1]{\begin{block}{Lemme~: #1.}}{\end{block}}
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
../todo.sty
|
|
||||||
9
slides/todo.sty
Normal file
9
slides/todo.sty
Normal file
|
|
@ -0,0 +1,9 @@
|
||||||
|
\usepackage{xcolor}
|
||||||
|
|
||||||
|
\definecolor{note_text}{HTML}{671800}
|
||||||
|
\definecolor{note_back}{HTML}{00A2E3}
|
||||||
|
|
||||||
|
\newcommand{\qtodo}[1]{\colorbox{orange}{\textcolor{blue}{#1}}}
|
||||||
|
\newcommand{\todo}[1]{\qtodo{\textbf{TODO:}\.#1}}
|
||||||
|
\newcommand{\qnote}[1]{\colorbox{note_back}{\textcolor{note_front}{[#1]}}}
|
||||||
|
\renewcommand{\note}[1]{\qnote{\textbf{NOTE:}\.#1}}
|
||||||
Loading…
Reference in a new issue