University of Zurich - 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

Video lectures for the course are available on SWITCHcast.

A video with installation instructions for Haskell can be found here.

10:15 - 11:00

Y27H12
Seats: 50

Exercises Logic and Foundations with Haskell

For further information please contact: Marius Furter

Exam dates: missing