User Tools

Site Tools


ffsi

Fondements formels des systèmes d'information

G. Falquet, automne 2015, BSc. en Systèmes d'information

Cours et exercices

Contenu

Introduction

Dynamique des systèmes et automates à états

  1. Automates à états finis et systèmes dynamiques
  2. Limites de la modélisation avec un automates à états
  3. Les automates à états comme systèmes de calcul
  4. Limites des automates à états finis

Réseaux de Petri

  1. Définitions
  2. Schémas pour la construction « top down » des réseaux
  3. Accessibilité
  4. Graphe de couverture
  5. Tests

Logique propositionnelle

  1. Introduction
  2. Syntaxe des formules logiques
  3. Sémantique
  4. Equivalences et formes normales
  5. Conséquence logique
  6. Déduction
  7. Principe de résolution (Robinson)
  8. Principes de modélisation logique
  9. Algèbre de Boole
  10. Exercices

Logique des prédicats

  1. Introduction
  2. Syntaxe de la logique des prédicats
  3. Sémantique
  4. Déduction
  5. Normalisation et Résolution

Modélisation en logique des prédicats

  1. Théorie logique
  2. Théorie égalitaire
  3. Modélisation axiomatique
  4. Approche orientée modèle

Ensembles et graphes

  1. Théorie des ensembles
  2. Constructions pour la modélisation
  3. Modélisation conceptuelle avec les ensembles
  4. Graphes

Systèmes formels

  1. Définir les systèmes formels
  2. Théorèmes et preuves
ffsi.txt · Last modified: 2016/09/05 11:09 by gilles