Acquis d'apprentissage

Ce cours vise à introduire et comprendre de manière approfondie (1) les éléments de la logique propositionnelle et de la logique des prédicats qui seront utilisés dans le développement des aspects théoriques des cours "EIMI-B212 Bases de données" et "EGMI-2261 Ingénierie des exigences pour les systèmes d'information", (2) les modèles de données en arbre et en graphe qui seront utilisés dans le cours de "Datamining et business intelligence".

Contenu

Ce cours introduit les concepts-clés ainsi que les outils théoriques nécessaires à la pratique du management de l'information. Il intègre les mathématiques discrètes et les modèles, les concepts et les techniques du management de l'information. Il décrit comment transformer des abstractions mathématiques en programmes opérationnels, il présente et discute les modèles de données: arbre, liste ensemble et graphe. Il introduit de manière approfondie la logique propositionnelle et logique des prédicats, et il présente les concepts logiques au service de la conception des composants d'ordinateur.

Langue d'instruction

Français
Formation Programme d’études Bloc Crédits Obligatoire
Standard 0 3
Standard 3 3