Modèles, Calculs, Algorithmes et Preuve

Développer des études de cas dans la modélisation et en calcul, de modélisation scientifique mathématique financière, développer des algorithmes pour preuve de correction et de terminaison, des algorithmes distribués, les algorithmes de base de données, algorithmes combinatoires, problème algorithme de résolution, des données et des algorithmes d'extraction de texte, programmation linéaire et dynamique, modélisation statistique et d'analyse ...

Mots-Clés

Modèles de Calcul – Calculs - Théorie des Modèles – Automates - Algorithmique et Complexité – Décidabilité - Informatique théorique – Logique – Systèmes et Langages formels – Sémantique – Modélisation de systèmes - Spécification- Vérification – Preuve - Test – Système de réécriture.