Obecná náplň cvičení

• Množinový kalkul, Vennovy diagramy, jednoduché ukázky a identity. Například: distributivita průniku vůči sjednocení i naopak; konkrétní protipříklad, proč rozdíl není asociativní; důkaz asociativity symetrického rozdílu.
• Speciální pozornost si zaslouží definice uspořádané dvojice z přednášky - jak se chová a jak snadno dokázat, že rovnost dvojic znamená rovnost po složkách? (nezapomeňte v tom případ (x,x)!).
• Rekurentní posloupnosti, konkrétní ukázky, odhad řešení a využití indukce k důkazu správnosti řešení.

Tato druhá část cvičení je poměrně jednoduchá a množinový kalkul obvykle nečiní potíže. Je dobré si všimnout a spojit příklady rekurentních posloupností s důkazy matematickou indukcí (které se výhodně používají k ověření vlastností či předpisů pro takto zadané posloupnosti) - viz cvičení 2a.