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 6 months ago
Alternatives and similar repositories for Logic:
Users that are interested in Logic are comparing it to the libraries listed below
- The lecture notes for my lecture on AI.☆42Updated last week
- lecture notes for the algorithms class together with most of the programs☆42Updated 6 months ago
- The lecture notes and programs for my class on real analysis. This is very much work in progress!☆12Updated 3 years ago
- Lecture notes and examples for my class on formal languages and compilers.☆29Updated 2 months ago
- A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim☆92Updated 9 months ago
- LaTeX Template for Practical Reports, Project Reports and Bachelor Thesis at the DHBW Mannheim, Faculty of Engineering☆9Updated 5 years ago
- Downloads PDF files from the Comdirect postbox☆88Updated last month
- LaTeX-Vorlage für Bachelorarbeiten o.ä.☆111Updated 11 months ago
- Use TradeRepublic in terminal and mass download all documents☆481Updated last 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…☆50Updated 10 months 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
- Deutsche Bahn ticket price calendar.☆397Updated this week
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆136Updated last year
- Unofficial trade republic API☆299Updated last year
- 💉🤖 Bot for the German "ImpfterminService - 116117"☆150Updated 3 years ago
- Impf Bot.py 🐍⚡ – Automatisierung für den Corona ImpfterminService Bot☆243Updated 3 years ago
- ☆228Updated 2 years ago
- https://bahn.expert☆532Updated last month
- ☆96Updated 2 years ago
- Automatisierte Impfterminbuchung für www.impfterminservice.de☆515Updated 3 years ago
- Template for a bachelor or master thesis in LaTeX or Lyx☆92Updated last month
- 🦠🇩🇪📈 An API for the spread of covid-19 in Germany. Data from Robert-Koch-Institut.☆249Updated last month
- Find journey prices using the DB Sparpreise API.☆104Updated 4 years ago
- A LaTeX template for term paper, bachelor or master thesis for "FOM University of Applied Sciences"☆190Updated last week
- ☆342Updated 9 months ago
- Backlog Items for the Corona-Warn-App☆20Updated 3 years ago
- Ladesäulenkarte der Bundesnetzagentur☆20Updated 3 years ago
- Statistische Analyse und Visualisierung der täglichen Diagnoseschlüssel der deutschen COVID-19 Tracing-App (Corona-Warn-App).☆91Updated 2 years ago
- Grafische Programmierumgebung. Zum spielerischen Erlernen von Programmierkonzepten. Basiert auf Scratch vom MIT☆118Updated 5 months ago
- Webseite zu dem DeinWal.de Projekt☆64Updated 2 years ago