Unité d'enseignement ENSINCU2 :
« Logique, automates et aspects formels de la théorie des langages »

Description

Crédits : 6
Semestre :  S3

Résumé :

Logique du premier ordre. Logiques modales et temporelles. Logiques monadiques. Décidabilité de logiques .

Automates de mots finis et infinis. Automates d'arbres et langages réguliers d'arbres. Liens avec la logique

Apparaît dans les parcours