Erklärungen in ihrem eigenen Stil

Jetzt wird gebukked.
Ich versuche möglichst Tips zu geben, jedoch ist BuK dann doch wohl eher etwas, dass man einfach machen muss. Es werden auch weniger Wissenfragen als bei DatKom und SWT dran kommen.

• Wichtige Probleme | Hauptproblem BuK (Wichtige Probleme)
  Aktualisiert: 20/02/2023

  • Probleme
  • SAT
  • CLIQUE
  • BPP
  • KP
  • TSP
  • 3-SAT
  • COLORING
  • SUBSETSUM
  • Halteproblem
  • spezielle Halteproblem
  • Allgemeine Halteproblem
• Dein Leben (Problemsammlung)
  Aktualisiert: 16/02/2023

  • Probleme
  • Vorlesung
  • Übung
• Turing-die-Maschine (Turingmaschinen)
  Aktualisiert: 20/02/2023

  • Einführung
  • Berechenbarkeit
  • Turingmaschine
• Karmantor-DeRegistrierungsmaschine (Registermaschinen)
  Aktualisiert: 16/02/2023

  • Berechenbarkeit
  • Registermaschinen
• Unterprogrammtech-nick (Unterprogrammtechnik & Berechenbarkeitsbeweise)
  Aktualisiert: 17/02/2023

  • Berechenbarkeit
  • Unterprogrammtechnik
  • Berechenbarkeitsbeweise
• Im E1 ist ein Satz Rice umgefallen (Satz von Rice)
  Aktualisiert: 17/02/2023

  • Berechenbarkeit
  • Beweis
  • Satz von Rice
• Reduktion deiner Note (semi-entscheidbarkeit & Aufzählbarkeit & Reduktionen)
  Aktualisiert: 18/02/2023

  • Berechenbarkeit
  • Aufzählbarkeit
  • semi-entscheidbarkeit
  • PKP
• While-True (WHILE, LOOP)
  Aktualisiert: 18/02/2023

  • Berechenbarkeit
  • WHILE
  • LOOP
  • Ackermannfunktion
• Komplexität von BuK (Komplexitätsklassen)
  Aktualisiert: 19/02/2023

  • Komplexität
  • P
  • NP
  • EXPTIME
  • PSPACE
• Verifizierung deines Untergangs (NTM und Verifizierer)
  Aktualisiert: 19/02/2023

  • Komplexität
  • Verifizierer
  • NTM
  • NP
• Das wird mir hier zu Komplex (Komplexitätsbeweise)
  Aktualisiert: 20/02/2023

  • Komplexität
  • Beweise
  • P
  • NP
• Grohendes Ende (Sonstiges)
  Aktualisiert: 16/02/2023

  • Abzählbarkeit