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.
☆40Updated this week
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.☆43Updated 3 weeks ago
- lecture notes for the algorithms class together with most of the programs☆43Updated 8 months ago
- Lecture notes and examples for my class on formal languages and compilers.☆29Updated 4 months ago
- A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim☆93Updated 11 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…☆50Updated last year
- The lecture notes and programs for my class on real analysis. This is very much work in progress!☆12Updated 3 years ago
- LaTeX-Vorlage für Bachelorarbeiten o.ä.☆111Updated last year
- Watch changes to your Dualis-Account to avoid checking back manually every other day. **Not actively maintained - feel free to contribut…☆16Updated last year
- LaTeX Template for Practical Reports, Project Reports and Bachelor Thesis at the DHBW Mannheim, Faculty of Engineering☆9Updated 5 years ago
- A performance testsuite for VSUE [TU Wien].☆9Updated last year
- Der Kompilierer der Deutschen Programmiersprache☆147Updated this week
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆335Updated 2 years ago
- Use TradeRepublic in terminal and mass download all documents☆512Updated last week
- https://bahn.expert☆543Updated 2 months ago
- Programm zum Flotten, Einfachen Runterladen von Dateien☆148Updated last week
- Die COVID-19-Impfung kann einen Wendepunkt in der Kontrolle der COVID-19-Pandemie darstellen und erfährt daher hohes Maß an öffentlicher …☆165Updated last week
- Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe☆90Updated 11 months ago
- all relevant draft documents☆11Updated 5 years ago
- Template for a bachelor or master thesis in LaTeX or Lyx☆99Updated last month
- ☆20Updated 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 last week
- Synchronization client for RWTH Moodle☆77Updated 3 months ago
- Grundgesetz für die Bundesrepublik Deutschland☆523Updated 7 years ago
- Un-official comdirect REST API client for Node.js☆12Updated 2 years ago
- Grabs current REWE discounts and saves them in a markdown file || Holt sich aktuelle REWE-Angebote und exportiert sie in eine Markdown-Li…☆98Updated 9 months ago
- Der vorliegende Datansatz enthält umfassende Informationen zu SARS-CoV-2-Infektionen in Deutschland, die gemäß dem Infektionsschutzgesetz…☆74Updated this week
- Proxy for the TUM iCal export to remove clutter☆39Updated last week
- Schulcloud-Verbund-Software-Client☆35Updated this week
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆138Updated 2 years ago
- Downloader for lecture videos hosted on OpenCast☆20Updated 4 years ago