ese/nopanic
3
0
Fork 0
mirror of https://github.com/fsr/nopanic synced 2025-04-27 10:08:26 +02:00
Code Issues Releases Wiki Activity

Some small fixes. As always.

Browse source
This commit is contained in:
Sebastian J. Mielke 2015-08-31 16:54:06 +05:30
parent 92c1e12c53
commit c871ea8912
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
texte/moduluebersicht.tex
View file

@ -139,7 +139,7 @@ Beschreibung siehe 5. Semester
\textbf{\menu[,]{I, D, Theoretische Informatik und Logik\,}} \\
Die Fortsetzung der Formalen Systeme.
Es folgen weitere Betrachtungen zur Korrektheit und Terminierung von Algorithmen und der notwendige Aufwand in Form von Zeit und Platzbedarf wird abgeschätzt.
Es folgen weitere Betrachtungen zur Korrektheit und Terminierung von Algorithmen und dem notwendigen Aufwand in Form von Zeit und Platzbedarf.
Ein Abstecher in die Prädikatenlogik und Logikprogrammierung rundet das Modul ab.
\textbf{\menu[,]{I, M, Rechnerarchitektur\,}} \\