Předmět Logika pro informatiky (KIP / 1LZU1)
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 / 1LZU1 - Logika pro informatiky, 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í
Získané způsobilosti
znalost základů výrokové a predikátové logiky jako prostředků formální reprezentace znalostídovednost formulovat znalostní báze o dané doméně prostředky formální logikyznalost základních důkazových metod logiky
Literatura
Lukasová, A. Logické základy umělé inteligence 1. Výroková a predikátová logika. &, &. Lukasová, A. Formální logika v umělé inteligenci. Ben-Ari, M. Mathematical Logic for Computer Science. Prentice HAll, 1993.
Požadavky
Splnění 2 testů během semestru.
Garant
prof. RNDr. Alena Lukasová, CSc.
Vyučující
prof. RNDr. Alena Lukasová, CSc.prof. RNDr. Alena Lukasová, CSc.