 | | |
| INFO0006-1 | Introduction to theoretical computer science
|
|
| Duration : | 30h Th, 30h Pr |
|
| Number of credits : |
|
|
| Lecturer : | Pierre Geurts |
|
Language(s) of instruction :
|
| French language |
|
Course contents :
|
| The objective of this course is to initiate the students to the types of reasoning used in theoretical computer science.
The following topics are typically studied:
- Proofs and induction principles
- Introduction to number theory
- Introduction to graph theory
- Sums, approximations and asymptotic behaviors
- Recurrences
- Counting techniques
- Generating functions
The content of the course is however susceptible to change during the course of the year. |
|
Learning outcomes of the course :
|
| At the end of the course, the student will master the theoretical concepts studied in the course. He will also be able to understand and to write himself proofs relative to new simple theoretical questions related to the course topics. |
|
Prerequisites and co-requisites/ Recommended optional programme components :
|
| The course requires a good knowledge of basic mathematical concepts and tools and some notion of programming. |
|
Planned learning activities and teaching methods :
|
| The course is based half on ex-cathedra lectures and half on interactive exercise sessions. The exercise sessions allow students to become familiar with the theoretical concepts introduced during the lectures and to prepare for the final exam. Participation and presence at the ex-cathedra lectures and at the interactive exercises is voluntary, although highly recommended. The course is taught in French. |
|
Mode of delivery (face-to-face ; distance-learning) :
|
| Face-to-face. |
|
Recommended or required readings :
|
| The course is based on the following textbook:
- Mathematics for Computer Science. E. LEHMAN et T. LEIGHTON, 2004.
A copy of the lecture slides and of problems solved during the exercise sessions will be provided to the students during the semester at the following website:
http://www.montefiore.ulg.ac.be/~geurts/iti.html |
|
Assessment methods and criteria :
|
| Students are assessed on the basis of a written exam only (first and second sessions). The exam does not contain pure theoretical questions but requires solving problems similar to those studied in the exercice sessions (that nevertheless require the students to master the theoretical concepts and results). |
|
Organizational remarks :
|
| The course is organised in the first quadrimestre, during one afternoon a week. The two hours ex-cathedra are followed by about two hours exercise sessions.
The detailed calendar and announcements are available on the course website. |
|
Contacts :
|
| Pierre Geurts - Tel. 04 366 48 15 - e-mail P.Geurts@ulg.ac.be
Assistant: Julien Brusten - e-mail: julien.brusten@ulg.ac.be
Preferred contact mode: e-mail or personnal contact after a lecture or by appointment. |
|
|
| Items online : |
|
| Online notes |
| Available on the course website. |
|
|
