Logické programování I: Porovnání verzí

Z ωικι.matfyz.cz
Přejít na: navigace, hledání
(Vytvorená stránka)
(Žádný rozdíl)

Verze z 25. 1. 2009, 22:09

Logické programování I
Kód předmětu: NAIL076
Přednáší: Petr Štěpánek

Na tomto predmete sa získa teoretický prehľad o tom, ako funguje logické programovanie, aký je jeho vzťah k logike a k prologu. Vhodný doplnok k Neprocedurálnemu programovaniu. Na predmet naväzuje Logické programování II.