You are currently viewing the whole syllabus; go back to default view.
The speed of loading and viewing the syllabus may be slower when showing a large amount of content.
V tomto bloku najdete kontakty na vyučující a podrobnější informace o předmětu.
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.
V tomto bloku najdete soubory se studijními materiály k předmětu.
Zde najdete několik autotestů, kterými si sami můžete ověřit nabyté znalosti.
V tomto bloku najdete doporučenou literaturu na další studium a také odkazy související s Prologem.
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)
- e-mail: sarka.vavreckova@fpf.slu.cz
- telefon: (+420) 553 684 366
- konzultační hodiny najdete na https://www.slu.cz/fpf/cz/layout/1018
- web: http://vavreckova.zam.slu.cz
Ing. Tomáš Vícha (cvičení)
- e-mail: tomas.vicha@fpf.slu.cz
- konzultační hodiny najdete na https://www.slu.cz/fpf/cz/layout/3749
RNDr. Radka Poláková, Ph.D. (spolupráce na přednáškách a cvičeních, garant)
- e-mail: radka.polakova@fpf.slu.cz
- telefon: (+420) 553 684 362
- konzultační hodiny najdete na https://www.slu.cz/fpf/cz/layout/2475
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í
Studijní materiály
Následující soubor obsahuje veškeré studijní texty a příklady k 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:
- SWI-Prolog - web projektu, věnujte pozornost zejména položkám menu Download a Tutorials.
- Demonstrační příklady v Prologu
- O Prologu od Bartáka
- Adventure in Prolog (Dobrodružství v Prologu) - psáno pro Amzi! Prolog, ale ve SWI-Prologu je to podobné
- Expert system in Prolog (Tvorba expertního systému v Prologu) - taktéž pro Amzi! Prolog