Siirry pääsisältöön
MyCourses MyCourses
  • Koulut
    Insinööritieteiden korkeakoulu (ENG) Kauppakorkeakoulu (BIZ) Kemian tekniikan korkeakoulu (CHEM) – Oppaita opiskelijalle (CHEM) – Raportinkirjoitusohje (CHEM) Perustieteiden korkeakoulu (SCI) Sähkötekniikan korkeakoulu (ELEC) Taiteiden ja suunnittelun korkeakoulu (ARTS) Kielikeskus Avoin yliopisto Kirjasto Aalto-yliopiston pedagoginen koulutus UNI (tentit) Sandbox
  • Palvelulinkit
    MyCourses - Ohjeita opettajille - Varaa online aika digitaalisen opetuksen asiantuntijalta (opetttajille) - Opetuksen digitaaliset työvälineet - Opetuksen tietosuojaa opettajille - Ohjeita opiskelijoille - Työtila opinnäyteohjaukseen Sisu Opiskelijan opas Courses.aalto.fi Kirjasto- ja tietopalvelut - Tiedonhakijan oppaat - Imagoa / Avoin tiede ja kuvien käyttö Tietotekniikkapalvelut Kampuskartat - Etsi tiloja ja tarkista rakennusten aukioloajat Ruokalistat.net AYY Aalto-yliopiston ylioppilaskunta Aallon yhteisötori
  • ALLWELL?
    Opiskelutaidot Tukea opiskeluun Starting Point of Wellbeing AllWell?-opiskeluhyvinvointikyselystä
  •   ‎(fi)‎
      ‎(en)‎   ‎(fi)‎   ‎(sv)‎
  • Toggle Search menu
  • Käytät vierailijatunnusta (Kirjaudu)

close

Ei kurssi löydy?
kokeile myös:

  • Sisu
  • Courses.aalto.fi

CS-E3220 - Declarative Programming, 25.02.2019-31.05.2019

Kurssiasetusten perusteella kurssi on päättynyt 31.05.2019 Etsi kursseja: CS-E3220

  1. Etusivu
  2. Kurssit
  3. perustieteide...
  4. tietotekniika...
  5. cs-e3220 - de...
 
Kurssiesite

Yleinen

  • Yleinen

    Yleinen

    The Spring 2019 edition of the course starts on the 25th of February by the first lecture in the Hall T2 of CS Building, at 12 o'clock. Please see the slides of Practical Arrangements (to be linked below) for the formal course requirements and grading principles. The materials for each round can be found in the corresponding chapter in the "Online exercises" page.

    The tentative schedule for the course is as follows:

    1.  February 25: Practical Arrangements and Introduction [Practical Arrangements slides]
    2.  March 4: Premises for Modern SAT Solving
    3. March 11: Constraint Programming
    4. March 18: Binary Decision Diagrams
    5. March 25: Advanced Normal Forms
    6. April 1: Answer Set Programming
    7. April 15: Answer Set Programming: Advanced Topics
    8. April 29: Satisfiability Modulo Theories I
    9. May 6: Satisfiability Modulo Theories II
    10. May 13: Satisfiability Modulo Theories III

    If you need help for the online exercises of the course, please attend exercise sessions which are typically organized on Wednesdays 14:15-16:00 in the computer room T7 of the CS-building (exception: no exercises on May 1 but on Thursday May 2 at 14:15-16:00 in T7). Bug reports etc can be submitted to the MyCourses "General discussion" forum below.

    The course is lectured by Tomi Janhunen and Tommi Junttila. Welcome to the course!

    • icon for activity KeskustelualueAnnouncements Keskustelualue
    • icon for activity KeskustelualueYleinen keskustelu Keskustelualue

Kurssin etusivu

Kurssin etusivu

Seuraava osio

Online exercises►
Ohita
Tulevat tapahtumat
Ladataan Ei tulevia tapahtumia
Siirry kalenteriin...
  • CS-E3220 - Declarative Programming, 25.02.2019-31.05.2019
  • Osiot
  • Yleinen
  • Online exercises
  • Etusivu
  • Kalenteri
  • Learner Metrics

Aalto logo

Tuki / Support
  • MyCourses help
  • mycourses(at)aalto.fi
Palvelusta
  • MyCourses rekisteriseloste
  • Tietosuojailmoitus
  • Palvelukuvaus
  • Saavutettavuusseloste
About service
  • MyCourses protection of privacy
  • Privacy notice
  • Service description
  • Accessibility summary
Service
  • MyCourses registerbeskrivining
  • Dataskyddsmeddelande
  • Beskrivining av tjänsten
  • Sammanfattning av tillgängligheten

Käytät vierailijatunnusta (Kirjaudu)
  • Koulut
    • Insinööritieteiden korkeakoulu (ENG)
    • Kauppakorkeakoulu (BIZ)
    • Kemian tekniikan korkeakoulu (CHEM)
    • – Oppaita opiskelijalle (CHEM)
    • – Raportinkirjoitusohje (CHEM)
    • Perustieteiden korkeakoulu (SCI)
    • Sähkötekniikan korkeakoulu (ELEC)
    • Taiteiden ja suunnittelun korkeakoulu (ARTS)
    • Kielikeskus
    • Avoin yliopisto
    • Kirjasto
    • Aalto-yliopiston pedagoginen koulutus
    • UNI (tentit)
    • Sandbox
  • Palvelulinkit
    • MyCourses
    • - Ohjeita opettajille
    • - Varaa online aika digitaalisen opetuksen asiantuntijalta (opetttajille)
    • - Opetuksen digitaaliset työvälineet
    • - Opetuksen tietosuojaa opettajille
    • - Ohjeita opiskelijoille
    • - Työtila opinnäyteohjaukseen
    • Sisu
    • Opiskelijan opas
    • Courses.aalto.fi
    • Kirjasto- ja tietopalvelut
    • - Tiedonhakijan oppaat
    • - Imagoa / Avoin tiede ja kuvien käyttö
    • Tietotekniikkapalvelut
    • Kampuskartat
    • - Etsi tiloja ja tarkista rakennusten aukioloajat
    • Ruokalistat.net
    • AYY Aalto-yliopiston ylioppilaskunta
    • Aallon yhteisötori
  • ALLWELL?
    • Opiskelutaidot
    • Tukea opiskeluun
    • Starting Point of Wellbeing
    • AllWell?-opiskeluhyvinvointikyselystä
  •   ‎(fi)‎
    •   ‎(en)‎
    •   ‎(fi)‎
    •   ‎(sv)‎