Předmět Logika pro informatiky (KIP / 2LZU1)
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 / 2LZU1 - 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
Předmět je ukončen zkouškou. V průběhu semestru student absolvuje 2 testy. Každý test je hodnocen max. 25 body. Tyto body spolu s body za zkoušku, která je ohodnocena max. 50 body tvoří celkové hodnocení. 0 - 50 bodů známka F (nevyhověl)51 - 60 bodů známka E61 - 70 bodů známka D71 - 80 bodů známka C81 - 90 bodů známka B91 - 100 bodů známka A
Garant
prof. RNDr. Alena Lukasová, CSc.
Vyučující
RNDr. Martin Kotyrba, Ph.D.prof. RNDr. Alena Lukasová, CSc.RNDr. Martin Kotyrba, Ph.D.prof. RNDr. Alena Lukasová, CSc.