MATH2019-1

Duration

26h Th, 26h Pr

Number of credits

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

Lecturer

Emilie Charlier, N...

Language(s) of instruction

French language

Organisation and examination

Teaching in the first semester, review in January

Schedule

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.

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

This is a face-to-face course.
The teaching method is likely to change during the course of the quadrimester depending on the health situation. All information will be updated on Celcat as well as on the course web page.

Organisational adjustments related to the current health context

Assessment methods and criteria

Below you will find information on the evaluation methods planned for in-person and remote exams as well as those planned for hybrid sessions. Depending on how the health crisis evolves, the chosen method will be communicated to you no later than one month before the start of the exam session.

Any session :

- In-person

written exam ( open-ended questions )

- Remote

written exam ( multiple-choice questionnaire, open-ended questions )

- If evaluation in "hybrid"

preferred in-person

Additional information:

The evaluation modalities will depend on the color code. The evaluation will be done in face-to-face if possible, and will be done remotely if not.
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 15% 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.
In session (January, May-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.
"Possible face-to-face evaluation".
Written exam (or test) with open-ended questions (short or long).

"Remote evaluation imposed by the health situation",
Distance written exam (or test) combining multiple choice and open-ended questions.
In the case of a distance evaluation, you will receive the exam (or test) instructions by email in the days preceding it.

Work placement(s)

None.

Organizational remarks

The course is given during the first semester. More informations can be found at http://www.discmath.ulg.ac.be/charlier/enseignement.html. The schedule can be viewed on Celcat.

Contacts

Émilie CHARLIER (teacher)
Email : echarlier@uliege.be Institute of Mathematics - B37 Bureau 1/28 Allée de la Découverte, 12 - 4000 Liège Belgium
Carole Baum (assistante) - Email : carole.baum@uliege.be
Christophe Dozot (teaching assistant) - Email : c.dozot@uliege.be

Mathematics for computing 1