Gå direkt till huvudinnehåll
Kurssidor
  • Svenska ‎(sv)‎
    English ‎(en)‎ Svenska ‎(sv)‎
Du är inte inloggad (Logga in)

Kursinformation

  1. Startsida
  2. Kurser
  3. Doktorandkurser läsåret 24/25
  4. Computer formalisation
  5. Sammanfattning

Computer formalisation of mathematics VT25

  • Teacher: Peter LeFanu Lumsdaine
  • Teacher: Anders Mörtberg

Hoppa över Navigering
Navigering

  • Startsida

    • Mina kurser

    • ForumWebbplatsnyheter

    • SidaHur använder jag denna sida?

    • Mina kurser

    • Kurser

      • Doktorandkurser läsåret 24/25

        • Analytic functions with sign restrictions

        • Soft skills for Mathematicians HT24

        • Computer formalisation

      • Matematik VT25

      • Matematisk statistik VT25

      • Beräkningsteknik & Datalogi VT25

      • Självständiga arbeten

      • Kandidatprogram

      • Masterprogram

      • Basåret

      • Föregående kursomgångar

      • MSR

Du är inte inloggad (Logga in)
Computer formalisation
  • Svenska ‎(sv)‎
    • English ‎(en)‎
    • Svenska ‎(sv)‎
Sammanfattning av kvarhållningsprinciper för data