Programmierung: Vorlesung (Fr, 28.10.2016)
Zur Veranstaltungsseite
  • Einbetten

Beschreibung:

-Grundelemente der Programmierung-
Anweisungen und Kontrollstrukturen,
Verifikation bis "Zuweisungsregel"

Kapitel:

00:01:46
Wiederholung
00:02:48
Schleifen
00:18:13
Do-Schleife
00:30:06
For- Schleife
00:43:33
Sprunganweisungen
01:07:19
Verifikation
01:12:18
Verifikation: Beispiel
01:16:59
Hoare Kalkül
01:25:08
Zuweisungsregel