Předmět Logika a aplikovaná informatika 1 (UI / N3059)
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 / N3059 - Logika a aplikovaná informatika 1, 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. Logické vyplývání, úsudky, pojem důkazu. Jazyk výrokové logiky, pravdivostní funkce.2. Sémantika výrokové logiky3. Automatizované dokazování ve VL (rezoluční metoda)4. Axiomatický systém Hilbertova typu. Korektnost a úplnost systému5. Naivní teorie množin, relace, zobrazení6. Predikátová logika 1. řádu - Úvod.7. Sémantika (pojem interpretace a modelu, vyplývání).8. Sémantické metody ověřování správnosti úsudků.9. Problematika rozhodnutelnosti a rekurzivní vyčíslitelnosti.10. Věta o dedukci a její vztah k automatizovanému dokazování11. Rezoluční metoda v PL1: Herbrandova procedura a Robinsonův algoritmus unifikace.12. Automatizované metody důkazů (obecná rezoluční metoda) a vztah k logickému programováníObsah cvičení:Jednotlivá cvičení budou orientována praktickým směrem, kdy si studenti vyzkouší jak formální důkazy, tak se budou zabývat problémy spojené s tématikou budování inferenčních strojů. 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.