Valid for: 2023/24
Faculty: Faculty of Engineering, LTH
Decided by: PLED C/D
Date of Decision: 2023-04-18
Main field: Technology.
Compulsory for: C1
Elective Compulsory for: D1
Language of instruction: The course will be given in English
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).
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
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.
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.
The number of participants is limited to: No
The course overlaps following course/s: EDAF10, EDAA40
Course coordinator: Jacek Malec, jacek.malec@cs.lth.se
Course homepage: http://cs.lth.se/edaa40