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.
☆36Updated this week
Alternatives and similar repositories for Logic:
Users that are interested in Logic are comparing it to the libraries listed below
- The lecture notes for my lecture on AI.☆43Updated last week
- lecture notes for the algorithms class together with most of the programs☆42Updated 7 months ago
- LaTeX Template for Practical Reports, Project Reports and Bachelor Thesis at the DHBW Mannheim, Faculty of Engineering☆9Updated 5 years ago
- Lecture notes and examples for my class on formal languages and compilers.☆29Updated 3 months ago
- The DHBW student app offers you the opportunity to view your schedule on your smartphone. You can also view the grades from Dualis direct…☆50Updated 11 months ago
- Watch changes to your Dualis-Account to avoid checking back manually every other day. **Not actively maintained - feel free to contribut…☆16Updated last year
- LaTeX-Vorlage für Bachelorarbeiten o.ä.☆111Updated last year
- A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim☆93Updated 10 months ago
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆334Updated 2 years ago
- Der Kompilierer der Deutschen Programmiersprache☆147Updated 2 weeks ago
- Free check-in service to log your public transit journeys☆278Updated this week
- https://bahn.expert☆539Updated 2 months ago
- A python-built web crawler to automate file downloads off of https://www.moodle.tum.de/☆30Updated last year
- Git auf deutsch☆1,177Updated last month
- Eine Sammlung an Zusammenfassungen/Cheatsheets, welche ich im Laufe meines Informatik Studiums an der HSR geschrieben habe.☆45Updated 2 years ago
- Moodle Buddy is a browser plugin that offers mass download and notification functionality to the Moodle learning management platform☆47Updated 6 months ago
- Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden☆44Updated 11 months ago
- DHBW Heidenheim - LaTeX Template☆30Updated last year
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆138Updated last year
- Mensas erste nützliche Schlangen-Abmessungssoftware☆30Updated 2 years ago
- API für Rechtsinformationen des Bundes.☆20Updated 2 years ago
- Grabs current REWE discounts and saves them in a markdown file || Holt sich aktuelle REWE-Angebote und exportiert sie in eine Markdown-Li…☆96Updated 9 months ago
- Proxy for the TUM iCal export to remove clutter☆39Updated 2 weeks ago
- Programm zum Flotten, Einfachen Runterladen von Dateien☆146Updated 3 weeks ago
- Downloader for lecture videos hosted on OpenCast☆20Updated 4 years ago
- Tool to download files from the ILIAS platform automatically☆16Updated 6 months ago
- A website providing links, redirects and tools related to the Technical University Munich☆91Updated last month
- A Chrome and Firefox Extension that enables free downloads on studydrive.☆71Updated 2 weeks ago
- A list of german puns/dad jokes☆286Updated 2 months ago
- ☆127Updated 2 months ago