Code | Type | Head of UE | Department’s contact details | Teacher(s) |
---|---|---|---|---|
US-B1-SCMATH-002-M | Compulsory UE | MICHAUX Christian | S838 - Logique mathématique |
Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Credits | Weighting | Term |
---|---|---|---|---|---|---|---|---|---|
Français | 0 | 0 | 0 | 0 | 0 | 9 | 9 | Année |
AA Code | Teaching Activity (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term | |
---|---|---|---|---|---|---|---|---|
S-MATH-705 | ||||||||
S-MATH-706 | ||||||||
S-MATH-707 | ||||||||
S-MATH-708 |
Objectives of general skills
- Understand "elementary" mathematics profoundly
- Understand and use the naive set theory
- Understand basic algebraic structures
- Manipulate previously acquired knowledge that appears in a question
- Give examples and counterexamples for definitions, properties, theorems, etc.
- Understand and produce strict mathematical reasoning
- Write clearly and concisely
- Use mathematical vocabulary and formalism appropriately
- Make sense of formal expressions
- Rely on a picture to illustrate a concept, rationale, etc.
- Collaborate on mathematical subjects
- Demonstrate independence and their ability to work in teams.
- Solve new problems
- Abstract and manipulate theories and use these to solve problems
- Adapt an argument to a similar situation
- Use knowledge from different fields to address issues
UE's Learning outcomes
At the end of this course, students will be able to: use the basic techniques (morphisms, kernels, images, quotients, order of an element, order of a subgroup) in the context of group theory; apply the theorems seen for these concepts; apply these concepts in the context of permutation groups; to extend the scope of these notions in the framework of rings, to handle these concepts in polynomial rings and link them to the concept of irreducibility of a polynomial.
UE Content
- elementatry set theory, equivalence relation, quotient by an equivalence relation;
- basic number theory on the integers (GCD, LCM, euclidean division, integers modulo) ;
- Elements of group theory (morphisms, kernels, images, quotients, order of an element, order of a subgroup);
- groups of permutations;
- elements of the theory of rings; polynomial rings, irreducibility criteria for polynomials.
Prior experience
A first knowledge of elementary mathematics on integers, rational numbers, real numbers, complex numbers, matrices and the operations on these objects. Theses basics can be assessed during the lectures and exercices of Elementary Mathematics which take place during the firts 6 weeks of the first term.
Term 1 for Integrated Assessment - type
- Quoted exercices
Term 1 for Integrated Assessment - comments
Not applicable
Term 2 for Integrated Assessment - type
- Written examination
- Quoted exercices
Term 2 for Integrated Assessment - comments
Term 2 assessment is realized through two tests which consists of exercises; the first one is performed in groups of students (between 3 and 5); the second one is individually performed and success to this test gives waiver for the same part of the written examination. The written examination consists of exercises. All tests and examinations are open book test (except for the part about polynomials) .
Term 3 for Integrated Assessment - type
- Written examination
Term 3 for Integrated Assessment - comments
The examination covers all of the material and consists of exercises. The test is open book (with the exception of the section on polynomials).
Resit Assessment for IT - Term 1 (B1BA1) - type
- Written examination
Resit Assessment for IT - Term 1 (B1BA1) - Comments
The evaluation is based on a test which consists only of exercices the aim of which are to test the ability to use theoretical concepts encountered in group theory in a broader context. It is open book test.
Type of Teaching Activity/Activities
AA | |
---|---|
S-MATH-705 | |
S-MATH-706 | |
S-MATH-707 | |
S-MATH-708 |
Mode of delivery
AA | |
---|---|
S-MATH-705 | |
S-MATH-706 | |
S-MATH-707 | |
S-MATH-708 |
Required Reading
AA | |
---|---|
S-MATH-705 | |
S-MATH-706 | |
S-MATH-707 | |
S-MATH-708 |
Required Learning Resources/Tools
AA | |
---|---|
S-MATH-705 | |
S-MATH-706 | |
S-MATH-707 | |
S-MATH-708 |
Recommended Reading
AA | |
---|---|
S-MATH-705 | |
S-MATH-706 | |
S-MATH-707 | |
S-MATH-708 |
Recommended Learning Resources/Tools
AA | |
---|---|
S-MATH-705 | |
S-MATH-706 | |
S-MATH-707 | |
S-MATH-708 |
Other Recommended Reading
AA | |
---|---|
S-MATH-705 | |
S-MATH-706 | |
S-MATH-707 | |
S-MATH-708 |