Gefangen, nicht gefunden! #14
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: […]
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: […]
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 […]
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: […]
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 […]
Ich hatte ja noch versprochen die Aufgaben zur Parameterinduktion online zu stellen. Hier sind sie: 12add x 0 = x add x y = 1 + add x (y-1) Behauptung: […]
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 […]
Jeder, der schon eine Weile programmiert, wird die Situation kennen: Man liest Code (entweder fremden oder eigenen) und es läuft einem kalt den Rücken runter, die Zehnägel stellen sich auf […]
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, […]
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 […]
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 […]