La Licence de Mathématiques
à l'Université d'Aix-Marseille
Accueil | Parcours MG | Parcours MB | Parcours MI | Parcours PS | CUPGE | Liste des UEs | Annuaire |
Appréhender l'intérêt des formalismes logiques pour l'informatique. Faire le lien entre une formule et un modèle. Représenter des connaissances de façon rigoureuse. Raisonner sur les connaissances.