karlstroetmann / Logic
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.
☆32Updated 3 weeks ago
Related projects: ⓘ
- lecture notes for the algorithms class together with most of the programs☆43Updated 3 weeks ago
- The lecture notes for my lecture on AI.☆42Updated 5 months ago
- A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim☆89Updated 3 months ago
- Lecture notes and examples for my class on formal languages and compilers.☆24Updated 9 months ago
- LaTeX-Vorlage für Bachelorarbeiten o.ä.☆108Updated 5 months ago
- https://bahn.expert☆475Updated this week
- AfD Blocker Browser Plugin☆283Updated last year
- Der Kompilierer der Deutschen Programmiersprache☆138Updated 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…☆46Updated 5 months ago
- ☆305Updated 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 …☆165Updated 2 months ago
- 🦠🇩🇪📈 An API for the spread of covid-19 in Germany. Data from Robert-Koch-Institut.☆250Updated last week
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆134Updated last year
- 💉🤖 Bot for the German "ImpfterminService - 116117"☆151Updated 2 years ago
- Deutsche Bahn ticket price calendar.☆372Updated 8 months ago
- DISCONTINUED! A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim☆13Updated 4 years ago
- ☆97Updated 2 years ago
- Watch changes to your Dualis-Account to avoid checking back manually every other day. **Not actively maintained - feel free to contribut…☆16Updated last year
- DHBW Heidenheim - LaTeX Template☆24Updated 6 months ago
- 📦 Lernstoffsammlung der Informatik☆66Updated 5 months ago
- Das Nowcasting erstellt eine Schätzung des Verlaufs der Anzahl von bereits erfolgten SARS-CoV-2-Erkrankungsfällen in Deutschland unter Be…☆74Updated 9 months ago
- Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe☆87Updated 4 months ago
- ☆59Updated 2 years ago
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆314Updated last year
- Code for ferien-api.de lives here. Feel free to contribute.☆23Updated 9 months ago
- A clean REST API wrapping around the Deutsche Bahn API.☆81Updated this week
- Grundgesetz für die Bundesrepublik Deutschland☆448Updated 6 years ago
- Die wichtigsten APIs Deutschlands in einem Python Paket.☆1,168Updated 3 months ago
- 🚏🚍 A collection of links and tools regarding the VVO/DVB network☆86Updated last year
- library to access the internet banking area of "Deutsche Kreditbank" to get account information and transactions☆141Updated this week