Předmět Logika a axiomatika (KMA / K901)
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 / K901 - 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
Požadavky
Požadavky k zápočtu: Bude se psát jedna zápočtová písemka, ze které je třeba získat více než jednu třetinu bodů. Ve zkouškovém období 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
prof. RNDr. Jan Kopka, CSc.
Vyučující
prof. RNDr. Jan Kopka, CSc.RNDr. Martin Kuřil, Ph.D.RNDr. Martin Kuřil, Ph.D.