Matematická logika

Podmínky absolvování

Bodové hodnocení

Během semestru je možné získat až 40 bodů za vypracování domácích úkolů (+ případné bonusové body), závěrečná zkoušková písemka je za 160 bodů. Hranice hodnocení jsou následující:

  • 180 <= x: A
  • 160 <= x < 180: B
  • 140 <= x < 160: C
  • 120 <= x < 140: D
  • 100 <= x < 120: E
  • x < 100: F

Domácí úkoly zadáme postupně v pěti sadách. Za každou sadu můžete získat až 8 bodů (+ případné bonusové body). Do E/F hranice se z každé sady počítá nejvýš 5 bodů.
Pro úspěšné absolvování předmětu je tedy v každém případě nutnou podmínkou získat ze závěrečné zkoušky aspoň 75 bodů.

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/podzim2017/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 zde v interaktivní osnově předmětu; kromě toho vás budeme informovat e-mailem. Na vypracování úloh budete mít více než týden, předběžná data zadání úloh i jejich odevzdání jsou zde:

  • 1. sada - zadání zveřejníme nejpozději St 11. 10., termín odevzdání Po 23. 10. 10.00 (tj. do začátku přednášky)
  • 2. sada - zadání zveřejníme nejpozději St 25. 10., termín odevzdání Po 6. 11. 10.00 (tj. do začátku přednášky)
  • 3. sada - zadání zveřejníme nejpozději St 8. 11., termín odevzdání Po 20. 11. 10.00 (tj. do začátku přednášky)
  • 4. sada - zadání zveřejníme nejpozději St 22. 11., termín odevzdání Po 4. 12. 10.00 (tj. do začátku přednášky)
  • 5. sada - zadání zveřejníme nejpozději St 6. 12., termín odevzdání Po 18. 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í