T-79.5102 Special Course in Computational Logic P (4 cr)
Weekly exercises
Exercise groups
|
|
|
|
|
|||||
|---|---|---|---|---|---|---|---|---|---|
| Laskennallisen logiikan erikoiskurssi (H) | Wed 15.15-16.00 | 30B353 | 10 Sep - 22 Oct 08 | ||||||
| Laskennallisen logiikan erikoiskurssi (H) | Wed 15.15-16.00 | 30B353 | 05 Nov - 10 Dec 08 | ||||||
Exercise material
|
|
|
||||
|---|---|---|---|---|---|---|
| 1 | RoboCup | |||||
| 2 | Probabilities | |||||
| 3 | Bayesian Networks | |||||
| 4 | Probabilistic Reasoning | |||||
| 5 | Temporal Probabilistic Models | |||||
| 6 | Expected Utility | |||||
| 7 | Decision Networks | |||||
| 8 | Policy Algorithms | |||||
| 9 | Markov Decision Processes | |||||
| 10 | Learning Decision Trees | |||||
| 11 | Logical and Bayesian Learning | |||||