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)
| |
|