Stage sur la vérification de formules logiques @ Département informatique de l'université d'Angers — Guillaume Galay

Votre navigateur est obsolète !

Pour une expériencenet et une sécurité optimale, mettez à jour votre navigateur. Mettre à jour maintenant

Expériences

Vérification de la cohérence des données et des solutions proposées (traduction par formule logique d'arbres phylogénétique)
Vérification des formules logiques

Détails de l'expérience

Projet en collaboration avec l'INRA.
Manipulation de fichiers textes et de fichiers xml.
Utilisation du php (le projet devait être utilisable en ligne de commandes et avoir une interface web).
Le projet a eu l'avantage de montrer les relations entre l'informatique et les autres métiers.
Maître de stage: Gilles Hunault www.info.univ-angers.fr/~gh/

Site web de l'entreprise

http://www.info.univ-angers.fr