Machine, Algorithme et Programme : une introduction `a la logique et `a la complexit´e des
algorithmes.
Philippe Langevin langevin@univ-tln.fr
home page 25 septembre 2001
pdf dvi Introduction 90% 36Ko 17Ko 1 Algorithmique 80% 123Ko 57Ko
2 Machines 60%
3 Syntaxe et s´emantique 50%
4 Logique de Hoare 60%
5 Complexit´e 60%
6 Tableaux 40%
7 Algorithmes Euclidiens 40%
Annexes 10%
1