Welcome to INF3170/INF4171

This course will be given in English upon request. Until the language has been settled, all messages will be given in English.

The book Elements of Logical Reasoning will form the core of our syllabus. Lectures will begin on Monday, 22nd of August, and group sessions on Thursday, 1st of September. Topics will be published in the schedule.