Informatique fondamentale
Présentation
- Calculabilité et modèle de Machine de Turing
- Problème de terminaison d'un algorithme
- Correction d'un algorithme
- Complexité d'un algorithme et Classes de complexité
Objectifs
- Formaliser les notions de Calculabilité/Décidabilité et d'Algorithmes
- Apprendre à vérifier si un algorithme se termine, prouver sa correction et estimer son efficacité en calculant sa complexité
Conditions d'admission
Algorithmique - Structures de données - Algèbre 1
Volume horaire
- CM : 19,5 h
- TD : 19,5 h
Examens
Contrôle continu (50%)
Examen terminal (50 %)
En bref
Crédits ECTS 4
Nombre d'heures 39
Langue d'enseignement
Français
Contact(s)
Responsable(s)
Ouriachi Khadir
Responsable de la Licence
UFR Sciences et Techniques
Avenue de l'Université - BP 1155
64013 PAU Cédex
Tél : +33 559407648
Email : khadir.ouriachi @ univ-pau.fr
Lieu(x)
- Pau