commit 17f414d8184c5704a977c2dd3a549c779d0011a3
parent f41f5526d6c0bb7404bd6aa32d6b2753aa26042d
Author: Georges Dupéron <jahvascriptmaniac+github@free.fr>
Date: Wed, 2 Nov 2011 23:13:33 +0100
Corrigé.
Diffstat:
1 file changed, 134 insertions(+), 139 deletions(-)
diff --git a/presentation/presentation.tex b/presentation/presentation.tex
@@ -47,9 +47,9 @@
\section{Introduction}
\begin{frame}
- \begin{beamercolorbox}
+ \begin{block}{}
Pour se comprendre, il faut des concepts et un mécanisme d'échange communs.
- \end{beamercolorbox}
+ \end{block}
\begin{figure}
\centering
\begin{tikzpicture}[scale=0.8,every node/.style={transform shape}]
@@ -82,145 +82,140 @@
\end{tikzpicture}
\caption{Communication entre trois agents}
\end{figure}
- % TODO
- % schéma avec groupe, concepts et échanges
- % montrer si on n'a pas de concepts communs
- % si pas de protocoles communs
- % Mettre un ordi dedans.
\end{frame}
-% \begin{frame}
-% \begin{block}{Définitions}
-% \begin{itemize}
-% \item Protocole artificiel\\
-% Règles arbitraires qui codifient l'échange entre des agents.\\
-% Nous étudierons seulement les protocoles artificiels formels.
-% \item Agent naturel\\
-% Entité capable d'interagir non crée par l'homme.
-% \end{itemize}
-% \end{block}
-% \end{frame}
-
-% \section{Espéranto}
-
-% \begin{frame}
-% \begin{center}
-% \huge Espéranto
-% \end{center}
-% \begin{itemize}
-% \item Origine et but.
-% \item Une langue dite \emph{construite}
-% \item Une langue vivante.
-% \end{itemize}
-% \end{frame}
-
-% \begin{frame}
-% \begin{center}
-% \huge Espéranto
-% \end{center}
-% \begin{itemize}
-% \item Une grammaire régulière.
-% \\ Exemple eo + fr.
-% \item Une langue agglutinante.
-% \\ Exemple eo + fr.
-% \end{itemize}
-% \end{frame}
-
-% \section[Contrats]{Législation et contrats formels}
-
-% \begin{frame}
-% \begin{itemize}
-% \item Buisness Contract Language (BCL)% GovMil.pdf
-% \item Formalisation des obligations, permissions, pénalités.% en cas de violation des obligations
-% \item Vérification de la consistance.
-% \end{itemize}
-% \end{frame}
-
-% \section[Alphabets]{Alphabets et notations}
-
-% \begin{frame}
-% {\Huge Logogrammes}
-% \begin{itemize}
-% \item Alphabet roman
-% \item Alphabet grec
-% \item \dots
-% \end{itemize}
-% % TODO : images
-% \begin{itemize}
-% \item Idéogrammes chinois
-% \item Hiéroglyphes
-% \item \dots
-% \end{itemize}
-% \end{frame}
-
-% \begin{frame}
-% {\Huge Le morse}
-% \begin{itemize}
-% \item Invention attribué à Samuel Morse (1791 - 1872)
-% \item Créé en 1835
-% \item Seulement deux types d'impulsion sont nécessaires.
-% \end{itemize}
-% % Ajouter la photo de Samuel Morse.
+\begin{frame}
+\begin{block}{Définitions}
+\begin{itemize}
+ \item Protocole artificiel\\
+ Règles arbitraires qui codifient l'échange entre des agents.\\
+ Nous étudierons seulement les protocoles artificiels formels.
+ \item Agent naturel\\
+ Entité capable d'interagir non crée par l'homme.
+\end{itemize}
+\end{block}
+\end{frame}
+
+\section{Espéranto}
+
+\begin{frame}
+\begin{center}
+\huge Espéranto
+\end{center}
+\begin{itemize}
+\item Origine et but.
+\item Une langue dite \emph{construite}
+\item Une langue vivante.
+\end{itemize}
+\end{frame}
+
+\begin{frame}
+\begin{center}
+\huge Espéranto
+\end{center}
+\begin{itemize}
+\item Une grammaire régulière.
+\\ Exemple eo + fr.
+\item Une langue agglutinante.
+\\ Exemple eo + fr.
+\end{itemize}
+\end{frame}
+
+\section[Contrats]{Législation et contrats formels}
+
+\begin{frame}
+ \begin{itemize}
+ \item Buisness Contract Language (BCL)% GovMil.pdf
+ \item Formalisation des obligations, permissions, pénalités.% en cas de violation des obligations
+ \item Vérification de la consistance.
+ \end{itemize}
+\end{frame}
+
+\section[Alphabets]{Alphabets et notations}
+
+\begin{frame}
+ {\Huge Logogrammes}
+ \begin{itemize}
+ \item Alphabet roman
+ \item Alphabet grec
+ \item \dots
+ \end{itemize}
+ % TODO : images
+ \begin{itemize}
+ \item Idéogrammes chinois
+ \item Hiéroglyphes
+ \item \dots
+ \end{itemize}
+\end{frame}
+
+\begin{frame}
+ {\Huge Le morse}
+ \begin{itemize}
+ \item Invention attribué à Samuel Morse (1791 - 1872)
+ \item Créé en 1835
+ \item Seulement deux types d'impulsion sont nécessaires.
+ \end{itemize}
+ % Ajouter la photo de Samuel Morse.
-% % TODO
-% Un exemple Alphabet écrit en morse.
-% \end{frame}
-
-
-% \begin{frame}
-% \Huge{Le braille}
-% \begin{center}
-% % TODO
-% \includegraphics[width=4cm]{./include/cellule_braille.jpg}
-% \end{center}
-% \normalsize \begin{itemize}
-% \item Louis Braille (1809 - 1852)
-% \item Inventé en 1824
-% \item Alphabet en relief
-% \item 64 combinaisons pour tout faire
-% \end{itemize}
-% \end{frame}
-
-% \begin{frame}
-% \Huge Le braille
-% \\ des exemples.
-% \end{frame}
-
-
-% \begin{frame}
-% { \Huge La langue des signes. }
-% \begin{itemize}
-% \item IBM : programme pour traduire texte vers Langue des signes.
-% \item Facilite la communication avec les malentendants.
-% \item Grammaire assez floue.
-% \item Pas exactement le même vocabulaire que le français.
-% \item Encodage de mots et concepts.
-% \end{itemize}
-% \end{frame}
-
-% \begin{frame}
-% \begin{itemize}
-% \item Vues perspective (ISO...) % TODO
-% \item Vue éclatée
-% \item Notation mathématique
-% \end{itemize}
-% % TODO : une vue éclatée
-% % TODO : une formule
-% \end{frame}
-
-% \section{Conclusion}
-
-% % Graphique avec expressivité vs formel
-% % Esperanto : patate 7-10, 4-1
-% % Français : patate 7-10, 2-1
-% % Braille, morse : point 1, 10
-% % Alphabet roman : patate 1, 10-8
-% % Alphabets chinois etc. : patate 1-3, 10-6
-% % LSF : patate 1-3, 10-6
-% % Diagrammes et vues normalisées : point 6, 10
-% % BCL (contrats) : point 6, 9
-
-% \begin{frame}
-% \end{frame}
+ % TODO
+ Un exemple Alphabet écrit en morse.
+\end{frame}
+
+
+\begin{frame}
+ \Huge{Le braille}
+ \begin{center}
+ % TODO
+ \includegraphics[width=4cm]{./include/cellule_braille.jpg}
+ \end{center}
+ \normalsize \begin{itemize}
+ \item Louis Braille (1809 - 1852)
+ \item Inventé en 1824
+ \item Alphabet en relief
+ \item 64 combinaisons pour tout faire
+ \end{itemize}
+\end{frame}
+
+\begin{frame}
+ \Huge Le braille
+ \\ des exemples.
+\end{frame}
+
+
+\begin{frame}
+ { \Huge La langue des signes. }
+ \begin{itemize}
+ \item IBM : programme pour traduire texte vers Langue des signes.
+ \item Facilite la communication avec les malentendants.
+ \item Grammaire assez floue.
+ \item Pas exactement le même vocabulaire que le français.
+ \item Encodage de mots et concepts.
+ \end{itemize}
+\end{frame}
+
+\begin{frame}
+ \begin{itemize}
+ \item Vues perspective (ISO...) % TODO
+ \item Vue éclatée
+ \item Notation mathématique
+ \end{itemize}
+% TODO : une vue éclatée
+% TODO : une formule
+\end{frame}
+
+\section{Conclusion}
+
+% Graphique avec expressivité vs formel
+% Esperanto : patate 7-10, 4-1
+% Français : patate 7-10, 2-1
+% Braille, morse : point 1, 10
+% Alphabet roman : patate 1, 10-8
+% Alphabets chinois etc. : patate 1-3, 10-6
+% LSF : patate 1-3, 10-6
+% Diagrammes et vues normalisées : point 6, 10
+% BCL (contrats) : point 6, 9
+
+\begin{frame}
+\end{frame}
\end{document}
