Teaching and Lecturing

I mainly teach INF1080 – Logical methods for computer science, but I have also taught, guest lectured, and structured several other courses at the University of Oslo:

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)

2016

Logical methods for Computer Science, autumn 2016 (course responsible and lecturer). See INF1080x on Open edX and the playlist with all the 2015 lectures on Youtube.

2015

INF1080 – Logical methods for Computer Science, autumn 2015 (course responsible and lecturer). See the playlist with all the 2015 lectures on Youtube.

2014

INF1080 – Logical methods for Computer Science, autumn 2014 (course responsible and lecturer). This is the first time the book Logical Methods is used and the first time all the lectures is published on YouTube. See the playlist with all the 2014 lectures on Youtube.

2013

INF1080 – Logical Methods for Computer Science, autumn 2013 (course responsible and lecturer).

INF1510 – User-oriented Design, spring 2013 (guest lecturer and responsible for the part about Arduino, hardware and software, and electronics).

2012

INF1080 – Logical methods for computer science, autumn 2012 (course responsible and lecturer).

INF2080 – Logic and Computability, spring 2012 (organizing the course).

INF1510 – User-oriented Design, spring 2012 (guest lecturer and responsible for the part about Arduino, hardware and software, and electronics).

2011

INF1080 – Logical methods for computer science, autumn 2011 (course responsible and lecturer).

INF1400 – Digital Technology, autumn 2011 (guest lecturer on Arduino).

INF3170 – Logic, spring 2011 (guest lecturer).

INF1510 – User-oriented Design, spring 2011 (guest lecturer and responsible for the part about Arduino, hardware and software, and electronics).

2010

INF1080 – Logical methods for computer science, autumn 2010 (course responsible and lecturer).

INF3170 – Logic, spring 2010 (course responsible and lecturer).

2009

MAT1030 – Discrete mathematics, spring 2009 (course responsible and lecturer)

2008

INF1800 – Logic and Computability, autumn 2008 (lecturing half of the course, the logic part, with Lars Kristiansen). Restructuring the course, work out new curriculum, and teach about a third with Dag Normann, professor at the Department of Mathematics.

MAT1030 – Discrete mathematics, spring 2008 (guest lecturer).

INF5170 – Master Seminar in Logic, spring 2008 (course responsible and lecturer).

2007

INF5170 – Master Seminar in Logic, autumn 2007 (course responsible and lecturer).

INF5170 – Master Seminar in Logic, spring 2007 (course responsible and lecturer).

INF3170 – Logic, spring 2007 (guest lecturer).

2006

INF3170 – Logic, spring 2006 (course responsible and lecturer).

INF5170 – Master Seminar in Logic, spring 2006 (guest lecturer).

2005

INF5170 – Master Seminar in Logic, autumn 2005 (course responsible and lecturer).

INF3170 – Logic, spring 2005 (course responsible and lecturer).

INF5170 – Master Seminar in Logic, spring 2005 (course responsible and lecturer).

2004

INF5170 – Master Seminar in Logic, autumn 2004 (course responsible and lecturer).

INF3170 – Logic, spring 2004 (course responsible and lecturer).

INF5170 – Master Seminar in Logic, spring 2004 (course responsible and lecturer).

2003

INF3110 – Programming Languages, autumn 2003 (course responsible and lecturer). Organizing and teaching the whole course. This is the first time the course is given, and the content is totally re-worked from the old course IN211.

INF5170 – Master Seminar in Logic, autumn 2003 (course responsible and lecturer).

Some lectures from INF1080 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