Hide menu

Discrete Structures II

DF14100, 2016HT

Status Running - no longer open for registrations
School National Graduate School in Computer Science (CUGS)
Division SAS
Owner Wlodzimierz Drabent
Homepage http://www.ida.liu.se/~wlodr44/phd.ds/

  Log in  




Course plan

Lectures

16h

Recommended for

CUGS, ECSEL, PhD students in computer science

The course was last given

Spring 2007

Goals

Provide a deepened understanding of core concepts vital for
computer science and which are typically not covered by
introductory courses in discrete mathematics.

Prerequisites

Introductory courses in discrete mathematics and formal languages and automata theory.

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

Organized by

Literature

Lecture notes and articles

Lecturers

Wlodzimierz Drabent

Examiner

Wlodzimierz Drabent

Examination

Homework assignments

Credit

6 hp

Comments


Page responsible: Director of Graduate Studies