Předmět Logika pro informatiku (KIV / LOI)
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 KIV / LOI - Logika pro informatiku, Fakulta aplikovaných věd, Západočeská univerzita v Plzni (ZČU).
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.Výroková logika,výroková formule,normální formule,tautologie.2.Bezesporný systém výrokových formulí.3.Usudek,Gentzenův systém,logické programování.4.Predikátová logika 1.řádu,predikátové formule.5.Bezesporný systém predikátových formulí.6.Usudek,Gentzenův systém.7.Prenexní a Skolemovy formule,Robinsonova rezoluce.8.Identita,číselné kvantifikátory.Fuzzy logika.9.Jazykové operátory,fuzzy a číselné kvantifikátory.10.Přibližné úsudky.11.Jazyková proměnná,logika jazykových proměnných.12.Modální výroková logika,Gentzenův systém.13.Logika časová,modální predikátová logika 1. řádu.
Získané způsobilosti
Student získá všeobecný přehled o logice aplikované ve výpočetní technice a informatice.
Literatura
Bokr, Josef. Aplikovaná logika. Plzeň : Západočeská univerzita, 2004.
Požadavky
Orientace v různých logikách.
Garant
Doc. Ing. Josef Bokr, CSc.