Předmět Logika a axiomatika (KMA / N303)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMA / N303 - Logika a axiomatika, Přírodovědecká fakulta, Univerzita Jana Evangelisty Purkyně v Ústí nad Labem (UJEP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Obsah
1. Formule2. Teorie modelů - pravdivostní ohodnocení, tautologie3. Teorie důkazů - dokazatelnost4. Teorie důkazů - věta o dedukci5. Teorie důkazů - bezespornost, pravidla zavedení a odstranění6. Teorie důkazů - úplnost7. Varianty výrokového kalkulu8. Formální aritmetika9. Teorie grup
Literatura
ŠVEJDAR, V. Logika, neúplnost, složitost a nutnost. Academia, Praha, 2002. KLEENE, S.C. Mathematical Logic. John Wiley & Sons, Inc., New York, 1967. GÖDEL, K. Věty o úplnosti a nerozhodnutelnosti. Plzeň, 2009.
Požadavky
Požadavky k zápočtu: Ve zkouškovém období se bude psát jedna zápočtová písemka, ze které je třeba získat více než jednu třetinu bodů. Lze psát jednu opravnou zápočtovou písemku, ze které je třeba získat více než jednu třetinu bodů.
Garant
RNDr. Martin Kuřil, Ph.D.
Vyučující
RNDr. Martin Kuřil, Ph.D.