====== Informatique Théorique ======
  * Contrôle / dessin de diagrammes de Venn:
http://www.u-aizu.ac.jp/~niki/courses/sccp/venn/index.html
  * Visual Automata Simulator:
http://www.cs.usfca.edu/~jbovet/vas.html
  * JFLAP: experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems.
http://www.jflap.org/


===== Documents =====

<note warning>Voici les séries tel qu'elles ont été rendues. Elles contiennent des erreurs!</note>
  * {{3:infot_serie01.pdf}}
  * {{3:infot_serie02.pdf}}
  * {{3:infot_serie03.pdf}}
  * 4
  * {{3:infot_serie05.pdf}}
  * {{3:infot_serie06.pdf}}
  * 7
  * {{3:infot_serie08.pdf}}
  * {{3:infot_serie09.pdf}}
  * {{3:infot_serie10.pdf}}
  * {{3:infot_serie11.pdf}}