Not logged in. · Lost password · Register

schroeder
Member since Apr 2012
45 posts
Subject: Theorievertiefung im SoSe 2019
Hallo zusammen,

anlässlich des bevorstehenden Semesterbeginns hier noch mal ein summarischer Hinweis auf die Vertiefungsveranstaltungen des LS 8:

Praktische Semantik von Programmiersprachen [SemProg] (VUE, 4 SWS, Tadeusz Litak)
Themen der Kategorientheorie (Seminar, 2 SWS, Stefan Milius)
Monad-Based Programming (VUE, 4 SWS, Sergey Goncharov)
Nominale Mengen und Automaten (Seminar, 2 SWS, Lutz Schröder)

Viele Grüße,

Lutz Schröder
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen