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.
☆31Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for Logic
- The lecture notes for my lecture on AI.☆42Updated 7 months ago
- lecture notes for the algorithms class together with most of the programs☆42Updated 3 months ago
- The lecture notes and programs for my class on real analysis. This is very much work in progress!☆12Updated 3 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
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆135Updated last year
- A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim☆89Updated 6 months ago
- Lecture notes and examples for my class on formal languages and compilers.☆27Updated 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…☆48Updated 7 months ago
- 💉🤖 Bot for the German "ImpfterminService - 116117"☆151Updated 3 years ago
- LaTeX-Vorlage für Bachelorarbeiten o.ä.☆107Updated 7 months ago
- Backlog Items for the Corona-Warn-App☆20Updated 3 years ago
- Git auf deutsch☆1,143Updated 6 months ago
- This is an unofficial api for dualis.dhbw.de☆9Updated 6 years ago
- https://bahn.expert☆499Updated last week
- Parse the Aztec code in Deutsche Bahn's train tickets☆98Updated 4 years ago
- ☆323Updated 6 months ago
- DISCONTINUED! A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim☆13Updated 4 years ago
- Automatisierte Impfterminbuchung für www.impfterminservice.de☆516Updated 3 years ago
- Deutsche Bahn ticket price calendar.☆379Updated last week
- Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe☆88Updated 6 months ago
- Downloads PDF files from the Comdirect postbox☆87Updated 4 months ago
- ☆229Updated last year
- ☆44Updated last year
- Template for a bachelor or master thesis in LaTeX or Lyx☆91Updated 3 weeks 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 this week
- Downloader for lecture videos hosted on OpenCast☆20Updated 4 years ago
- unveränderter Code der Tuts.☆189Updated 2 years ago
- Der vorliegende Datansatz enthält umfassende Informationen zu SARS-CoV-2-Infektionen in Deutschland, die gemäß dem Infektionsschutzgesetz…☆75Updated this week
- Das Nowcasting erstellt eine Schätzung des Verlaufs der Anzahl von bereits erfolgten SARS-CoV-2-Erkrankungsfällen in Deutschland unter Be…☆74Updated this week
- 🦠🇩🇪📈 An API for the spread of covid-19 in Germany. Data from Robert-Koch-Institut.☆250Updated 2 weeks ago