MA034 Cvičení Matematická logika

Fakulta informatiky
podzim 2004
Rozsah
0/1. 1 kr. (plus ukončení). Ukončení: z.
Vyučující
doc. RNDr. Jiří Kaďourek, CSc. (přednášející)
prof. RNDr. Luboš Brim, CSc. (pomocník)
Garance
doc. RNDr. Jiří Kaďourek, CSc.
Ústavy – Přírodovědecká fakulta
Kontaktní osoba: doc. RNDr. Jiří Kaďourek, CSc.
Rozvrh
Út 18:00–18:50 B003
  • Rozvrh seminárních/paralelních skupin:
MA034/01: Rozvrh nebyl do ISu vložen. 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 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 2003.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2004/MA034