Course syllabus

Diskreta strukturer
Discrete Structures

EDAA75, 7,5 credits, G1 (First Cycle)

Valid for: 2021/22
Faculty: Faculty of Engineering, LTH
Decided by: PLED C/D
Date of Decision: 2021-04-20

General Information

Main field: Technology.
Compulsory for: C1
Elective Compulsory for: D1
Language of instruction: The course will be given in English

Aim

The course is intended to introduce some of the basic formal concepts and terminology pervading all areas of computer science, and to establish a common lexicon, including notational conventions and nomenclature, that subsequent courses can build upon. This includes an introduction to abstract set theory, relations, functions, and ordered sets, Boolean algebra, logic and proof techniques, as well as structures such as graphs and trees. Furthermore, the course discusses basic algorithms on graphs, an introduction to combinatorics, some fundamental proof strategies, and basic order structures such as lattices and complete partial orders (CPOs).

Learning outcomes

Knowledge and understanding
For a passing grade the student must

Competences and skills
For a passing grade the student must

Judgement and approach
For a passing grade the student must

Contents

Sets, set equivalence, infinite sets, countability, functions, properties of functions (injective, surjective, bijective functions), relations, orders (total and partial), transitivity, (anti­) symmetry, reflexivity, equivalence relations and classes, complete partial orders, Boolean algebra, predicate logic, proofs, induction, graphs, trees, graph algorithms, combinatorics, order structures, proof stratiegies.

Examination details

Grading scale: TH - (U,3,4,5) - (Fail, Three, Four, Five)
Assessment: Written exam. For a passing grade of the course the compulsory course items must also be completed. The final grade of the course is based on the result of the written exam.

The examiner, in consultation with Disability Support Services, may deviate from the regular form of examination in order to provide a permanently disabled student with a form of examination equivalent to that of a student without a disability.

Parts
Code: 0121. Name: Compulsory Course Items.
Credits: 3. Grading scale: UG. Assessment: Approved mandatory elements
Code: 0221. Name: Written Examination.
Credits: 4,5. Grading scale: TH. Assessment: The final grade of the course is based on the result of the written examination. In order to pass, the compulsory course items must also be completed. Contents: Written examination.

Admission

Admission requirements:

The number of participants is limited to: No
The course overlaps following course/s: EDAF10, EDAA40

Reading list

Contact and other information

Course coordinator: Jörn Janneck, jorn.janneck@cs.lth.se
Course homepage: http://cs.lth.se/edaa40