Logik & Berechenbarkeit

Lehrinhalte
  • - Logik: Aussagenlogik und Prädikatenlogik, Spezifikationen, Argumentieren und Beweisen
    - Mengenlehre: Konzepte, Mengenbildungen, Tupel, Relationen, Funktionen
    - Berechenbarkeit: Laufzeitkomplexität, Landau-Notation, endliche Automaten, Kellerautomaten, Turingmaschinen
Cookies erleichtern die Bereitstellung unserer Dienste. Mit der Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies verwenden.
Datenschutz