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.
☆46Updated 2 weeks ago
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.☆46Updated this week
- A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim☆104Updated 8 months ago
- Automatisierte Impfterminbuchung für www.impfterminservice.de☆512Updated 4 years ago
- Impf Bot.py 🐍⚡ – Automatisierung für den Corona ImpfterminService Bot☆242Updated 4 years 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…☆55Updated last year
- Amtsprache ist Deutsch☆32Updated 2 years ago
- Git auf deutsch☆1,287Updated 4 months ago
- Unofficial trade republic API☆354Updated 2 years ago
- User Script for automatic pixel placing. Fork of PlaceNL☆48Updated 3 years ago
- Use TradeRepublic in terminal and mass download all documents☆678Updated last week
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆146Updated 2 years ago
- https://bahn.expert☆610Updated last year
- ☆81Updated 2 years ago
- Central repository to collect community feature requests and improvements. The CWA development ends on May 31, 2023. You still can warn o…☆103Updated 3 years ago
- Der Kompilierer der Deutschen Programmiersprache☆167Updated this week
- Die wichtigsten APIs Deutschlands in einem Python Paket.☆1,366Updated 5 months ago
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆361Updated 3 years ago
- LaTeX - Vorlage für Bachelor-, Studien- und Projektarbeiten an der DHBW☆20Updated 3 years ago
- Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/☆83Updated last month
- Die COVID-19-Impfung kann einen Wendepunkt in der Kontrolle der COVID-19-Pandemie darstellen und erfährt daher hohes Maß an öffentlicher …☆163Updated 5 months ago
- Dies ist ein Hugo Projekt in dem durch Markdown files eine Prüfungsvorbereitungs-Website erzeugt wird☆173Updated 3 weeks ago
- 🦠🇩🇪📈 An API for the spread of covid-19 in Germany. Data from Robert-Koch-Institut.☆245Updated 2 weeks ago
- ☆391Updated 2 months ago
- Programm zum Flotten, Einfachen Runterladen von Dateien☆170Updated last month
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆49Updated 2 years ago
- Das Nowcasting erstellt eine Schätzung des Verlaufs der Anzahl von bereits erfolgten SARS-CoV-2-Erkrankungsfällen in Deutschland unter Be…☆74Updated 5 months ago
- Das Programm MediathekView durchsucht die Online-Mediatheken verschiedener Sender☆979Updated last month
- Generate prime numbers from pictures!☆340Updated 3 years ago
- 💉🤖 Bot for the German "ImpfterminService - 116117"☆151Updated 4 years ago
- Deutsche Bahn ticket price calendar.☆444Updated 2 weeks ago