meta data for this page
  •  

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
ffsi [2016/09/05 10:57]
gilles
ffsi [2016/09/05 11:09] (current)
gilles
Line 4: Line 4:
  
 {{:​cours:​ffsi:​ffsi_15.pdf|Cours et exercices}} {{:​cours:​ffsi:​ffsi_15.pdf|Cours et exercices}}
 +
 +==== Contenu ====
 +
 +Introduction
 +
 +Dynamique des systèmes et automates à états
 +    - Automates à états finis et systèmes dynamiques
 +    - Limites de la modélisation avec un automates à états
 +    - Les automates à états comme systèmes de calcul
 +    - Limites des automates à états finis
 +Réseaux de Petri
 +   - Définitions
 +   - Schémas pour la construction « top down » des réseaux
 +   - Accessibilité
 +   - Graphe de couverture
 +   - Tests
 +Logique propositionnelle
 +   - Introduction
 +   - Syntaxe des formules logiques
 +   - Sémantique
 +   - Equivalences et formes normales
 +   - Conséquence logique
 +   - Déduction
 +   - Principe de résolution (Robinson)
 +   - Principes de modélisation logique
 +   - Algèbre de Boole
 +   - Exercices
 + ​Logique des prédicats
 +   - Introduction
 +   - Syntaxe de la logique des prédicats
 +   - Sémantique
 +   - Déduction
 +   - Normalisation et Résolution
 + ​Modélisation en logique des prédicats
 +   - Théorie logique
 +   - Théorie égalitaire
 +   - Modélisation axiomatique
 +   - Approche orientée modèle
 + ​Ensembles et graphes
 +   - Théorie des ensembles
 +   - Constructions pour la modélisation
 +   - Modélisation conceptuelle avec les ensembles
 +   - Graphes
 + ​Systèmes formels
 +   - Définir les systèmes formels
 +   - Théorèmes et preuves
 +
 +