MA034 Cvičení Matematická logika

Fakulta informatiky
podzim 2002
Rozsah
0/1. 1 kr. (plus ukončení). Ukončení: z.
Vyučující
doc. RNDr. Jiří Kaďourek, CSc. (přednášející)
Garance
doc. RNDr. Jiří Kaďourek, CSc.
Ústavy – Přírodovědecká fakulta
Kontaktní osoba: doc. RNDr. Jiří Kaďourek, CSc.
Rozvrh seminárních/paralelních skupin
MA034/01: Čt 16:00–16:50 B011, J. Kaďourek
MA034/02: Čt 17:00–17:50 B011, J. Kaďourek
Předpoklady
! M034 Cv. Matematická logika && NOW ( MA007 Matematická logika )
Je nutno současně zapsat přednášku MA007 Matematická logika.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
předmět má 6 mateřských oborů, zobrazit
Cíle předmětu
Doporučené cvičení doplňující přednášku MA007 Matematická logika.
Osnova
  • Obsahem cvičení jsou úlohy ilustrující a rozvíjející problematiku probíranou v jednotlivých partiích přednášky MA007 Matematická logika.
Literatura
  • LAVROV, I. A. a L. L. MAKSIMOVA. Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov. Moskva: Nauka, 1984, 223 s. info
Metody hodnocení
Cvičení.
Informace učitele
Podmínkou ke získání zápočtu je pravidelná účast ve cvičeních s tím, že jsou tolerovány nanejvýš dvě neomluvené absence za semestr.
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích podzim 2003, podzim 2004.