 | | |
| INFO0006-1 | Introduction à la théorie de l'informatique
|
|
| Durée : | 30h Th, 30h Pr |
|
| Nombre de crédits : |
|
|
| Nom du professeur : | Pierre Geurts |
|
Langue(s) du cours :
|
| Langue française |
|
Contenus du cours :
|
| L'objectif de ce cours est d'initier les étudiants aux types de raisonnements utilisés en informatique théorique.
Les matières suivantes sont typiquement abordées:
- Preuves et principes d'induction
- Introduction à la théorie des nombres
- Introduction à la théorie des graphes
- Sommations, approximations et comportements asymptotiques
- Equations récurrentes
- Techniques de dénombrement
- Fonctions génératrices
La table des matières est cependant susceptible d'être adaptée en cours d'année. |
|
Acquis d'apprentissage (objectifs d'apprentissage) du cours :
|
| A l'issue du cours, l'étudiant maîtrisera les concepts théoriques de base développés dans le cours. Il sera également capable de comprendre de nouvelles démonstrations qui lui seront présentées et de formuler par lui-même des preuves pour de nouvelle questions théoriques simples relatives à la matière du cours. |
|
Prérequis et corequis / Modules de cours optionnels recommandés :
|
| Le cours requiert une bonne connaissance des concepts et techniques mathématiques de base et des notions de programmation. |
|
Activités d'apprentissage prévues et méthodes d'enseignement :
|
| Le cours repose pour moitié sur des exposés théoriques et pour moitié sur des séances interactives de répétitions. Les séances de répétitions permettent la familiarisation avec les concepts introduits au cours théorique et prépare à l'examen écrit. L'assistance au cours théorique et aux répétitions est facultative mais est vivement conseillée. Le cours est enseigné en français. |
|
Mode d'enseignement (présentiel ; enseignement à distance) :
|
| Cours en présentiel. |
|
Lectures recommandées ou obligatoires et notes de cours :
|
| Le cours se base sur l'ouvrage de référence suivant:
- Mathematics for Computer Science. E. LEHMAN et T. LEIGHTON, 2004.
Une copie des transparents utilisés lors du cours théorique ainsi que les énoncés des exercices de répétition seront mis à la disposition des étudiants au fur et à mesure de l'avancement du cours à l'adresse suivante:http://www.montefiore.ulg.ac.be/~geurts/iti.html |
|
Modalités d'évaluation et critères :
|
| Les étudiants sont évalués sur base d'un examen écrit uniquement (en première et en deuxième session). L'examen ne comporte pas de questions de restitution pure et simple de la théorie mais est basé sur la résolution de problèmes semblables à ceux abordés lors des répétitions (qui requièrent cependant une bonne assimilation des concepts et résultats théoriques). |
|
Remarques organisationnelles :
|
| Le cours est organisé au premier semestre. Un cours théorique de 2h est suivi d'une séance de répétition de 2h environ. Le calendrier et les diverses annonces relatives au cours sont disponibles sur la page web du cours. |
|
Contacts :
|
| Pierre Geurts - Tél. 04 366 48 15 - e-mail P.Geurts@ulg.ac.be
Assistant: Julien Brusten - e-mail: julien.brusten@ulg.ac.be
Moyen de contact privilégié: e-mail ou contact personnel après le cours ou sur rendez-vous. |
|
|
|
| Notes en ligne : |
|
| Notes en ligne |
| Disponibles sur la page web du cours. |
|
|
