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 3 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 8 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
- ☆125Updated last month
- Proxy for the TUM iCal export to remove clutter☆43Updated last week
- Der Kompilierer der Deutschen Programmiersprache☆162Updated last week
- The czech library for C. Why? Because we could, of course!☆131Updated 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
- Das Nowcasting erstellt eine Schätzung des Verlaufs der Anzahl von bereits erfolgten SARS-CoV-2-Erkrankungsfällen in Deutschland unter Be…☆74Updated 3 months ago
- A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim☆104Updated 6 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
- A website providing links, redirects and tools related to the Technical University Munich☆105Updated last week
- 🦠🇩🇪📈 An API for the spread of covid-19 in Germany. Data from Robert-Koch-Institut.☆246Updated this week
- Ein fake der Informatik Seite mit dummem und hilfreichem Zeug☆77Updated last week
- Git auf deutsch☆1,279Updated 3 months ago
- Browser extension to automatically register in TISS☆45Updated 8 months ago
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆356Updated 3 years ago
- https://bahn.expert☆599Updated 10 months ago
- Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/☆82Updated 6 months ago
- Lernmaterialien LA I/II☆35Updated 8 years ago
- LaTeX support for the IntelliJ platform by JetBrains.☆970Updated this week
- 🚀 Browser Extension for higher productivity with TU Dresden online portals☆50Updated last week
- A browser add-on that adds essential features to the HSLU MyCampus website☆40Updated 3 years ago
- TISS Quick Registration Script☆137Updated last year
- Moodle Buddy is a browser plugin that offers mass download and notification functionality to the Moodle learning management platform☆57Updated 2 months ago
- Moodle-DL downloads course content fast from Moodle (eg. lecture pdfs)☆544Updated last year
- Eine kleine Auswahl an Vorlagen für verschiedene Arten von Dokumenten.☆16Updated 9 years ago
- A web application that checks code against a range of user submitted tests.☆34Updated last year
- LaTeX Templates for TU Darmstadt☆240Updated 3 weeks ago
- LaTeX template for german scientific papers and theses. See branch »biblatex« for biblatex implementation! Includes natdin for correct ge…☆48Updated 12 years ago
- A python-built web crawler to automate file downloads off of https://www.moodle.tum.de/☆30Updated 2 years ago