Roger Antonsen

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

• IN1150 – Logical Methods, fall 2023 (course responsible and lecturer), with a supplementary online course.
• IN1150 – Logical Methods, spring 2023 (course responsible and lecturer), with a supplementary online course.

2022

• IN1150 – Logical Methods, fall 2022 (course responsible and lecturer) as an online course.
• IN1150 – Logical Methods, spring 2022 (course responsible and lecturer), with a supplementary online course.

2021

• IN1150 – Logical Methods, fall 2021 (course responsible and lecturer) as an online course.
• IN1150 – Logical Methods, spring 2021 (course responsible and lecturer), with a supplementary online course.

2020

• IN1150 – Logical Methods, fall 2020 (course responsible and lecturer) as an online course.
• IN1150 – Logical Methods, spring 2020 (course responsible and lecturer), with a supplementary online course.

2019

• IN1150 – Logical Methods, fall 2019 (course responsible and lecturer) as an online course.
• IN1150 – Logical Methods, spring 2019 (course responsible and lecturer), with a supplementary online course.

2018

• IN1150 – Logical Methods, fall 2018 (course responsible and lecturer) as an online course.
• IN1150 – Logical Methods, spring 2018 (course responsible and lecturer). See IN1150 on Open edX and the playlist with several if the 2018 lectures on YouTube.

2016

• Logical methods for Computer Science, fall 2016 (course responsible and lecturer). We use both Open edX and YouTube. See for example the playlist with all the 2015 lectures on Youtube.

2015

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

2014

• INF1080 – Logical methods for Computer Science, fall 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, fall 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, fall 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, fall 2011 (course responsible and lecturer).
• INF1400 – Digital Technology, fall 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, fall 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, fall 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, fall 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, fall 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, fall 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, fall 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, fall 2003 (course responsible and lecturer).