Teaching and Lecturing

I mainly teach IN1150 – Logical Methods, but I have also taught, guest lectured, and structured several other courses at the University of Oslo:

IN1150 – Logical Methods
INF1080 – Logical Methods for Computer Science
INF1800 – Logic and Computability
INF2080 – Logic and Computability
INF3110 – Programming Languages
INF3170 – Logic
INF5170 – Master seminar in Logic
MAT1030 – Discrete Mathematics
INF1400 – Digital Technology (guest lecturer)
INF1510 – User-oriented Design (guest lecturer)

2023

2022

2021

2020

2019

2018

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

Some lectures from Logical Methods in 2015 (in Norwegian)

Welcome to the course

Basic Set Theory

Proof, Conjectures, and Counterexamples

Mathematical Induction

Abstraction with Equivalences and Partitions

Combinatorics

Some Abstract Algebra

Graph Theory

Walks in Graphs

Final Party