 | |
| INFO0006-1 | Introduction to theoretical computer science
 |
|
| Duration : | 30h Th, 30h Pr |
|
| Credits/ECTS : |
|
|
| Holder(s) : | |
|
| Substitute(s) : | Pierre Wolper |
|
| Language : | English language |
|
| Course contents : | Proofs and induction principles. Introduction to number theory. Graph theory. Sums, approximations and asymptotic behaviors. Recurrences. Counting techniques. Generating functions. |
|
| Course objective : | To be introduced to various topics of theoretical computer science. To gain proficiency in writing proofs and familiarity with the reasoning paradigms of the theory of computer science. |
|
| Prerequisites : | Good knowledge of basic mathematics concepts and techniques. Knowledge of programming. |
|
| Workshops : | Problem sessions aimed at gaining familiarity with the concepts introduced in the lectures. |
|
| Organization : | 2nd semester - 30h + 30h |
|
| Written notes : |
- Reference text: Mathematics for Computer Science. E. LEHMAN et T. LEIGHTON, 2004.
- Slides will be available on the course web site.
|
|
| Assessment : | Written exam (no oral exam). |
|
| 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
|
|
