Domaine : Informatique-Maths applis
Etablissement principal: Univ. ORLEANS
Programme :
Cours : Algorithmique parallèle - Calculabilité et complexité - Formalismes Logiques et Déduction - Outils pour la sémantique des programmes - Programmation logique et par contraines - Démonstration automatique et contraintes - Sémantique du Parallélisme - Graphes et Algorithmes - Grammaires et Compilation Avancée - Traitement du Langage Naturel - Apprentissage symbolique et bases de données déductives.
Mots-clés:
Responsable de la formation: M. Gérard FERRAND
Adresse:
BP 6759 Bâtiment IIIA
45067 ORLEANS cedex 2
Tél : 38 41 70 11 - Fax : 38 41 71 37
E-mail : ferrand@lifo.univ-orleans.fr
Numéro du DEA : 301