MA034 Cvičení Matematická logika

Fakulta informatiky
podzim 2003
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
Čt 10:00–10:50 B003
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 určen pouze studentům mateřských oborů.
Mateřské obory/plány
předmět má 7 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 2002, podzim 2004.