Logika a logické programování

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.

Previous
Next