Discrete Structures II (CUGS core) 2022HT Status Running - no longer open for registrations School National Graduate School in Computer Science (CUGS) Division SAS Owner Victor Lagerkvist

Log in

---

Course plan

Lectures

12h

Recommended for

PhD students in computer science (CUGS and others)

The course was last given

autumn 2021

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

Organized by

Literature

Lecture notes and articles

Lecturers

Victor Lagerkvist

Examiner

Victor Lagerkvist

Examination

Homework assignments

Credit

6 hp

Comments

Page responsible: Director of Graduate Studies