Tik-79.154 Logic in Computer Science: Special Topics II
Program Autumn 1997
- Week 38: Introduction + a refresher on classical logic
- Week 39: Davis-Putnam method
- Week 40: Binary Decision Diagrams (BDDs)
- Week 41: Stochastic Local Search Methods
- Week 42: Rule-based reasoning
- Week 43: Logic programs, introduction to home assignments
- Week 44: Home assignments: consultation
- Week 45: Case study: planning, introduction to tools
- Week 46: Complexity issues
- Week 47: Home assignments: consultation
- Week 48: Home assignments: consultation
- Week 49: Home assignments: reports
- Week 50: Exam