Logika a logické programování

Máte zapnutý náhled celé osnovy, zpět na běžné zobrazení.

Načítání a prohlížení osnovy může být v závislosti na množství obsahu pomalejší.

RNDr. Šárka Vavrečková, Ph.D.
Logika a logické programování
RNDr. Šárka Vavrečková, Ph.D.
Logika a logické programování
Info
Předměty
Období
zima 2023

V tomto předmětu navazujeme na předmět Ú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í. Na přednáškách 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, což je hlavní náplň cvičení.

Předpokladem pro zapsání tohoto předmětu je úspěšné absolvování předmětu Úvod do logiky.

Základní informace
Přejít

V tomto bloku najdete kontakty na vyučující a podrobnější informace o předmětu.

Kapitola obsahuje:
1
Studijní text
Požadavky na studenta
Přejít

V tomto bloku najdete informace o způsobu úspěšného zakončení předmětu, tedy požadavky na zápočet a zkoušku.

Kapitola obsahuje:
1
Studijní text
1
Web
Studijní materiály
Přejít

V tomto bloku najdete soubory se studijními materiály k předmětu.

Kapitola obsahuje:
1
Studijní text
1
Web
Otestuj své znalosti
Přejít

Zde najdete několik autotestů, kterými si sami můžete ověřit nabyté znalosti.

Kapitola obsahuje:
4
Odpovědník

Zkouška Logika a logické programování
Další literatura
Přejít

V tomto bloku najdete doporučenou literaturu na další studium a také odkazy související s Prologem.

Kapitola obsahuje:
1
Studijní text

Základní informace

Kontakty a rozvrh

V tomto předmětu se setkáte se třemi vyučujícími:

RNDr. Šárka Vavrečková, Ph.D. (přednášky)

Ing. Tomáš Vícha (cvičení)

RNDr. Radka Poláková, Ph.D. (spolupráce na přednáškách a cvičeních, garant)

Rozvrhy pro studium v prezenční formě (tzv. "denní studium") najdete v informačním systému. Rozvrhy pro kombinovanou formu studia jsou dostupné na https://www.slu.cz/fpf/cz/uistudiumkombinovanerozvrhy

Komunikace s vyučujícím může probíhat buď s využitím výše uvedených kontaktních informací, nebo třeba přes MS Teams. Informace o změnách v rozvrhu a různá další urgentní upozornění budou zasílána přes Hromadný e-mail (v systému IS), proto prosím sledujte své školní e-mailové schránky.

Náplň předmětu

Na přednáškách bude často skloňováno slovo "systém". Ať už pracujeme na čemkoliv, vždy se nacházíme v konkrétním prostředí, máme k dispozici konkrétní nástroje a možnosti, můžeme používat konkrétní postupy. To vše tvoří ucelený systém, který nám stanoví mantinely, mezi nimiž se pohybujeme a které potřebujeme dobře znát. 

V tomto předmětu půjde o to, jak se takový systém tvoří, stanovují se jeho pravidla, jak se používá.

Na cvičeních si nejdřív procvičíme základní postupy z formální logiky (práci s formulemi, převod z přirozeného jazyka do jazyka logiky apod.), a dále půjdeme směrem k logickému programování v programovacím jazyce Prolog.

Osnova předmětu - především přednášek:

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

Cvičení se budou částečně držet náplně přednášek. Některá témata budou jen na přednáškách, naopak na cvičeních se více soustředíme na praktické používání nástrojů logiky včetně Prologu.

Požadavky na studenta

Tento předmět je ukončen zápočtem (z témat na cvičeních) a zkouškou (z témat na přednáškách). Jsou stanoveny tyto požadavky:

Zápočet:

  • účast na cvičeních min. 75 %
  • splnění zápočtových testů min. 50 % bodů

Zkouška:

  • zkouškový test min. 50 % bodů, z témat probíraných na cvičení
Hodnocení zkoušek - škála pro známky

Studijní materiály

Následující soubor obsahuje veškeré studijní texty a příklady k předmětu Logika a logické programování.

Skriptum do předmětu Logika a logické programování

Dále jsou k dispozici ukázkové příklady:

Otestuj své znalosti

Další literatura

Doporučená literatura

  • DUŽÍ, Marie. Matematická logika. Skripta VŠB-TU v Ostravě.
  • TRLIFAJOVÁ, Kateřina a Daniel VAŠATA. Matematická logika. V Praze: České vysoké učení technické, 2013. ISBN 978-800-1053-423.
  • LUKASOVÁ, A. Logické základy umělé inteligence, 2. formalizace a automatizace dedukce. Ostrava: Ostravská univerzita, 1997.
  • JIRKŮ, Petr a Jiřina VEJNAROVÁ. Formální logika: neformální výklad základů formální logiky. Vyd. 2. V Praze: Oeconomica, 2005. ISBN 978-802-4509-747.
  • JIRKŮ, Petr. Programování v jazyku PROLOG. Praha: SNTL, 1991. ISBN 978-800-3006-090.
  • GALLIER, Jean H. Logic for computer science: foundations of automatic theorem proving. Second edition. Mineola, New York: Dover Publications, 2015. ISBN 978-048-6780-825.
  • NIEVERGELT, Yves a Yves. NIEVERGELT. Logic, mathematics, and computer science: modern foundations with practical applications. Second edition. New York,: Springer, 2015. ISBN 978-149-3932-221.
  • BEN-ARI, M. Mathematical logic for computer science. Third edition. New York: Springer, 2012. ISBN 978-144-7141-280.

Odkazy - Prolog: