Search results: 9

Matematik I Campus VT25

Kurskoordinator aktiverar alla Ladok-registrerade 
studenter på senast 17 januari.

Schema: 
MM2001 VT25 heltid
MM2001 HT24-VT25 Fysik halvfart

Kurskoordinator: matematik-i@math.su.se


Category: First level courses

Matematik I Distans HT26

Kurskoordinator aktiverar alla Ladok-registrerade  studenter på senast 28 augusti

Schemalagda träffar (ej seminariekurs) och examinationer: Schema-distans-HT26

Frågor? matematik-i@math.su.se



 

Category: First level courses

Mathematics of cryptography VT22

The course covers modern methods of cryptography, which form a basis for secure electronic communication, and methods to decrypt these. The focus is on the mathematical foundations in number theory, algebraic geometry and statistics and how these are used in cryptography. The course is of interest to those who work with security aspects of electronic communication, but also for those who want to see one of the more spectacular modern applications of mathematics.
Schedule

Please note that self-enrollment on the course page is not the same as course registration in Ladok.

Category: Second level courses

Mathematics of cryptography VT25

The course covers modern methods of cryptography, which form a basis for secure electronic communication, and methods to decrypt these. The focus is on the mathematical foundations in number theory, algebraic geometry and statistics and how these are used in cryptography. The course is of interest to those who work with security aspects of electronic communication, but also for those who want to see one of the more spectacular modern applications of mathematics.

Please note that self-enrollment on the course page is not the same as course registration in Ladok.

Schedule


Category: Second level courses

Mathematics of cryptography VT26

The course covers modern methods of cryptography, which form a basis for secure electronic communication, and methods to decrypt these. The focus is on the mathematical foundations in number theory, algebraic geometry and statistics and how these are used in cryptography. The course is of interest to those who work with security aspects of electronic communication, but also for those who want to see one of the more spectacular modern applications of mathematics.

Please note that self-enrollment on the course page is not the same as course registration in Ladok.

Schedule


Category: Second level courses

Statistical Deep Learning VT26

This course is taught in English

This course introduces basic as well as modern concepts of statistical learning in terms of artificial neural networks (deep learning), with applications in statistical data analysis. Topics treated include feedforward networks, regularization and optimization of networks with many layers, convolutional networks, recurrent networks and validation methods. The course also includes some of the following modern topics; autoencoders, representation learning, deep generative methods, and information theoretic concepts of deep learning.


Class Schedule


Please note that self-enrollment on the course page is not the same as course registration in Ladok.

Category: Second level courses

Theory of Statistical Inference - HT25

This course is taught in English.

The course addresses the basic statistical principles from the viewpoints of both frequentist and Bayesian statistics. In particular, the topics, like point and interval estimation, test theory, likelihood theory, asymptotics, bootstrap, and model selection will be studied. The implementation of the theoretical results in statistical software is an important part of the course. 

Literature: "Likelihood and Bayesian Inference: With Applications in Biology and Medicine" by Leonhard Held and Daniel Sabanés Bové, Springer 2020.

The book is available in electronic format from http://sub.su.se

Teacher: Filip Lindskog

Please note that self-enrollment on the course page is not the same as course registration in Ladok.

Category: First level courses

Theory of Statistical Inference - HT26

This course is taught in English.

The course addresses the basic statistical principles from the viewpoints of both frequentist and Bayesian statistics. In particular, the topics, like point and interval estimation, test theory, likelihood theory, asymptotics, bootstrap, and model selection will be studied. The implementation of the theoretical results in statistical software is an important part of the course. 

Literature: "Likelihood and Bayesian Inference: With Applications in Biology and Medicine" by Leonhard Held and Daniel Sabanés Bové, Springer 2020.

The book is available in electronic format from http://sub.su.se

Teacher: Filip Lindskog

Please note that self-enrollment on the course page is not the same as course registration in Ladok.

Category: First level courses

Type theory VT25

The course provides an introduction to type theory with simple and dependent types, how it can be used to represent logical systems and proofs, and how proofs give rise to computable functions. The final part of the course covers applications of type theory. The following topics are covered:

Type theory: lambda calculus, contexts, forms of judgement, simple types, inductive types. Operational semantics: confluence and normalization. The Curry-Howard isomorphism. Martin-Löf type theory: dependent types, induction and elimination rules, identity types, universes. The Brouwer-Heyting-Kolmogorov interpretation of logic. Meaning explanations. Semantics of dependent types. Explicit substitution. Category theoretical models. One or more of the following areas of application of type theory are covered: homotopy theory, models for (constructive) set theory and proof assistants.

Course Literature

Per Martin-Löf: Intuitionistic Type Theory. Bibliopolis

Schedule

Please note that self-enrollment on the course page is not the same as course registration in Ladok.

Category: Second level courses