Lecture courses/details

MAT605

Logic and Foundations with Haskell

$https://www.math.uzh.ch/fileadmin/user/pid_25594/bilder/275558-DSC_2902_b_select_fotostudio.ch.jpg$

Lectures

Timeslot:
08:00 - 09:45

Room:
Y27H12 Seats: 50

The entire course will be published as videos on SWITCHcast.

The weekly learning goals are documented on the course git repository, where you may also find all of the code I write in lecture.

For further information please contact: Marius Furter

Module: 01.06.2023 8:15-9:45, Room: Y27H28 Seats: 50, Type: written exam
exam in the last week of the semester in class