Beweistechniken

Einfache Sprache

Def. Beweistechniken

• Direkter Beweis

• Indirekter Beweis

• Beweis durch Widerspruch

• Induktion

  • Noetherschen Induktion
  • Verallgemeinerte Induktion
  • Vollständige Induktion
  • Strukturelle Induktion

• Ringschluss

• Logik

  • Resolutionsbeweis

• Theoretische Informatik

  • Reduktion
  • Pumpinglemma für reguläre Sprachen
  • Pumpinglemma für Kontextfreie Sprachen