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 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.☆44Updated 7 months ago
- A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim☆101Updated 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…☆55Updated last year
- Der Kompilierer der Deutschen Programmiersprache☆161Updated this week
- https://bahn.expert☆585Updated 9 months ago
- Git auf deutsch☆1,270Updated last month
- Ein Projekt zur Erstellung eines LaTeX-Paketes, welches eine einfache Handhabung zur Erstellung von Automaten für Formale Sprachen mitbri…☆11Updated 5 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 2 months ago
- Watch changes to your Dualis-Account to avoid checking back manually every other day. **Not actively maintained - feel free to contribut…☆16Updated 2 years ago
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆145Updated 2 years ago
- Die wichtigsten APIs Deutschlands in einem Python Paket.☆1,335Updated 2 months ago
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆351Updated 3 years ago
- A LaTeX template for term paper, bachelor or master thesis for "FOM University of Applied Sciences"☆209Updated last month
- Programm zum Flotten, Einfachen Runterladen von Dateien☆163Updated this week
- Grabs current REWE discounts and saves them in a markdown file || Holt sich aktuelle REWE-Angebote und exportiert sie in eine Markdown-Li…☆98Updated last year
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆42Updated last week
- 🦠🇩🇪📈 An API for the spread of covid-19 in Germany. Data from Robert-Koch-Institut.☆247Updated last month
- Ein fake der Informatik Seite mit dummem und hilfreichem Zeug☆77Updated 2 weeks ago
- LaTeX-Vorlage zur Projektdokumentation für Fachinformatiker Anwendungsentwicklung☆171Updated 10 months ago
- Proxy for the TUM iCal export to remove clutter☆41Updated 3 weeks ago
- TISS Quick Registration Script☆138Updated last year
- Automatisierte Impfterminbuchung für www.impfterminservice.de☆514Updated 4 years ago
- LaTeX-Vorlage für Bachelorarbeiten o.ä.☆113Updated last year
- Die COVID-19-Impfung kann einen Wendepunkt in der Kontrolle der COVID-19-Pandemie darstellen und erfährt daher hohes Maß an öffentlicher …☆163Updated 2 months ago
- A web application that checks code against a range of user submitted tests.☆34Updated last year
- Das Programm MediathekView durchsucht die Online-Mediatheken verschiedener Sender☆948Updated this week
- Impf Bot.py 🐍⚡ – Automatisierung für den Corona ImpfterminService Bot☆243Updated 4 years ago
- Use TradeRepublic in terminal and mass download all documents☆612Updated 2 weeks ago
- Moodle-DL downloads course content fast from Moodle (eg. lecture pdfs)☆533Updated 11 months ago
- Eine Weboberfläche als Alternative zum Java-Client☆1,038Updated 2 weeks ago