Unité d'enseignement ENSINCU15 :
« Logiques et jeux »

Description

Crédits : 3
Semestre :  S3

Résumé :

Mu-calcul , syntaxe-sémantique. Model-checking par jeux de parité, tableaux-decidabilité. Puissance expressive

Apparaît dans les parcours