Study Guide@lith   Link to LiU Homepage
 

Linköping Institute of Technology

Search

 Link to LiU Homepage
 
Valid for year : 2007
 
TDDC55 Discrete Structures II, 4,5 ECTS credits.
/Discrete Structures II/

For:   CS  


OBS!
Only open for students admitted to the Computer Science Master programme
 

Prel. scheduled hours:
Rec. self-study hours: 120

  Area of Education: Technology

Subject area: Computer Science, Computer Engineering
  Advancement level (G1, G2, A): A

Aim:
Provide a deepened understanding of core concepts vital for computer science and which are typically not covered by introductory courses in discrete mathematics.
Prerequisites: (valid for students admitted to programmes within which the course is offered)
Introductory courses in discrete mathematics and formal languages and automata theory.

Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshhold requirements for progression within the programme, or corresponding.
Organisation:
The course is given in an intensive format ("crash course") at a conference facility.
Course contents:
  • Well-founded sets and ordinals
  • Inductive definitions and proofs,
    • Well-founded induction
    • Transfinite induction
  • Lattice theory
    • Complete partial orders
    • Lattices
    • Complete lattices
  • Fixed points
    • Monotonicity
    • Knaster-Tarski's fixed point theorem
    • Continuity
    • Kleene's fixed point theorem
  • Finite automata on infinite strings


Course literature:
Lecture notes and articles.
Examination:
Homework assignments.
 3 p
/
4,5 ECTS
 
Grades given are Pass, Fail.


Course language is English.
Department offering the course: IDA.
Director of Studies:
Examiner: Ulf Nilsson

Course Syllabus in Swedish

Linköping Institute of Technology
Link to top of pagep


Contact: TFK , val@tfk.liu.se
Last updated: 04/04/2007