2. cvičení: Algoritmy a korektnost

0:00 Odpovědník
0:05 Pojmový oblak, (anketa kdo chodí na přednášku a kdo dělá DÚ?)
0:15 Motivace pro tuto hodinu, ukázat hezký příklad zdánlivě korektního algoritmu (2.1).
0:20 Opakování definic, nechat postupně mluvit studenty.
0:30 V/V podmínky (2.2).
0:45 Palindrom (protipříklad), sami rozmyslet, pak anketa (2.3).
0:55 Invariant, nechat někoho vysvětlit, pak doplnit (2.4).
1:15 Matice (2.5), dvojice.
1:25 Select Sort, nechat rozmyslet invariant, pak dát dohromady.
1:40 Feedback.

Poznámky z běhu jaro 2019