Institutionen för Matematik

Matematik kan beskrivas som vetenskapen som, med hjälp av logik, undersöker egenskaper och mönster av abstrakta strukturer. Historiskt har matematiken utvecklats i nära samspel med naturvetenskap och teknik.
Institutionen består av fyra avdelningar.

På vår engelskspråkiga hemsida hittar du utförligare information om oss

Matematik

Matematik för Data och AI

Matematisk statistik

Numerisk analys

Optimeringslära och systemteori

Institutionslänkar

Interna webbsidor
Webmail

Adjunkt

Doktorand inom tillämp.matematik och beräkningsmatematik

Doktorand inom matematik för AI

Doktorander inom matematik

Doktorand inom tillämp.matematik och beräkningsmatematik

Kalender

Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath

30
mar

Examensarbete

måndag 2020-03-30, 09.30 - 10.30

Föreläsare: Elisabeth Bonnevier

Plats: Zoom, Meeting ID: 788 997 020

2020-03-30T09:30:00.000+02:00 2020-03-30T10:30:00.000+02:00 Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Examensarbete) Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Examensarbete)
Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory

30
mar

Examensarbete

måndag 2020-03-30, 11.00 - 12.00

Föreläsare: Philip Stassen

Plats: Zoom, Meeting ID: 678 046 973

2020-03-30T11:00:00.000+02:00 2020-03-30T12:00:00.000+02:00 Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory (Examensarbete) Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory (Examensarbete)
Olavus Rogowski: Kedjebråk, Fareyföljder och Fordcirklar

30
mar

Examensarbete

måndag 2020-03-30, 14.00 - 15.00

Föreläsare: Olavus Rogowski

Plats: Zoom Meeting ID: 642 223 267

2020-03-30T14:00:00.000+02:00 2020-03-30T15:00:00.000+02:00 Olavus Rogowski: Kedjebråk, Fareyföljder och Fordcirklar (Examensarbete) Olavus Rogowski: Kedjebråk, Fareyföljder och Fordcirklar (Examensarbete)
Jose Tapia Quijada: Stability Analysis of Dynamic Mathematical Models in Systems Biology

31
mar

Examensarbete

tisdag 2020-03-31, 11.00 - 12.00

Föreläsare: Jose Tapia Quijada

Plats: Zoom, Meeting ID: 918 620 631

2020-03-31T11:00:00.000+02:00 2020-03-31T12:00:00.000+02:00 Jose Tapia Quijada: Stability Analysis of Dynamic Mathematical Models in Systems Biology (Examensarbete) Jose Tapia Quijada: Stability Analysis of Dynamic Mathematical Models in Systems Biology (Examensarbete)
Joel Åhfeldt: Permutation groups and some applications on graph theory

2
apr

Examensarbete

torsdag 2020-04-02, 10.00 - 11.00

Föreläsare: Joel Åhfeldt

Plats: Zoom, Meeting ID: 548-557-955

2020-04-02T10:00:00.000+02:00 2020-04-02T11:00:00.000+02:00 Joel Åhfeldt: Permutation groups and some applications on graph theory (Examensarbete) Joel Åhfeldt: Permutation groups and some applications on graph theory (Examensarbete)