UZH - Institute of Mathematics - Vorlesungen/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$

Vorlesungen

Zeitraum:
08:00 - 09:45

Raum:
Y27H12 Plätze: 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
Plätze: 50

Exercises Logic and Foundations with Haskell

Für weitere Informationen kontaktieren Sie bitte: Marius Furter

Prüfungsinformationen: noch nicht erfasst.