Studium

193
Teilnahmepflicht

Wenn eine Veranstaltungsinstanz aus einer Schablone erstellt wird, befindet sie sich in diesem Zustand.

  • Die Daten sind in der Regel noch nicht vollständig und es kann noch alles bearbeitet werden.
  • Dozenten und Sekretariate können den Zuständ auf Bearbeitet setzen.

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

Sprachübergreifend

193 102
Teilnahmepflicht

Werdende Mütter

Keine Gefährdungen vorliegend
Teilweise Gefährdungen vorliegend
Alternative Lehrveranstaltung
Gefährdungen vorliegend
Mutterschutzbogen anzeigen

Stillende Mütter

Keine Gefährdungen vorliegend
Teilweise Gefährdungen vorliegend
Alternative Lehrveranstaltung
Gefährdungen vorliegend
Mutterschutzbogen anzeigen

Begleitveranstaltungen

Übung zu ProInformatik I: Logik und Diskrete Mathematik

Werdende Mütter

Keine Gefährdungen vorliegend
Teilweise Gefährdungen vorliegend
Alternative Lehrveranstaltung
Gefährdungen vorliegend
Mutterschutzbogen anzeigen

Stillende Mütter

Keine Gefährdungen vorliegend
Teilweise Gefährdungen vorliegend
Alternative Lehrveranstaltung
Gefährdungen vorliegend
Mutterschutzbogen anzeigen