ICLE - Knowledge engineering @ CUI
You are here:
start
»
ffsi
Home
Activities
Members
Research projects
Publications
Resources
Enseignement
References
Intranet
ICLE Institute
CUI
SES
UNIGE
Fondements formels des systèmes d'information
G. Falquet, automne 2012, BSc. en Systèmes d'information
Contenu
2012
Introduction
Systèmes formels
Langages formels et grammaires
2011
Logique des propositions
Logique des prédicats
Modélisation en logique des prédicats
Théorie des ensembles et des graphes
Modèles de la dynamique des systèmes
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