Dmitriy Traytel: Lehrveranstaltungen im Frühjahrssemester 2019

NameHerr Dr. Dmitriy Traytel
URLhttp://people.inf.ethz.ch/trayteld
DepartementInformatik
BeziehungDozent

NummerTitelECTSUmfangDozierende
252-0058-00LFormal Methods and Functional Programming Information 7 KP4V + 2U
252-0058-00 VFormal Methods and Functional Programming4 Std.
Di10:15-12:00HG G 5 »
Do10:15-12:00HG G 5 »
D. Basin, P. Müller, D. Traytel
252-0058-00 UFormal Methods and Functional Programming2 Std.
Di13:15-15:00CAB G 52 »
13:15-15:00CHN D 46 »
13:15-15:00NO D 11 »
13:15-15:00NO E 11 »
Mi15:15-17:00CAB G 59 »
15:15-17:00CHN D 42 »
15:15-17:00IFW A 34 »
15:15-17:00IFW C 33 »
D. Basin, P. Müller, D. Traytel
263-4630-00LComputer-Aided Modelling and Reasoning Information
In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum.
8 KP7P
263-4630-00 PComputer-Aided Modelling and Reasoning7 Std.
Fr09:15-13:00HG G 26.3 »
C. Sprenger, D. Traytel