Formale Systeme, Automaten, Prozesse: (Fr, 09.05.2014)
Zur Veranstaltungsseite

Anmeldung erforderlich

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Beschreibung:

noch kein Titel

Kapitel:

00:05:59
Rekursion und Induktion
01:02:53
3.2 Induktive Beweise