OFSI

[edit] Outils formels pour les systèmes d'information

Thèmes :

Dynamique. La représentation des états d'un système et de son évolution dynamique : automates à états finis, diagrammes d'états de Harel (state chaarts), réseaux de Petri
Langages. Langages réguliers et expressions régulières, grammaires et langages hors contexte, langages généraux et systèmes formels
Logique. Logique propositionnelle et logique des prédicats: syntaxe et sémantique, équivalences et manipulations syntaxiques, conséquences logiques et déduction, règles d'inférence (Hilbert, déduction naturelle, résolution), systèmes de raisonnement

Tout le matériel de cours se trouve sur Dokeos : https://dokeos.unige.ch/home/courses/4407