 | |
| INFO0006-1 | Introduction to theoretical computer science
 |
|
| Durée : | 30h Th, 30h Pr |
|
| Crédits/ECTS : |
|
|
| Titulaire(s) : | |
|
| Suppléant(s) : | Pierre Wolper |
|
| Langue : | Langue anglaise |
|
| Aperçu général : | Preuves et principes d'induction. Introduction à la théorie des nombres. Théorie des graphes. Sommations, approximations et comportements asymptotiques. Equations récurrentes. Techniques de dénombrement. Fonctions génératrices. |
|
| Objectif du cours : | Introduire divers domaines de l'informatique théorique. Former à l'écriture de preuves et aux raisonnements utilisés dans la théorie de l'informatique. |
|
| Pré-requis : | Bonne connaissance des concepts et techniques mathématiques de base. Notions de programmation. |
|
| Travaux pratiques : | Séances d'exercices permettant la familiarisation avec les concepts introduits au cours théorique. |
|
| Organisation : | Second semestre - 30h + 30h |
|
| Notes de cours : |
- Ouvrage de référence: Mathematics for Computer Science. E. LEHMAN et T. LEIGHTON, 2004.
- Une copie des transparents utilisés lors du cours théorique sera disponible sur internet.
|
|
| Evaluation : | Examen écrit (pas d'oral). |
|
| Contacts : |
- Julien Brusten - Tél. 04 366 26 34 - E-mail brusten@montefiore.ulg.ac.be
- Pierre Wolper - Tél. 04 366 20 99 - E-mail Pierre.Wolper@ulg.ac.be
|
|
