T-79.194 Tietojenkäsittelyteorian seminaari (2 ov) VL

Kevät 2004

Edelliset vuodet: [Kevät 2003] [Kevät 2002] [Kevät 2001]

Tämä on pääaineen vaihtuvasisältöinen opintojakso, jonka aiheena keväällä 2004 on rajoiteohjelmointi.

• UUTTA: Muista antaa kurssipalautetta täyttämällä palautelomake
  31.5.2004 mennessä.
• Vastaava opettaja: Prof. Ilkka Niemelä, TB337, puh. 451 3290
• Kurssi suoritetaan seminaarimuotoisesti
• Seminaaritilaisuudet: torstaisin klo 12.15-15.00, sali TB353
• Kurssiesite
• Kirjallisuus:
  Krzysztof R. Apt: Principles of Constraint Programming. Cambrigde University Press, 2003. Book contents.
• Ohjeita kurssin suorittamiseen
• Ohjelma, esitelmät ja laskuharjoitustehtävät
• Laskuharjoituspisteet
• Yhteenveto kurssin arvostelusta
• Esimerkki kalvojen tekemisestä käyttäen latex-ohjelmaa ja seminar-tyyliä
• Interesting links
  • Constraints Archive
  • Frequently Asked Questions (and answers) for the area of constraints
  • An On-line Guide to Constraint Programming
  • CSPLib
  • APES Group
  • Rajoiteohjelmointikieliä
    • The ECLiPSe Constraint Logic Programming System
    • SICStus Prolog
    • Constraint Handling Rules (CHR)
    • The Mozart Programming System
    • Prolog IV
    • ILOG Solver
    • OPL Optimization Programming Language (ILOG OPL Studio)
    • CLAIRE