Pinned Repositories
Algorithms
lecture notes for the algorithms class together with most of the programs
Analysis
The lecture notes and programs for my class on real analysis. This is very much work in progress!
Animation-Of-N-Queens-Problem-In-JavaScript
A studies project for the DBHW Mannheim
Artificial-Intelligence
The lecture notes for my lecture on AI.
coursera-test
Coursera test repository
Formal-Languages
Lecture notes and examples for my class on formal languages and compilers.
Lineare-Algebra
These are the lecture notes for my class on linear algebra.
Logic
Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.
setlX-addons
Useful addons to the SetlX interpreter
Statistik
karlstroetmann's Repositories
karlstroetmann/Algorithms
lecture notes for the algorithms class together with most of the programs
karlstroetmann/Artificial-Intelligence
The lecture notes for my lecture on AI.
karlstroetmann/Logic
Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.
karlstroetmann/Formal-Languages
Lecture notes and examples for my class on formal languages and compilers.
karlstroetmann/Analysis
The lecture notes and programs for my class on real analysis. This is very much work in progress!
karlstroetmann/Lineare-Algebra
These are the lecture notes for my class on linear algebra.
karlstroetmann/Statistik
karlstroetmann/Animation-Of-N-Queens-Problem-In-JavaScript
A studies project for the DBHW Mannheim
karlstroetmann/setlX-addons
Useful addons to the SetlX interpreter
karlstroetmann/coursera-test
Coursera test repository
karlstroetmann/documentation
Documentation for SetlX.js
karlstroetmann/setlX
setlX is an interpreter for the high level programming-language SetlX (set language extended).