DEUG MIAS


INFORMATIQUE
Cours, TD, TP


Bibliographie :


Complexité
Preuves de propriétés
Terminaison de programmes


Calculabilité et décidabilité, une introduction. JM Autebert, Masson, 1992.
Cours de Calculabilité. J Bond, Maîtrise d'informatique, LaBri, Université de Bordeaux 1.
Mathématiques pour l'informatique. A. Arnold, I. Guessarian, Masson, 1993.
Computer and Intractability : A guide to the theory of NP-Completeness. M.R. Garey and D.S. Johnson, Computer Science, Mathematics, ISBN 0-7167-1045-5, 1976.
Algorithmes et Complexité. H.S Wilf. Traduit de l'Anglais par Patrick ROUX. Masson, 1989.
Géométrie et C.A.O. D. Martin. Licence d'Informatique. 1993.