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.☆45Updated 7 months ago
- Der Kompilierer der Deutschen Programmiersprache☆162Updated 3 weeks ago
- Bot for the Discord Server of The Morpheus Tutorials☆32Updated 2 years ago
- Git auf deutsch☆1,275Updated 2 months ago
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆146Updated 2 years ago
- ☆84Updated last month
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆352Updated 3 years ago
- https://bahn.expert☆594Updated 9 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
- BetterBahn is an open-source project that aims to improve the train travel experience in germany. The current focus is on split-ticketing…☆2,384Updated this week
- 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
- Automatisierte Impfterminbuchung für www.impfterminservice.de☆513Updated 4 years ago
- ☆125Updated last month
- A LaTeX template for term paper, bachelor or master thesis for "FOM University of Applied Sciences"☆210Updated 3 weeks ago
- A website providing links, redirects and tools related to the Technical University Munich☆104Updated last week
- 🦠🇩🇪📈 An API for the spread of covid-19 in Germany. Data from Robert-Koch-Institut.☆246Updated last week
- A web application that checks code against a range of user submitted tests.☆34Updated last year
- TuneQuest, a music guessing game that will put your music knowledge to the test!☆48Updated 6 months ago
- Impf Bot.py 🐍⚡ – Automatisierung für den Corona ImpfterminService Bot☆242Updated 4 years ago
- Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/☆82Updated 5 months ago
- Grabs current REWE discounts and saves them in a markdown file || Holt sich aktuelle REWE-Angebote und exportiert sie in eine Markdown-Li…☆99Updated last year
- LaTeX-Vorlage zur Projektdokumentation für Fachinformatiker Anwendungsentwicklung☆174Updated 11 months ago
- Die wichtigsten APIs Deutschlands in einem Python Paket.☆1,341Updated 3 months ago
- 💉🤖 Bot for the German "ImpfterminService - 116117"☆151Updated 4 years ago
- ☆381Updated last year
- A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim☆104Updated 5 months ago
- unveränderter Code der Tuts.☆190Updated 3 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
- LaTeX template for german scientific papers and theses. See branch »biblatex« for biblatex implementation! Includes natdin for correct ge…☆48Updated 12 years ago
- Saving 400 million euro of public health care money from reckless vendors☆394Updated 3 years ago