This Section is dedicated to several, informative texts I have written, i. e. for exercises or repeating several complex of themes from my study.
These texts are only available in german language. It is currently not planned to translate them into english!
Dieser Abschnitt enthält einige Informationstexte, die ich aus verschiedenen Gründen geschrieben habe (etwa für Übungen aber auch um Inhalte aus meinem Studium zu wiederholen).
Die Dateien sind ausschließlich im PDF Format verfügbar, alle Rechte zur Weiterverwendung liegen bei mir!
Zur Zeit verfügbar:
- Die Universelle Turingmaschine Bei diesem Text handelt es sich um einen Anhang, zu einer Übungsaufgabe aus dem Modul “Algorithmen und Programmieren 1” aus dem Wintersemester 2008/2009 der Freien Universität Berlin (Dozenten: Raul Rojas, Marco Block und Tino Naphtali). Die Aufgabenstellung sowie die nötigen Informationen sind ebenfalls in der Datei enthalten.
- Klammertest Turingmaschine Bei diesem Text handelt es sich um einen Anhang, zu einer Übungsaufgabe aus dem Modul “Algorithmen und Programmieren 1” aus dem Wintersemester 2008/2009 der Freien Universität Berlin (Dozenten: Raul Rojas, Marco Block und Tino Naphtali). Die Aufgabenstellung sowie die nötigen Informationen sind ebenfalls in der Datei enthalten.
- Einführung in das Lambda-Kalkül Der Text erklärt die wichtigsten Konzpte und Funktionen des Lambda-Kalküs. Anbei ist befindet sich ebenfalls eine Tabelle mit bei der alle Funktionen erneut zusammgenfasst werden, sowie ein kleiner Ausblick in das SKI-Kombinatoren Kalkül.
- Ein LaTeX Schnellkurs Der Text gibt eine schnell Übersicht über die wichtigsten Konzepte und Befehle des Textsatzsystems LaTeX.
- Manuelles einrichten und warten eines RSS Feeds Der Leser erhält eine kurzeinführung in das RSS System um den Grundlegenden Aufbau eines Feeds verstehen zu können.
- Manueller Bootstrap des GHC Compilers unter Mac OS X Der Text bietet eine Anleitung, um den GHC Compiler allein kompilieren zu können, ohne auf das Installerpaket zurückgreifen zu müssen, oder MacPorts zu verwenden.
- Eine Einführung in Haskell Dieser Text ist eine Sammlung der wichtigsten Konzepte und Programmiermittel für Haskell. Dabei werden sowohl die Datentypen in Haskell angesprochen, als auch die Paradigmen, die Haskell zu einer beliebten Lehrsprache für die Funktionale Programmierung machen.
