 |
| Detailinformationen |
| Quellcurriculum |
Bachelorstudium Informatik 2007W |
| Lehrinhalte |
Schaltalgebra, Aussagenlogik, Mengen, Prädikatenlogik, Repräsentation
von Datenstrukturen, Relationen, Ordnungsrelationen,
Äquivalenzrelationen, Funktionen, Spezielle Funktionen
|
| Beurteilungskriterien |
|
| Lehrinhalte wechselnd? |
Nein |
| Äquivalenzen |
INBPCVOFOG1: VO Formale Grundlagen 1 (3 ECTS)
|
|
