ce cours propose des opérateurs pour constructions de type abstraits de données ou bien des théories en général au sens de Burstall and Goguen.
- Enseignant: Belarbi Mostefa
Un système formel consiste en :
- Un langage formel,
- Un appareillage déductif.
a) langage formel
On considère deux définitions pour l’expression « langage formel »
Langage comprenant des règles de syntaxe et de sémantique
explicites et précises. Les langages de programmation en sont
des exemples, de même que les logiques telles que la logique
de prédicats.
Ensemble fini ou infini de chaines considéré indépendamment
de la signification que les chaines ou que les symboles qu’il
contient pourraient avoir.
- Enseignant: Belarbi Mostefa
principe et opérateurs de calcul sur la Logique propositionnelle et la logique des prédicats
ce cours décrit les fondements des méthodes formelles et langages informatiques associés