« Accueil » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
|||
| Ligne 1 : | Ligne 1 : | ||
===[[Prospective pour l' |
===[[Prospective pour l'évaluation de 2019]]=== |
||
* Concepts et outils pour la modélisation et vérification de systèmes complexes (réécriture de graphes, raisonnement automatisé etc.) |
|||
* Formalisation de preuve en mathématiques appliquées et en informatique théorique (e.g., développement de corpus certifiés de définitions, théorèmes et algorithmes pour les mathématiques financières, la logique etc.) |
|||
* Informatique quantique |
|||
== Démarrer avec MediaWiki == |
== Démarrer avec MediaWiki == |
||
Version du 7 janvier 2019 à 13:07
Prospective pour l'évaluation de 2019
- Concepts et outils pour la modélisation et vérification de systèmes complexes (réécriture de graphes, raisonnement automatisé etc.)
- Formalisation de preuve en mathématiques appliquées et en informatique théorique (e.g., développement de corpus certifiés de définitions, théorèmes et algorithmes pour les mathématiques financières, la logique etc.)
- Informatique quantique
Démarrer avec MediaWiki
- Guide de l’utilisateur pour plus d’informations sur l’utilisation de ce logiciel.
- Liste des paramètres de configuration
- FAQ sur MediaWiki
- Liste de discussion sur les distributions de MediaWiki