FPF:UIN1008 Logika a logické programování - Informace o předmětu

UIN1008 Logika a logické programování

Rozsah

2/2/0. 6 kr. Ukončení: zk.

Vyučující

RNDr. Šárka Vavrečková, Ph.D. (přednášející)
RNDr. Šárka Vavrečková, Ph.D. (cvičící)

Garance

RNDr. Šárka Vavrečková, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

• Aplikovaná matematika (program MU, B1101)
• Aplikovaná matematika pro řešení krizových situací (program MU, B1102)
• Geometrie (program MU, M1101)
• Informační studia se zaměřením na knihovnictví (program FPF, B7201 InSK)
• Informatika a výpočetní technika (program FPF, B1801 Inf) (2)
• Informatika a výpočetní technika (program FPF, M1801 Inf)
• Matematická analýza (program MU, M1101)
• Matematické metody v ekonomice (program MU, B1101)
• Obecná matematika (program MU, B1101)
• Učitelství informatiky pro střední školy (program FPF, M7504)
• Učitelství všeobecně vzdělávacích předmětů pro střední školy se specializací informatika (program FPF, M7504)

Cíle předmětu

Kurz navazuje na kurz Úvod do logiky. Zabýváme se postupně několika logickými systémy, z nichž poslední, Klauzulární axiomatický systém, je využit jako základ pro logické programování. V kurzu se studenti zabývají především teoretickými východisky logického programování, tedy základní myšlenkou, možnostmi a postupy. Od postupů demonstrovaných v Klauzulární logice přecházíme k programování v programovacím jazyce Prolog. Předpokladem pro zapsání tohoto předmětu je úspěšné absolvování předmětu Úvod do logiky.

Osnova

• Dedukce a odvozování závěru.
  Formální systémy, axiomy, odvozování.
  Systém přirozené dedukce.
  Hilbertovský axiomatický systém.
  Klauzulární logika a klauzulární axiomatický systém.
  Logické programování v Prologu.
  Principy logického programování.

Literatura

povinná literatura
• VAVREČKOVÁ, Š. Prezentace a skripta (presentations and lecture notes). URL info

doporučená literatura
• BIELIKOVÁ, M. - NÁVRTAT, P. Funkcionálne a logické programovanie. Bratislava: STU, 1997. info
• LUKASOVÁ, A. Logické základy umělé inteligence, 2. formalizace a automatizace dedukce. Ostrava: Ostravská univerzita, 1997. info

Výukové metody

Přednáška s aktivizací
Přednáška s diskusí

Metody hodnocení

Písemná zkouška

Informace učitele

Aktivity	Náročnost [h]
Příprava na zápočet	12
Účast na výuce	12
Celkem	24

Další komentáře

Předmět je dovoleno ukončit i mimo zkouškové období.

• Statistika zápisu (zima 2008, nejnovější)
  
• Permalink: https://is.slu.cz/predmet/fpf/zima2008/UIN1008