Logo AMU

La Licence de Mathématiques
à l'Université d'Aix-Marseille

Accueil Parcours MG Parcours MB Parcours MI Parcours PS CUPGE Liste des UEs Annuaire
Navigation :
Informations :
Apparaît dans :
Responsables :

L'unité d'enseignement i15
« Logique et calculabilité »

Objectifs :

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.

Contenus :

Prérequis :

i03 Automates et circuits ; i05 Théorie des langages
Page en XHTML 1.0 strict et CSS 3.0  -  Générée le 10 Jun 2016 par gsf-math-1.5.tgz