Výuka

Předmět má rozsah 2/2, tj. 2 hodiny přednášky a 2 hodiny cvičení týdně. Účast na cvičeních není povinná, ale je silně doporučená.

Hodnocení

Předmět bude zakončen písemnou zkouškou. Na tuto zkoušku bude možné získat až 100 bodů. Hodnocení předmětu je pak následující: 

Literatura

Vzhledem k poněkud nesourodému obsahu předmětu nelze snadno doporučit jeden studijní materiál. Vše, co bude vyžadováno u zkoušky, je k nalezení ve slajdech, které budou pravidelně zveřejňovány. K samostudiu lze doporučit i následující zdroje:

• materiál prof. Rosického k Teorii množin - je napsaný velmi stručně (určen pro mírně pokročilé čtenáře), obsahuje i důkazy. Obsahuje kapitoly o výrokové i predikátové logice a teorii množin (včetně relací, zobrazení, uspořádání a konstrukce číselných oborů)
• materiál prof. Rosického k Matematické logice - je napsaný velmi stručně (určen pro mírně pokročilé čtenáře), obsahuje i důkazy. Obsahuje mnoho informací o výrokové a především o predikátové logice.
• skripta prof. Slováka Lineární algebra - bezezbytku pokrýva téma řešení soustavy lineárních rovnic, obsahuje mnohem podrobnější a rozsáhlejší výklad tématu (oproti tomu, co je prezentováno na přednášce).
• skripta doc. Hliněného Diskrétní matematika - jsou napsány velmi přístupným stylem s početnými komentáři. Obsahuje kapitoly o teorii množin, kombinatorice a kombinatorické pravděpodobnosti, a dále kapitoly o teorii grafů. 
• webové stránky Výuka kombinatoriky na střední škole s využitím webových stránek

Výuka předmětu začne až od druhého týdne, konkrétně cvičeními v pondělí 24. 2. 2014. 

• 26. 2. 2014 - množiny, základní operace, Russelův paradox, uspořádané dvojice, kartézský součin, potenční množina, relace
• 5. 3. 2014 - ekvivalence, rozklad, uspořádání, Hasseův diagram, zobrazení
• 12. 3. 2014 - číselné obory N, Z, Q, R, mohutnost

• 19. 3. 2014 - výroková logika (syntaxe, sémantika, pravdivostní tabulka)
• 26. 3. 2014 - dokončení výrokové logiky, predikátová logika
• 2. 4. 2014 - dokončení predikátové logiky

• 2. 4. 2014 - soustava lineárních rovnic, matice a vektory
• 9. 4. 2014 - přednáška odpadá (cvičení proběhnou normálně)
• 16. 4. 2014 - maticový zápis soustavy lineárních rovnic, řešení pomocí Gaussovy eliminace, geometrický význam lineárních rovnic s dvěma a třemi proměnnými

• 16. 4. 2014 - základy kombinatoriky: permutace, variace a kombinace bez opakování i s opakováním
• 23. 4. 2014 - kombinatorická pravděpodobnost

• 30. 4. 2014 - základy popisné statistiky

• 7. 5. 2014 - základní pojmy, souvislost grafů, stromy
• 14. 5. 2014 - toky v sítích