Matematické dovednosti
úterý 15:40 v T9
Požadavky na zápočet:Pro
získání nároku na zápočet je potřeba splnit následující dvě kritéria:
jednak mít alespoň poloviční účast na seminářích v průběhu semestru a
jednak získat celkem alespoň polovinu možných bodů ze dvou zápočtových
testů, které budeme psát během semestru. Na termín testů budete vždy
předem upozorněni na semináři i na těchto stránkách.
Pokud byste si přáli mít na této stránce zveřejněnu svou docházku a své
bodové zisky, dejte mi vědět. Můžete si případně zvolit přezdívku, pod
kterou zde budete uvedeni.
Co se dělalo:
- 3. 10.: Stručné představení předmětu. Orientační test, podle nějž
jsme mohli poznat, zda je pro vás předmět přínosný (zadání testu). Pro studenty, kteří snadno
vyřešili všechny příklady testu, tento předmět možná přínosný nebude.
- 10. 10.: Úvod do výrokové logiky, základní logické spojky a
jejich vlastnosti.
- 17. 10.: Kvantifikátory a jejich vlastnosti.
- 24. 10.: Procvičování formálních zápisů, negování a obměňování.
- 31. 10.: Seminář odpadl.
- 7. 11.: Procvičování porozumění složitějším predikátovým výrazům.
- 14. 11.: První zápočtový test. Úvod do důkazů.
- 21. 11.: Jednoduché důkazy: sporem, přímo, nepřímo.
- 28. 11.: Úvod do důkazů indukcí.
- 5. 12.: Procvičování jednoduchých důkazů indukcí.
- 12. 12.: Něco málo o složitějších indukcích.
- 19. 12.: Druhý zápočtový test.
- 9. 1.: Množiny a operace s nimi.
14. 11. jsme psali první zápočtový test. Zájemci si mohou stáhnout několik příkladů k procvičení látky, případně
jejich řešení.
Druhý test jsme psali 19. prosince. Zde je několik
příkladů k procvičení látky, která bude součástí druhého testu, a
zde je jejich řešení.
Body z testů
|
1. test
|
2.test
|
| O. Altman |
14 |
5 |
| Egst |
12
|
6 |
Georgeus
|
12
|
6
|
| P. Machala |
13 |
7 |
| M. Piptová |
10 |
9 |
| V. Škrhák |
11 |
8 |
| S. Uhlík |
6 |
4 |
Doplňující příklady
Přejete-li si získat dodatečné body k zápočtu, můžete vyřešit za domácí
úkol některé doplňující příklady. Řešení je třeba odevzdat buď mailem,
nebo osobně na papíře, a to ve stanoveném termínu.