Gå direkt till huvudinnehåll

Svenska ‎(sv)‎
English ‎(en)‎ Svenska ‎(sv)‎

Du besöker oss just nu som gäst (Logga in)

Type theory VT23

Startsida
Kurser
Föregående kursomgångar
VT23
Matematik VT23
Avancerad nivå
MM8036 VT23 (Type Theory)
Exam project topics
Suggested project topics

Suggested project topics

Suggested exam projects, with descriptions and recommended reading

Klicka på länken projects.pdf för att visa filen.

◄ Nyhetsforum

Hoppa till...

Hoppa över Navigering

Navigering

Startsida
- Mina kurser
- Kurser
  - Föregående kursomgångar
    - VT23
      - Matematik VT23
        Grundnivå
        Avancerad nivå
        MM7027 VT23
        MM7029 VT23
        MM8036 VT23 (Type Theory)
        Exam project topics
        $Fil$ Suggested project topics
        MM8044 VT23
      - Matematisk statistik VT23
      - Beräkningsteknik & Datalogi VT23
      - Doktorandkurser läsåret 22/23
      - Sommarkurser ST23
    - Matematik HT23
    - Matematisk statistik HT23
    - Beräkningsteknik & Datalogi HT23
  - Matematik VT24
  - Matematisk statistik VT24
  - Beräkningsteknik & Datalogi VT24
  - Sommarkurser ST24
  - Självständiga arbeten
  - Kandidatprogram
  - Masterprogram
  - Doktorandkurser läsåret 23/24
  - Basåret
  - MSR

Du besöker oss just nu som gäst (Logga in)

MM8036 VT23 (Type Theory)

Svenska ‎(sv)‎
- English ‎(en)‎
- Svenska ‎(sv)‎

Sammanfattning av kvarhållningsprinciper för data