|
Lehrstuhl Theorie der Programmierung |
|
| Adresse: |
Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6 10099 Berlin |
Internes Wiki |
| Sitz: |
Johann von Neumann-Haus Haus IV, 4. Etage Rudower Chaussee 25 12489 Berlin |
 Wegbeschreibung |
| Telefon: | +49-30-2093 3066 | |
| Fax: | +49-30-2093 3067 | |
| Leiter: | Prof. Dr. Wolfgang Reisig | |
| Sekretariat: | Birgit Heene | |
| | ||
| Aktuelles |
|
|||||||||||||||||||
|
||||||||||||||||||||
| Downloads | ||||||||||||||||||||
| Mein erster Beweis - Eine Anleitung für das korrekte Beweisen, für Anfänger und Fortgeschrittene (Karsten Schmidt, 2000) | ||||||||||||||||||||
| Formulieren und Argumentieren - Grundtechniken zum schlüssigen Argumentieren (Karsten Schmidt, 2002) | ||||||||||||||||||||
Theorie der Programmierung | Kontakt | zuletzt geändert am 24.07.2009 13:54
