MM524: Mathematical tools (5 ECTS)

STADS: 13006201

Level
Bachelor course

Teaching period
The course is offered in the autumn semester.
1st quater

Teacher responsible
Email: daniel@imada.sdu.dk

Timetable
Show entire timetable
Show personal time table for this course.

Comment:
Ubegrænset deltagerantal. Kurset kører i 1. kvartal. Fælles undervisning med DM527 – Matematiske redskaber i datalogi

Prerequisites:
None

Academic preconditions:
None

Course introduction
In modern mathematics it is necessary to be conversant with a formal language and unambiguous symbols. This course gives a formal introduction to the basic mathematical tools and methods of reasoning which are used in later courses in mathematics. These methods and tools are also used in other disciplines, especially computer science.

Expected learning outcome
- formalise a statement in a logically correct way
- work in a logically correct way with sets, relations and functions
- determine whether a given function is injective or surjective
- prove statements using different methods of proof, such as direct proofs, indirect proofs and proof by induction
- argue the steps in the solution of exercises
- work correctly with elementary number theoretical concepts such at divisibility and greatest common divisor
- calculate the greatest common divisor by using the Euclidean algorithm and apply the Chinese remainder theorem to solve linear systems of congruence equations
- work correctly with elementary properties of matrices

Subject overview
Logic, set theory, relations, functions, methods of proof, countability, properties of the real numbers, the Euclidean algorithm, Chinese remainder theorem, matrices.

Literature
There isn't any litterature for the course at the moment.

Syllabus
See syllabus.

Website
This course uses e-learn (blackboard).

Prerequisites for participating in the exam
None

Assessment and marking:
Evaluated on the basis of a final 3 hour written examination and continuous assignment throughout the course. External marking with a 7-scale mark. The assignments count for 30 % of the final grade

The assignments are valid until the reexamination after 2nd quarter and cannot be carrried through to the following year.

Re-examination after 2nd quarter

Expected working hours
The teaching method is based on three phase model.

Forelæsninger: 21 timer Eksaminatorietimer/opgaveregning: 21 timer
Educational activities

Language
This course is taught in English, if international students participate. Otherwise the course is taught in Danish.

Course enrollment
See deadline of enrolment.

Tuition fees for single courses
See fees for single courses.