karlstroetmann / LogicLinks
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.
☆45Updated this week
Alternatives and similar repositories for Logic
Users that are interested in Logic are comparing it to the libraries listed below
Sorting:
- The lecture notes for my lecture on AI.☆43Updated 2 months ago
- lecture notes for the algorithms class together with most of the programs☆42Updated 9 months ago
- A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim☆94Updated this week
- Lecture notes and examples for my class on formal languages and compilers.☆29Updated 5 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…☆52Updated last year
- 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.ä.☆112Updated last year
- LaTeX Template for Practical Reports, Project Reports and Bachelor Thesis at the DHBW Mannheim, Faculty of Engineering☆9Updated 5 years ago
- LaTex Template for academic papers at the IU International University (2025)☆51Updated 3 weeks ago
- This is an unofficial api for dualis.dhbw.de☆9Updated 7 years ago
- ☆355Updated last year
- Grabs current REWE discounts and saves them in a markdown file || Holt sich aktuelle REWE-Angebote und exportiert sie in eine Markdown-Li…☆96Updated 11 months ago
- API zu den Daten der Autobahn GmbH☆143Updated 2 years ago
- Parse the Aztec code in Deutsche Bahn's train tickets☆105Updated 5 years ago
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆139Updated 2 years ago
- Automatisierte Impfterminbuchung für www.impfterminservice.de☆515Updated 3 years ago
- Bundestag: Dokumentations- und Informationssystem für Parlamentsmaterialien☆21Updated last year
- https://bahn.expert☆555Updated 4 months ago
- 💉🤖 Bot for the German "ImpfterminService - 116117"☆150Updated 3 years ago
- Downloader for lecture videos hosted on OpenCast☆20Updated 4 years ago
- Use TradeRepublic in terminal and mass download all documents☆533Updated last month
- Central repository to collect community feature requests and improvements. The CWA development ends on May 31, 2023. You still can warn o…☆104Updated 2 years ago
- COVID-19 statistics for Germany. For states and counties. With time series data. Daily updates. Official RKI numbers.☆148Updated last year
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆344Updated 2 years ago
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Updated 2 years ago
- Ladesäulenkarte der Bundesnetzagentur☆21Updated 3 years ago
- ☆95Updated this week
- Ansammlung von Kalenderdateien für gesetzliche Feiertage sowie Schulferien der Bundesländer☆64Updated 4 months ago
- Die COVID-19-Impfung kann einen Wendepunkt in der Kontrolle der COVID-19-Pandemie darstellen und erfährt daher hohes Maß an öffentlicher …☆163Updated last month
- Git auf deutsch☆1,251Updated 3 months ago