Programme d'études 2002-2003 > FSA > INGI2101
INGI2101Mathématiques discrètes : bases logiques de l'informatique

[30h+15h]1q

Enseignant(s) :

Philippe Delsarte, Axel Van Lamsweerde

Objectifs

* Compléter la formation générale en mathématiques en acquérant les bases indispensables à un grand nombre de concepts et techniques des systèmes informatiques.
* Faire les liens entre ces bases et différents domaines d'application (algorithmique, intelligence artificielle, génie logiciel, bases de données, robotique, conception de circuits, etc.).
* Apprendre une démarche rigoureuse de raisonnement et de formalisation.

Cahier des charges

* Introduction à la logique mathématique: logique des propositions, logique des prédicats; théories du premier ordre.
* Mécanismes de raisonnement: résolution, réécriture, induction sur un ensemble bien fondé.
* Structures discrètes vue comme théories du premier ordre: égalité, ordre partiels, treillis; naturels, chaînes, arbres, listes, ensembles, multi-ensembles, tuples.

Résumé

* Fondements: ensembles, relations et fonctions; systèmes formels
* Logique mathématique: calcul des propositions -- syntaxe, sémantique, règles d'inférence; calcul des prédicats du premier ordre -- syntaxe, sémantique, règles d'inférence, réfutation; notion de théorie, modèles, consistance, inclusion, extension.
* Théories équationnelles: théorie de l'égalité, théorie des ordres partiels, théorie des treillis, théorie des groupes.
* Théories inductives: relation biens fondées; induction générale sur un ensemble bien fondé; étude de quelques théories inductives de base -- entiers, chaînes, arbres, listes, ensembles, multi-ensembles, tuples.
Illustrations élémentaires dans différents champs d'application: preuves de programmes, raisonnement automatisé, systèmes à base de connaissances, robotique, bases de données, analyse syntaxique, etc.

Autres informations du cahier des charges

* Prérequis:
Connaissance des mathématiques du niveau des candidatures

* Références
Ouvrage(s) recommandé(s)
Z. Manna, R. Waldinger, "The Deductive Foundations of Computer Programming" , Addison-Wesley, 1993. D. Gries, F. Schneider, "A Logical Approach to Discrete Mathematics" , Springer-Verlag, 1994. Syllabus en vente au SICI.

* Modalités d'organisation
Examen écrit.

* Remarque: voir aussi : http://www.ucl.ac.be/etudes/cours/ingi2101.html

Le cours INGI2101 est mentionné dans les programmes suivants :

FSA2DC

Diplôme d'études complémentaires en sciences appliquées

INFO2

Ingénieur civil informaticien

LINF2

Licence en informatique

MAP2

Ingénieur civil en mathématiques appliquées

Valeurs ECTS de l'activité

FSA2DC/AP

Diplôme d'études complémentaires en sciences appliquées (algorithmique et programmation)

(4 ECTS)

Obligatoire

FSA2DC/IN

Diplôme d'études complémentaires en sciences appliquées (informatique)

(4 ECTS)

INFO21

Première année du programme conduisant au grade d'ingénieur civil informaticien

(4 ECTS)

Obligatoire

LINF21

Première licence en informatique

(4 ECTS)

Obligatoire

LINF21/GN

Première licence en informatique (informatique générale)

(4 ECTS)

LINF21/GS

Première licence en informatique (informatique de gestion)

(4 ECTS)

MAP23

Troisième année du programme conduisant au grade d'ingénieur civil en mathématiques appliquées

(4 ECTS)

Valeur ECTS par défaut

(4 ECTS)


Programme d'études 2002-2003 > FSA > INGI2101

Recherche - Aide - Renseignements généraux

[UCL] [Site Web Facultaire] [Pointeurs utiles]

Responsable : Jean-Louis Marchand
Contact : secretaire@fsa.ucl.ac.be