Předmět Logika a aplikovaná informatika 2 (UI / N3060)
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 UI / N3060 - Logika a aplikovaná informatika 2, Filozoficko-přírodovědecká fakulta, Slezská univerzita v Opavě (SU).
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
Obsah přednášek1. Systém přirozené dedukce PL1.2. Formální systém Hilbertova typu pro PL13. Bezespornost, korektnost, úplnost, parciální rozhodnutelnost kalkulu PL14. Formalizované teorie - Úvod, Hilbertův program, ?5. Teorie relací6. Algebraické teorie7. Gödelovy věty o úplnosti kalkulu PL18. Robinsonova a Peanova formální aritmetika, Gödelovy věty o neúplnosti formální aritmetiky.9. Transparentní intesionální logika - Úvod10. Formalizmus TIL a jeho výhody11. Srovnání formalizmů jednotlivých systémůObsah cvičení:Jednotlivá cvičení budou orientována praktickým směrem, kdy si studenti vyzkouší jak formální důkazy, tak budou řešit problémy spojené s tématikou budování informačních systémů, tedy jaké teorie využívat při návrhu, kde je úskalí jednotlivých formalizmů a současně budou řešit projekt, ve kterém zhodnotí své nabyté znalosti.
Získané způsobilosti
Teoretické porozumění tématům obsahového vymezení předmětu. Praktické dovednosti při práci s jednotlivými tématy.
Požadavky
Teoretické a praktické zvládnutí témat předmětu, podmínky budou upřesněny na začátku výuky.
Garant
Mgr. Marek MENŠÍK, Ph.D.
Vyučující
Mgr. Marek MENŠÍK, Ph.D.Mgr. Marek MENŠÍK, Ph.D.