📚 The CoCalc Library - books, templates and other resources
License: OTHER
%!TEX root = Programmierparadigmen.tex1\chapter*{Vorwort}2Dieses Skript wird/wurde im Wintersemester 2013/20143von Martin Thoma zur Vorlesung von Prof.~Dr.~Snelting und Jun.-Prof.~Dr.~Hummel4geschrieben. Dazu wurden5die Folien von Prof.~Dr.~Snelting und Jun.-Prof.~Dr.~Hummel benutzt, die Struktur6sowie einige Beispiele, Definitionen und Sätze übernommen.78Es wurden einige Aufgaben von \url{http://www.datagenetics.com/blog/june22014/index.html}9genommen um Beispielcode für einfache Probleme zu schreiben.1011Das Ziel dieses Skriptes ist vor allem12in der Klausur als Nachschlagewerk zu dienen; es soll jedoch auch13vorher schon für die Vorbereitung genutzt werden können und nach14der Klausur als Nachschlagewerk dienen.1516Ein Link auf das Skript ist unter \\17\href{http://martin-thoma.com/programmierparadigmen/}{\path{martin-thoma.com/programmierparadigmen}}\\18zu finden.1920\section*{Anregungen, Verbesserungsvorschläge, Ergänzungen}21Noch ist das Skript im Aufbau. Es gibt viele Baustellen und es ist22fraglich, ob ich bis zur Klausur alles in guter Qualität bereitstellen23kann. Daher freue ich mich über jeden Verbesserungsvorschlag.2425Anregungen, Verbesserungsvorschläge und Ergänzungen können per26Pull-Request gemacht werden oder mir per E-Mail an info@martin-thoma.de27geschickt werden.2829\section*{Erforderliche Vorkenntnisse}30Grundlegende Kenntnisse vom Programmieren, insbesondere mit Java,31wie sie am KIT in \enquote{Programmieren} vermittelt werden, werden32vorausgesetzt. Außerdem könnte ein grundlegendes Verständnis für33das $\mathcal{O}$-Kalkül aus \enquote{Grundbegriffe der Informatik} hilfreich sein.3435Die Unifikation wird wohl auch in \enquote{Formale Systeme}36erklärt; das könnte also hier von Vorteil sein.3738Die Grundlagen des Kapitels \enquote{Parallelität} wurden in Softwaretechnik I39(kurz: SWT I) gelegt.4041