Fall 2024

Program Logics

Please consult the Aarhus University Brightspace course page for assignments and course materials.

The slides for my lectures are also hosted here: Lecture 21: Randomized Programs, Lecture 22: Asynchronous Reasoning.

Old information below

Fall 2023

Program Logics

Please consult the Aarhus University Brightspace course page for assignments and course materials.

The slides for my lectures are also hosted here: Lecture 21: Randomized Programs, Lecture 22: Asynchronous Reasoning.

Course information for all courses taught at FMF is available on učilnica. My time table, including class room information, is on urnik.

Office hours are whenever you can find me in my office! Meetings be arranged by email, or by visiting my office (#427, Jadranska 21).

Fall 2019

Računalniški praktikum, advanced group (computer literacy)

Lecturer: Andrej Bauer
My tutorial group meets on Tuesdays, from noon until 3 pm.

• tools
  • debugging html
  • html validator
• learning
  • getting started with HTML by Mozilla
  • intro to web apps by Google
  • in-depth HTML tutorials by w3schools.com
• references
  • syntax of (modern) html
  • style guide
  • css reference
  • html reference

Fall 2018

Programiranje 1

Lecturer: Matija Pretnar
Course material on Github

Spring 2018

Teorija programskih jezikov (Programming Language Theory)

Lecturer: Alex K. Simpson

Fall 2017

Programiranje 1

Lecturer: Matija Pretnar
Course material on Github

Fall 2016

Programiranje 1

Lecturer: Matija Pretnar
Course material on Github