Studies

193
Compulsory

When a course instance has been created from a template, the course instance will be in this state

  • Data is usually still incomplete and everything can still be edited.
  • Lecturers or secretaries can move the state forward to Edited.

  • Aussagenlogik und mathematische Beweistechniken
  • Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
  • Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
  • Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
  • Prädikatenlogik und mathematische Strukturen
  • Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
  • Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume
  • propositional logic and mathematical proof techniques
  • Boolean formulae und Boolean functions, disjunctive and conjunctive normal form, satisfiability, resolution calculus
  • set theory:  sets, relations, equivalence and order relations, functions
  • natural numbers, the induction principle, cardinal numbers
  • first-order logic und mathematical structures
  • combinatorics: counting techniques, binomial coefficents and Stirling numbers, recurrences, pigeon hole principle
  • graph theory: graphs and their representations, paths and cycles in graphs, trees

Cross-language

193 009
Compulsory

Expectant Mother

Not dangerous
Partly dangerous
Alternative Course
Dangerous
Show questionnaire

Nursing Mother

Not dangerous
Partly dangerous
Alternative Course
Dangerous
Show questionnaire

AncillaryCourses

Übung zu Logik und Diskrete Mathematik

Expectant Mother

Not dangerous
Partly dangerous
Alternative Course
Dangerous
Show questionnaire

Nursing Mother

Not dangerous
Partly dangerous
Alternative Course
Dangerous
Show questionnaire