Duration
26h Th, 26h Pr
Number of credits
| Bachelor of Science (BSc) in Computer Science | 6 crédits |
Lecturer
Language(s) of instruction
French language
Organisation and examination
Teaching in the first semester, review in January
Schedule
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)
None.
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.
Contacts
Émilie CHARLIER (professor)
Email : echarlier@uliege.be
Institute of Mathematics - B37
Bureau 1/28
Allée de la Découverte, 12 - 4000 Liège
Belgium
Antoine Renard (teaching assistant) - Email : antoine.renard@uliege.be
Pierre Stas (teaching assistant) - Email : pierre.stas@uliege.be