Logické programování I

Z ωικι.matfyz.cz
Verze z 19. 6. 2011, 11:13, kterou vytvořil Vcunat (diskuse | příspěvky) (Přidán odkaz na Aptovu knihu)

(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)
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.