Předmět Logika (KIP / YLZU1)
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 KIP / YLZU1 - Logika, Přírodovědecká fakulta, Ostravská univerzita v Ostravě (OU).
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. Modelování formální logikou2. Syntax jazyka al výrokové logiky3. Sémantika jazyka L výrokové logiky4. Normální formy výrokových formulí5. Splnitelnost a platnost výrokových formulí6. Tablové a rezoluční nepřímé důkazy7. Dedukce ve výrokové logice8. Model a jazyk predikátové logiky9. Sémantika jazyka predikátové logiky10.Splňování a pravdivost v predikátové logice11.Dedukce v predikátové logice12. Klauzulární forma formule predikátové logiky13.Splnitelnost predikátových formulí
Literatura
A.Lukasová. Logické základy umělé inteligence, Formalizace a automatizace dedukce, Ostravská univerzita, 1997. A.Lukasová. Logické základy umělé inteligence, Výroková a predikátová logika, Ostravská univerzita, 1995.
Garant
RNDr. Marek Vajgl, Ph.D.
Vyučující
RNDr. Marek Vajgl, Ph.D.