Blog

0

Informatik Schon ewig alt und altbekannt, aber ich find den Text immer wieder klasse: Dojo Eigentlich wollte ich darüber ein bisschen mehr schreiben, aber aus Zeitmangel hierzu nur so viel: […]

0

Terminierungsbeweise sind generell unmöglich. Im speziellen sind sie aber meist recht trivial und unter anderem müssen das alle SE1-Studenten mal machen. Das Schema hatte ich schon an die Tafel geschrieben […]

0

Wöchentlich stelle ich „meinen“ SE1-Studenten ein paar kleine meist sehr einfache Aufgaben. Letztens hab ich ihnen versprochen, die Aufgabe zu „Java“ wird ein Kinderspiel. Und genau das war sie auch: […]

7

Letzte Woche hab ich ja schon etwas über Code Smells geschrieben. Einen weit verbreiteten Code Smell, nämlich die Magic Values, habe ich letztens mal wieder angetroffen und so nehme ich […]

0

Zu Weihnachten erhält man ja manchmal E-Mails mit Weihnachtsgrüßen. Soll vorkommen sowas. Dieses Jahr hab ich aber eine technisch gesehen interessante Mail erhalten. Neben dem eigentlichen Text gabs einen Anhang […]

0

Das Sortieren ist ein typisches Problem der Informatik. So typisch, dass es mittlerweile dermaßen gut erforscht ist, dass es schon seit mindestens zwei halben Ewigkeiten eine Reihe von Sortieralgorithmen gibt, […]

0

Rekursion ist für manche noch ein ungewohntes Konzept. Viele einfache Aufgaben lassen sich aber direkt nach „Schema F“ lösen. Der generelle Ansatz ist eigentlich immer gleich. Deshalb hier ein paar […]

0

Auf Wunsch einiger „meiner“ Studenten habe ich mal ein paar Übungsaufgaben zu kontextfreien Grammatiken und Rekursion in Haskell zusammen gestellt. Eigentlich hatte ich ja gar nicht vor so viel zu […]