Logo AMU

La Licence d'Informatique
à l'Université d'Aix-Marseille

Accueil La Licence Parcours Informatique Parcours MIAGE Semestres Liste des UEs Annuaire
Navigation :
Informations :
Apparaît dans :
Responsables :

L'unité d'enseignement ENSIN6U2
« 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 :

ENSIN2U2 Automates et circuits ; ENSIN3U2 Théorie des langages
Page en XHTML 1.0 strict et CSS 3.0  -  Générée le 28 Sep 2015 par gsf-lic-info-1.5.tgz