Bearbeiten von „Materialien Wintersemester 2016/17“
Zur Navigation springen
Zur Suche springen
Warnung: Du bist nicht angemeldet. Deine IP-Adresse wird bei Bearbeitungen öffentlich sichtbar. Melde dich an oder erstelle ein Benutzerkonto, damit Bearbeitungen deinem Benutzernamen zugeordnet werden.
Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.
Aktuelle Version | Dein Text | ||
Zeile 11: | Zeile 11: | ||
| InfB-[[IKON]] 1 | | InfB-[[IKON]] 1 | ||
| [mailto:frank.steinicke@uni-hamburg.de Dr. Frank Steinicke] | | [mailto:frank.steinicke@uni-hamburg.de Dr. Frank Steinicke] | ||
| Sieh | | Sieh OLAT. [https://owncloud.mafiasi.de/index.php/s/orXieM47PPlujeL Studentisches Skript]. | ||
| Siehe | | Siehe OLAT | ||
| [https://lecture2go.uni-hamburg.de/ | | [https://lecture2go.uni-hamburg.de/lecture/-/sv/e1BTvzSIVmBAN89tKCowJgxx Lecture2Go] | ||
| [https:// | | [https://www.olat.uni-hamburg.de/olat/auth/RepositoryEntry/1906671616/CourseNode/91979931531249 OLAT] | ||
|- | |- | ||
|- | |- | ||
Zeile 21: | Zeile 21: | ||
| Folien in STiNE (Vorlesung), [https://owncloud.mafiasi.de/index.php/s/8Bk2ZzeYH8mCi9A Studentisches Skript] | | Folien in STiNE (Vorlesung), [https://owncloud.mafiasi.de/index.php/s/8Bk2ZzeYH8mCi9A Studentisches Skript] | ||
| | | | ||
| [https://lecture2go.uni-hamburg.de/ | | [https://lecture2go.uni-hamburg.de/lecture/-/sv/emS5isiBioqp3yAls6N2bgxx Lecture2Go] | ||
| | | | ||
|- | |- | ||
| InfB-[[RS]] | | InfB-[[RS]] | ||
| [mailto:maeder@informatik.uni-hamburg.de Dr | | [mailto:hendrich@informatik.uni-hamburg.de Norman Hendrich], [mailto:maeder@informatik.uni-hamburg.de Dr Andreas Mäder] | ||
| [https://tams.informatik.uni-hamburg.de/lectures/2016ws/vorlesung/rs/index.php?content=01-unterlagen Folien, begleitende Unterlagen] | | [https://tams.informatik.uni-hamburg.de/lectures/2016ws/vorlesung/rs/index.php?content=01-unterlagen Folien, begleitende Unterlagen] | ||
| [https://tams.informatik.uni-hamburg.de/lectures/2016ws/vorlesung/rs/uebung/ Übungen] | | [https://tams.informatik.uni-hamburg.de/lectures/2016ws/vorlesung/rs/uebung/ Übungen] | ||
| [https://lecture2go.uni-hamburg.de/ | | [https://lecture2go.uni-hamburg.de/lecture/-/sv/yRY4AhYWhE3A1S7fKyQ8PAxx Lecture2Go] von diesem und vom [https://lecture2go.uni-hamburg.de/veranstaltungen/-/v/16721 letzten Semester] | ||
| [https://www.youtube.com/channel/UClOj3PauhVSeAUgC39VYMsA Tutorium-Videos] | | [https://www.youtube.com/channel/UClOj3PauhVSeAUgC39VYMsA Tutorium-Videos] | ||
|- | |- | ||
| InfB-[[DM]] | | InfB-[[DM]] | ||
| [mailto: | | [mailto:stefan.geschke@.uni-hamburg.de Dr. Stefan Geschke] | ||
| [ | | [http://www.math.uni-hamburg.de/home/geschke/teaching/MafI2_skript.pdf Skript], [http://www.math.uni-hamburg.de/home/geschke/lehre.html Folien und Materialien] | ||
| [http://www.math.uni-hamburg.de/home/geschke/lehre.html Übungsaufgaben] | |||
| [ | | ''Keine Aufzeichnungen'' | ||
| [http://www.math.uni-hamburg.de/home/ | | [http://www.math.uni-hamburg.de/home/geschke/lehre.html Website], [http://www.math.uni-hamburg.de/studienbuero/ Studienbüro Mathematik], [http://mathe.stevenkoehler.de/?page_id=645/ DM-Tutorien] | ||
|- | |- | ||
| InfB-[[AD]] | | InfB-[[AD]] | ||
| [mailto: | | [mailto:heitmann@informatik.uni-hamburg.de Dr. Frank Heitmann] | ||
| | | [http://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS1516/AuD/index.html Folien] | ||
| | | [http://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS1516/AuDUe/ Übungsaufgaben] | ||
| | | [https://lecture2go.uni-hamburg.de/veranstaltungen/-/v/18365 lecture2go], [https://lecture2go.uni-hamburg.de/livemin Livestream](nur Mi 9-11) | ||
| | | [http://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS1516/AuD/ TGI-Website] | ||
|- | |- | ||
| [[FGI 2]] | | [[FGI 2]] | ||
Zeile 52: | Zeile 52: | ||
| [https://www.olat.uni-hamburg.de/olat/dmz/ OLAT] | | [https://www.olat.uni-hamburg.de/olat/dmz/ OLAT] | ||
|- | |- | ||
| | | [[FGI 3]] | ||
| [mailto:valk@informatik.uni-hamburg.de Prof. Rüdiger Valk], [mailto:berenbrink@informatik.uni-hamburg.de Prof. Petra Berenbrink] | | [mailto:valk@informatik.uni-hamburg.de Prof. Rüdiger Valk], [mailto:berenbrink@informatik.uni-hamburg.de Prof. Petra Berenbrink] | ||
| [https://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS1516/FGI3-Logik/ FGI3 Logikfolien von Frank Heitmann],[https://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS1516/FGI3/ FGI3 Semantikmaterialien] | | [https://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS1516/FGI3-Logik/ FGI3 Logikfolien von Frank Heitmann],[https://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS1516/FGI3/ FGI3 Semantikmaterialien] | ||
Zeile 60: | Zeile 60: | ||
|- | |- | ||
| [[SE_I]] | | [[SE_I]] | ||
| [mailto: | | [mailto:fred.winkler@uni-hamburg.de Fred Winkler], [mailto:gryczan@informatik.uni-hamburg.de Dr. Guido Gryczan] | ||
| [https:// | | [https://www.mincommsy.uni-hamburg.de/commsy.php?cid=7716111&mod=material&fct=index Materialien] | ||
| Bei den Materialien | | Bei den Materialien | ||
| | | [https://lecture2go.uni-hamburg.de/veranstaltungen/-/v/18368 Lecture2Go] | ||
| [https:// | | [https://www.mincommsy.uni-hamburg.de/commsy.php?cid=7716111&mod=home&fct=index CommSy], E-Mails an [mailto:se-orga@informatik.uni-hamburg.de se-orga@informatik.uni-hamburg.de] | ||
[mailto:se-orga@informatik.uni-hamburg.de | |||
|- | |- | ||
| [[SE3]] Funktional | | [[SE3]] Funktional | ||
Zeile 71: | Zeile 70: | ||
| [http://kogs-www.informatik.uni-hamburg.de/~dreschle/SE3Pub/Se3slidesInc.pdf Folien], [http://kogs-www.informatik.uni-hamburg.de/~dreschle/SE3Pub/Se3handouts.pdf.zip Skript] | | [http://kogs-www.informatik.uni-hamburg.de/~dreschle/SE3Pub/Se3slidesInc.pdf Folien], [http://kogs-www.informatik.uni-hamburg.de/~dreschle/SE3Pub/Se3handouts.pdf.zip Skript] | ||
| Siehe Stine - Vorlesung | | Siehe Stine - Vorlesung | ||
| [https://lecture2go.uni-hamburg.de/ | | [https://lecture2go.uni-hamburg.de/veranstaltungen/-/v/16732 Lecture2Go 14/15] | ||
| | | sonstiges | ||
|- | |- | ||
| [[SE3]] Logik | | [[SE3]] Logik | ||
| [ Wolfgang Menzel] | | [ Wolfgang Menzel] | ||
| [https://nats-www.informatik.uni-hamburg.de/pub/ | | [https://nats-www.informatik.uni-hamburg.de/pub/Prolog1516/WebHome/skript.pdf Skript] | ||
| [https://nats-www.informatik.uni-hamburg.de/ | | [https://nats-www.informatik.uni-hamburg.de/Prolog1516/VeranstaltungsMaterial Übungsaufgaben] | ||
| | | Lecture2Go | ||
| | | sonstiges | ||
|- | |- | ||
| [[DKR]] | | [[DKR]] | ||
Zeile 93: | Zeile 92: | ||
| In STiNE | | In STiNE | ||
| Keine Aufzeichnungen | | Keine Aufzeichnungen | ||
| | | | ||
<!-- Kopiervorlage: | <!-- Kopiervorlage: |