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
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-1 Mathématique" is prerequisite to this course. More specifically, we will build on its chapter on complex numbers.
Planned learning activities and teaching methods
The course is given 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)
This is a face-to-face course, given on the blackboard.
Recommended or required readings
A syllabus is available at http://www.discmath.ulg.ac.be/charlier/enseignement.html. The oral course itself will delimit the material for the exam.
Assessment methods and criteria
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 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.
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
Christophe Dozot (teaching assistant) - Email : c.dozot@uliege.be
Béatrice Lahaye (teaching assistant) - Email : beatrice.lahaye@uliege.be
Adaptation of teaching commitments following the COVID-19 pandemic for the May-June 2020 session
Teaching methods implemented : distance-learning
Assessment subjects
Assessment methods
The exam for the June session is a written exam that will be taken online via eCampus on the scheduled date.
Contacts
Adaptation of teaching commitments following the COVID-19 pandemic for the Aug-Sept 2020 session
Assessment subjects
Assessment methods
The exam for the August-Spetember session is a written exam that will be taken online via eCampus on the scheduled date.