Matematická logika

Podmínky absolvování

Bodové hodnocení

Během semestru bude zadáno 5 sad domácích úloh, každá za 8 bodů (+ případné bonusové body). Závěrečná zkoušková písemka je za 160 bodů.
Pro úspěšné absolvování předmětu na zápočet (lze též získat již během semestru - viz dále), kolokvium, resp. zkoušku
je potřeba v součtu získat alespoň 90, 95, resp. 100 bodů, přičemž do tohoto součtu se z každé sady započítá nejvýš 5 bodů.
V případě úspěšného absolvování předmětu na zkoušku rozhoduje o výsledné známce celkový součet (počítají se všechny body),
přičemž na hodnocení A je potřeba získat alespoň 180 bodů, dále jsou hranice mezi známkami po 20 bodech.
Zápočet lze získat již během semestru, a to v případě, jsou-li sestupně seřazené bodové zisky z jednotlivých sad po složkách alespoň (5, 5, 5, 4, 3).

Vypracování domácích úloh

Domácí úkoly je třeba vypracovat ručně na speciální odpovědní listy, které vám přineseme na cvičení. Pokud na cvičení nemůžete přijít,
můžete si odpovědní listy vytisknout sami z následujícího souboru: https://is.muni.cz/auth/el/1433/podzim2018/MA007/um/hw/assgnsheets.pdf
Prvních patnáct listů má předvyplněné číslo listu i číslo sady. Pokud budete potřebovat více než tři listy na sadu, vytiskněte si šestnáctý list
a vyplňte na něm číslo listu a číslo sady. Na list č. 1 řešte jen příklad č. 1; podobně na list č. 2 jen příklad č. 2. Další listy můžete použít
na řešení libovolného příkladu, ale nepište řešení obou příkladů na jeden list. Pište jen na přední strany listů.

Domácí úlohy se odevzdávají do skříňky označené "Matematická logika", která se nachází v mezipatře nad vrátnicí (před vchodem do posluchárny D1). Pouze ve výjimečných případech (nemoc, zahraniční studijní pobyt) je možné zaslat řešení úlohy elektronicky na mailovou adresu cvičících. Odevzdávané listy nepřekládejte, nesecvakávejte ani nevkládejte do obalů.

Domácí úlohy je třeba vypracovat zcela samostatně. Můžete o daném problému diskutovat ve více lidech (aniž si budete z diskuse pořizovat psané poznámky), řešení však musíte zformulovat a zapsat zcela sami. Opisování bude postihováno.

Zadání úloh a později i jejich vzorová řešení budou zveřejněna ve studijních materiálech; kromě toho vás budeme informovat e-mailem. Na vypracování úloh budete mít více než týden, termíny zadání úloh a jejich odevzdání jsou následující:

  • 1. sada - zadání zveřejníme ve středu 3. 10., termín odevzdání je úterý 16. 10. 10.00 (tj. do začátku přednášky)
  • 2. sada - zadání zveřejníme ve středu 17. 10., termín odevzdání je úterý 30. 10. 10.00 (tj. do začátku přednášky)
  • 3. sada - zadání zveřejníme ve středu 31. 10., termín odevzdání je úterý 13. 11. 10.00 (tj. do začátku přednášky)
  • 4. sada - zadání zveřejníme ve středu 14. 11., termín odevzdání je úterý 27. 11. 10.00 (tj. do začátku přednášky)
  • 5. sada - zadání zveřejníme ve středu 28. 11., termín odevzdání je úterý 11. 12. 10.00

 

Poznámka k ručnímu psaní domácích úkolů: důvodů pro tento krok máme několik. Prvním, poněkud přízemním důvodem je to, že se o něco ztěžuje možnost opisování. Jsou ale i méně nápadné důvody. Zkušenost praví, že ruční psaní, které je obvykle fyzicky náročnější než psaní na klávesnici, poněkud snižuje pravděpodobnost toho, že odevzdaná řešení nabobtnají na několik stránek zbytečně rozvláčného textu. Tím se jednak procvičíte v úsporném a elegantním přenášení svých myšlenek na papír, jednak se tím zjednoduší práce opravujícím. :-) Dále vědecký výzkum v oblasti pedagogiky jasně ukazuje, že psaní rukou má mnohem větší přínos pro proces učení, než psaní na klávesnici. Snad tedy budete z tohoto způsobu psaní profitovat i vy. :-)

Následující