Fach | Informatik |
Kursnummer | 1601 |
Autor | Helbig, Hermann |
Titel | Formale Grundlagen der Informatik |
Jahr | 1999 |
Signatur | AKMH/INF |
Bemerkung | Kurs separat aufgestellt! |
Kurseinheiten | ||
Nr. | Titel | Invent.-Nr. |
01 | Grundbegriffe der Informatik | 99 / 012816 |
02 | Aussagenlogik | 99 / 014201 |
03 | Prädikatenlogik | 00 / 002072 |
04 | Logikanwendungen in der Informatik | 00 / 002073 |
Ihr Kontakt: Christoph Spieker