Duration
26h Th, 26h Pr
Number of credits
| Bachelor in computer science | 6 crédits |
Lecturer
Emilie Charlier, N...
Language(s) of instruction
French language
Organisation and examination
Teaching in the second semester
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 and associated proof techniques.
- Proof by induction.
- 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 under construction is available at http://www.discmath.ulg.ac.be/charlier/enseignement.html. The oral course itself will delimit the material for the exam. The student shall also consult the syllabus of G. Hansoul "Mathématiques pour l'informatique".
Assessment methods and criteria
June : written examination, theory and exercices.
September : written examination, theory and exercices.
Work placement(s)
None.
Organizational remarks
The course is given every second semester on Monday mornings from 8:00 to 12:00 at the Institute of Mathematics (B37). More informations can be found at http://www.discmath.ulg.ac.be/charlier/enseignement.html.
Contacts
Émilie CHARLIER (teacher)
Institute of Mathematics - B37
Bureau 1/22
Allée de la Découverte, 12 - 4000 Liège
Belgium
(Sart Tilman)
Tél. : 04/366.93.84
Fax : 04/366.95.47
E-mail : echarlier@uliege.be
Julien RASKIN (teaching assistant)
Tél. : 04/366.94.32
E-mail : J.Raskin@uliege.be