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.

Inhalte:

  • 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
  • diskrete Wahrscheinlichkeitsverteilungen
  • Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume

Contents:

  • propositional logic and mathematical proof techniques
    • Boolean terms and functions, DNF and CNF, satisfiability, resolution
    • set theory: sets, relations, equivalence and order relations, functions
    • natural numbers and induction, countability
    • predicate logic and mathematical structures
  • combinatorics: counting, binomial coefficients and Stirling numbers, recursion, pigeonhole principle
  • discrete probability theory
  • graph theory: graphs and their representation, paths and cycles, trees

Cross-language

193 102
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 ProInformatik I: 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