Martin Thoma 6829f6cf97 added another prolog example 11 anni fa
..
figures 0508de3f6a Misc; E-Mail von Moritz 11 anni fa
meta 872cb8db96 Abschnitt über Reguläre Ausdrücke und Lex hinzugefügt 11 anni fa
scripts 6829f6cf97 added another prolog example 11 anni fa
Abkuerzungen.tex 0277f365eb Java Bytecode 11 anni fa
Bildquellen.tex 80640f870c Programmierparadigmen 11 anni fa
C.tex a0962007a3 Textsetzung 11 anni fa
Compilerbau.tex 8caf744da4 Vorschlag von Moritz (E-Mail vom 08.04.2014) umgesetzt; Fehler, den Jeremias über Facebook am 08.04.2014 berichtet hat, wurde behoben 11 anni fa
Definitionen.tex 2306a2af2e Haskell / Prolog 11 anni fa
Haskell.tex 338b7a2b45 Index verbessert; Inhalte zum Lambda-Kalkül hinzugefügt 11 anni fa
Java-Bytecode.tex 04d3181251 Java Bytecode (invokespecial) 11 anni fa
Java.tex b18561fc54 misc 11 anni fa
Lambda.tex 8cb50f7720 added church numerals to index 11 anni fa
Logik.tex 682d2a6f21 Backtracking 11 anni fa
MPI.tex 2c4f3e97bf added more examples for MPI and Scala 11 anni fa
Makefile 80640f870c Programmierparadigmen 11 anni fa
Parallelitaet.tex 338b7a2b45 Index verbessert; Inhalte zum Lambda-Kalkül hinzugefügt 11 anni fa
Programmierparadigmen.pdf 6829f6cf97 added another prolog example 11 anni fa
Programmierparadigmen.tex 338b7a2b45 Index verbessert; Inhalte zum Lambda-Kalkül hinzugefügt 11 anni fa
Programmiersprachen.tex 80e8df59d6 Abschnitt über Arithmetik in Prolog hinzugefügt; misc 11 anni fa
Programmiertechniken.tex 0508de3f6a Misc; E-Mail von Moritz 11 anni fa
Prolog.tex 6829f6cf97 added another prolog example 11 anni fa
README.md a5da0b9a7b Readme.md -> README.md to make it easier to see Readme files 11 anni fa
Scala.tex 6829f6cf97 added another prolog example 11 anni fa
Symbolverzeichnis.tex 338b7a2b45 Index verbessert; Inhalte zum Lambda-Kalkül hinzugefügt 11 anni fa
Typinferenz.tex 338b7a2b45 Index verbessert; Inhalte zum Lambda-Kalkül hinzugefügt 11 anni fa
Vorwort.tex 0a336199c5 Tippfehler korrigiert; Beispiele hinzugefügt 11 anni fa
X10.tex 338b7a2b45 Index verbessert; Inhalte zum Lambda-Kalkül hinzugefügt 11 anni fa
programmierparadigmen.sublime-project 304f63f016 misc 11 anni fa
shortcuts.sty fac84dbab3 First- und Follow hinzugefügt 11 anni fa
titlepage.tex 80640f870c Programmierparadigmen 11 anni fa

README.md

Dies ist ein inoffizielles, von Studenten erstelltes Skript zur Vorlesung "Programmierparadigmen" am KIT bei Herrn Prof. Dr. Snelting (WS 2013/2014).

Docker

You might also be interested in the programming paradigms docker project.