 |
| Detailed information |
| Original study plan |
Bachelor's programme Computer Science 2007W |
| Subject |
(*)Schaltalgebra, Aussagenlogik, Mengen, Prädikatenlogik, Repräsentation
von Datenstrukturen, Relationen, Ordnungsrelationen,
Äquivalenzrelationen, Funktionen, Spezielle Funktionen
|
| Criteria for evaluation |
|
| Changing subject? |
No |
| Corresponding lecture |
(*)INBPCVOFOG1: VO Formale Grundlagen 1 (3 ECTS)
|
|
