2023-2024 / MATH2019-1

Mathematics for computing 1


26h Th, 26h Pr

Number of credits

 Bachelor of Science (BSc) in Computer Science6 crédits 


Emilie Charlier

Language(s) of instruction

French language

Organisation and examination

Teaching in the first semester, review in January


Schedule online

Units courses prerequisite and corequisite

Prerequisite or corequisite units are presented within each program

Learning unit contents

We will cover the following topics. - Propositional logic, quantifiers and associated proof techniques.
- Naive set theory and countable sets.
- Arithmetics : integer base numeration systems, GCD and modular arithmetic.
- Matrices and linear systems.

Learning outcomes of the learning unit

The aim of the course is to offer to the future computer scientist a set of mathematical tools that will be useful for his own discipline. Whereas every chosen topic will be introduced in a rigorous manner, which is proper to mathematics, we wish to maintain a constant interaction between concrete problems and their formalization.

Prerequisite knowledge and skills

The course "MATH2007 Mathématique" is corequisite to this course. More specifically, we will build on its chapter on complex numbers.

Planned learning activities and teaching methods

The course is given in the classroom, either with projected slides, or directly with chalk and blackboard. The exercice sessions have a double objective : first illustrate the concepts and results of the theoretical part, and second provide applications of the theory.
Two remediation sessions will be held after the mid-term test. They are strongly recommended to all students and are mandatory for those who received a grade below 10/20 on the test.

Mode of delivery (face to face, distance learning, hybrid learning)

Face-to-face course

Additional information:

This is a face-to-face course.

Recommended or required readings

A syllabus is available sur eCampus. The oral course itself will delimit the material for the exam.

Exam(s) in session

Any session

- In-person

written exam

Continuous assessment

Out-of-session test(s)

Additional information:

Exam(s) in session

In session (January, June and August-September), written exam on theory and exercices. The theory part includes definitions and statements of results seen during the year, and their direct applications, as well as one or two proofs (seen in class) that should be rigorously expressed. The exercises are of the same type as those seen during the practical sessions or in WIMS.

Continuous assessment

Several WIMS exercises series have to be realized. The due dates are fixed during the semester. The obtained WIMS score counts for 5% of the exam.

For the second and third sessions, the students can choose between keeping the WIMS score they obtained during the year or starting again the whole set of WIMS series. In the second case, the WIMS series will be made available shortly after the results of the session - beginning of February and beginning of July - until the day before the exam. The choice of the student has to be communicated to the teacher the day of the concerned exam.

Out-of session test(s)

A test will be organized during the Fall semester (semaine de la Toussaint). The subject of the test will be communicated during the month of October. The result of the test counts for 10% of the exam of January. In case of failure on the test (score less than 10/20), the student must attend two mandatory remediation sessions.

For the second and third sessions, the score of the test is no longer taken into account.

Work placement(s)


Organisational remarks and main changes to the course

The course is given during the first semester.  More informations can be found on eCampus. The schedule can be viewed on Celcat.


Émilie CHARLIER (professor)

Email : echarlier@uliege.be
Institute of Mathematics - B37
Bureau 1/28
Allée de la Découverte, 12 - 4000 Liège

Antoine Renard (teaching assistant) - Email : antoine.renard@uliege.be

Pierre Stas (teaching assistant) - Email : pierre.stas@uliege.be

Association of one or more MOOCs