ICLE - Knowledge engineering @ CUI
You are here: start » ffsi

Fondements formels des systèmes d'information

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

Contenu

2012
  1. Introduction
  2. Systèmes formels
  3. Langages formels et grammaires
2011
  1. Logique des propositions
  2. Logique des prédicats
  3. Modélisation en logique des prédicats
  4. Théorie des ensembles et des graphes
  5. Modèles de la dynamique des systèmes
Driven by DokuWiki Recent changes RSS feed
Last modified: 2012/09/15 15:13
   
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported