Unité d'enseignement M61 :

« Informatique fondamentale B, Programmation et Logique »

contenu mis à jour le 2007/10/15 18:51

Description

Crédits : 6

Lieu :  U.F.R. Sciences de Luminy et U.F.R. M.I.M.

Semestre :  S3

Cours/TER : 48h/12h

Responsables :

Résumé : Cours de théorie des automates, de logique monadique de second ordre et étude de théories du 1er ordre.

Plan :

Apparaît dans les parcours