 |
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 |
INBPCUEFOG1: UE Formale Grundlagen 1 (3 ECTS)
|
|