Materiály
Logické programování [KIN/LGP]
Omezující podmínky
Porovnání systémů pro programování s omezujícími podmínkami
Logické programování [KIN/LGP]
JU v Českých Budějovicích
PowerPoint (550 kB)
2. 8. 2011
Predikátová logika prvního řádu
referát
Logické programování [KIN/LGP]
JU v Českých Budějovicích
PowerPoint (673.5 kB)
2. 8. 2011
Tvorba dialogových oken
referát
Logické programování [KIN/LGP]
JU v Českých Budějovicích
PowerPoint (611 kB)
2. 8. 2011
Programovací jazyk Mercury
referát
Logické programování [KIN/LGP]
JU v Českých Budějovicích
PowerPoint (141 kB)
2. 8. 2011
LISP
referát
Logické programování [KIN/LGP]
JU v Českých Budějovicích
PowerPoint (2.03 MB)
2. 8. 2011
Uzavřenost světa v Prologu
referát
Logické programování [KIN/LGP]
JU v Českých Budějovicích
PowerPoint (662.5 kB)
2. 8. 2011
ICLP
referát
Logické programování [KIN/LGP]
JU v Českých Budějovicích
PowerPoint (1.1 MB)
2. 8. 2011
Hornovy klauzule
referát
Logické programování [KIN/LGP]
JU v Českých Budějovicích
PowerPoint (714.5 kB)
2. 8. 2011