Init-Algo( ULIN101) et systèmes formels 1 (ULIN403), logique (ULIN406), programmation applicative 1 et 2 (ULIN201 et ULIN303)
Controle connaissances
5 ECTS . Ecrit(50).
Description de l'UE :
Semestre
Code
Intitulé
Cours
TD
TP
TER
S6
ULIN603
Systèmes formels 2
18h
22h
10h
Detail du programme
– Un cadre formel pour ce qui a été vu en début de Licence (langages applicatifs, logique, expressions algébriques) : Manipulation
d' "expressions formelles": termes, arbres, substitutions.
– Transformation de systèmes d'équations: Unification de termes. Quelques algorithmes d'unification. Réécriture de systèmes
d'équations. Exemples simples en arithmétique, en théorie des groupes.
