 | | |
| MATH0491-1 | Mathématiques pour l'informatique
|
|
| Durée : | 25h Th, 25h Pr |
|
| Nombre de crédits : |
|
|
| Nom du professeur : | Georges Hansoul |
|
Langue(s) du cours :
|
| Langue française |
|
Organisation et évaluation :
|
| Enseignement au premier quadrimestre, examen en janvier |
|
Contenus du cours :
|
| La table des matières comporte plusieurs thèmes, chaque fois illustrés par une application pouvant intéresser l'informaticien. Citons ainsi :
- Logique propositionnelle (application : circuits électriques) et du premier ordre (application : formalisation de problèmes concrets);
- Arithmétique (application : écriture en base non décimale, introduction à la récursion);
- Théorie des ensembles et des relations (notamment l'arithmétique des ensembles finis et infinis);
- Introduction à l'étude des structures finies (application : la cryptographie);
- Techniques de dénombrement des structures finies : combinatoire classique, équations récurrentes, principe d'inclusion-exclusion (application : problèmes de tours). |
|
Acquis d'apprentissage (objectifs d'apprentissage) du cours :
|
| Il s'agit d'une introduction à diverses disciplines mathématiques liées à l'informatique et à l'informatique théorique. Le but poursuivi est double :
- préciser la portée et familiariser l'étudiant avec le vocabulaire lié à ces disciplines, qui seront approfondies dans la suite;
- renforcer la correction du raisonnement acquise dans le secondaire par un souci de rigueur constante; en particulier, assurer une bonne interaction entre problèmes concrets et leur formalisation. |
|
Prérequis et corequis / Modules de cours optionnels recommandés :
|
| Aucun. |
|
Activités d'apprentissage prévues et méthodes d'enseignement :
|
| Des exercices font partie intégrante du cours et interagissent avec la partie théorique : ils servent autant à illustrer la théorie que cette dernière sert à les résoudre. |
|
Mode d'enseignement (présentiel ; enseignement à distance) :
|
| Le cours s'étale sur le premier quadrimestre.
Il se donne habituellement le mardi matin de 8 h 30 à 10 h 30 (théorie) et de 10 h 45 à 12 h 45 (exercices) à l'Institut de Mathématiques. |
|
Lectures recommandées ou obligatoires et notes de cours :
|
| Il y a un syllabus édité par la Centrale des cours de l'AEES. |
|
Modalités d'évaluation et critères :
|
| Au début novembre, mini-session : un écrit comportant une question de théorie et des exercices. La non-réussite de l'examen impose une présence à des séances de remédiation.
En janvier, session proprement dite consistant en un écrit comportant théorie et exercices.
En juin, session de rattrapage comportant un oral de théorie et un écrit d'exercices. Sont dispensés de cet examen les étudiants ayant obtenu au moins 12/20, et ceux ayant obtenu 10 ou 11 et qui en font la demande auparavant.
En septembre, pour ceux qui ne sont pas dispensés, un oral comportant théorie et exercices. |
|
Stage(s) :
|
| Aucun. |
|
Remarques organisationnelles :
|
| Aucune. |
|
Contacts :
|
| HANSOUL Georges
Institut de Mathématique - Bât. B37
Bureau 059
Grande Traverse, 12 - 4000 Liège
(Sart Tilman)
Tél. : 04/366.94.69
Fax : 04/366.95.47
E-mail : G.Hansoul@ulg.ac.be
CAVUS Rukiye
Tél. : 04/366.94.04
E-mail: R.Cavus@ulg.ac.be
ZIHINDULA Elie
Tél. : 04/366.94.70
RASKIN Julien
Tél. : 04/366.94.32
E-mail : J.Raskin@ulg.ac.be |
|
