Thèmes de recherche
32029 visiteurs
1 visiteur en ligne
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.