Matematická logika

Podmínky absolvování

Bodové hodnocení

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

  • 90 <= x: A
  • 80 <= x < 90: B
  • 70 <= x < 80: C
  • 60 <= x < 70: D
  • 50 <= x < 60: E
  • x < 50: F

Domácí úkoly zadáme postupně v pěti sadách. Za každou sadu můžete získat až 5 bodů (+ případné bonusové body). Každému se počítají body za jeho čtyři nejlépe bodované sady.

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/podzim2016/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 většinou mít cca týden, předběžná data zadání úloh i jejich odevzdání jsou zde:

  • 1. sada - zadání zveřejníme nejpozději Pá 14. 10., termín odevzdání Po 24. 10. 12.00 (tj. do začátku přednášky)
  • 2. sada - zadání zveřejníme nejpozději Pá 28. 10., termín odevzdání Po 7. 11. 12.00 (tj. do začátku přednášky)
  • 3. sada - zadání zveřejníme nejpozději Pá 11. 11., termín odevzdání Po 21. 11. 12.00 (tj. do začátku přednášky)
  • 4. sada - zadání zveřejníme nejpozději Pá 25. 11., termín odevzdání Po 5. 12. 12.00 (tj. do začátku přednášky)
  • 5. sada - zadání zveřejníme nejpozději Pá 9. 12., termín odevzdání Po 19. 12. 12.00 (tj. do začátku konzultací)

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. :-)