Podmínky zápočtu

Zápočtový test + práce v průběhu semestru

Zápočet bude udělen po napsání zápočtového testu v případě, že celkový součet bodů udělených za zápočtový test a práci v průběhu semestru bude

nejméně 120 bodů.

Tabulka s bodovým hodnocením

Verze zápočtového testu: K L P R T Z

Ve zkouškovém období je možné si zápočet napsat v době konzultačních hodin nebo v době zkouškového termínu.

Na termín se !!!NEZAPISUJTE!!!

Stačí pouze předchozí domluva.

Práce v průběhu semestru

Domácí úkoly

Ø budou uveřejněny na internetu.

Ø musí být odevzdány v předepsaném termínu.

Ø nemusí být odevzdány osobně, tj. lze je nechat na katedře v poště, nebo poslat elektronicky.

Domácích úkolů bude celkem 7. Za každý odevzdaný domácí úkol lze získat 1 – 5 bodů.

Opravené domácí úkoly a průběžné testy jsou k vyzvednutí v konzultačních hodinách

Testy

Testy se budou psát na seminářích bez předchozího upozornění.

Testy budou celkem 4. Za každý napsaný test lze získat 1 – 5 bodů.

Docházka

1 bod za každý seminář, kterého se student zúčastní.

Celkem je tedy možné za práci během semestru získat až 68 bodů, což znamená, že studentovi, který během semestru průběžně plnil studijní povinnosti stačí k získání zápočtu jen minimální počet bodů ze zápočtového testu.

Zápočtový test

Vzorové (loňské)zápočtové testy: Verze A Verze B

Test se bude psát na posledním semináři (středa 14. a čtvrtek 15. května)

nebo ve zkouškovém období ve vypsaných termínech.

Test má prokázat, že student zvládá základní syntaktické operace moderní logiky, především:

Ø rozeznání správně utvořených formulí.

Ø transformace a ekvivalence formulí.

Ø formalizace a interpretace.

Ø správnost úsudků a odvození, protipříklady.

Ø správnost definice.

Max. počet bodů v testu je 150 bodů.