Logické programování I

Z ωικι.matfyz.cz
Přejít na: navigace, hledání
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.