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
  • CORONAVIRUS INFO
    Koronavirus - tietoa opiskelijalle Coronavirus - information for students Coronavirus - information för studerande Corona help for teachers
  • 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 Into-opiskelijaportaali 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, 11.09.2019-16.12.2019

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

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

Yleinen

  • Yleinen

    Yleinen

    Lecturers Tommi Junttila
    Jussi Rintanen
    Time & place lecture hall T2 on Wednesdays at 12:15pm - 2:00pm, starting on Wednesday, September 11
    Topics
    • Constraint programming and constraint satisfaction
    • The propositional satisfiability problem SAT
    • Algorithms for solving SAT, CSP
    • Normal forms and symbolic data structures such as Binary Decision Diagrams (BDD)
    • Symbolic state-space traversal
    • Linear Temporal Logic LTL, computer-aided verification
    • Model-checking with LTL
    • Arithmetic constraints and SAT modulo Theories (SMT)
    • Real-world applications (software engineering, electronic design automation, artificial intelligence)

    The Autumn 2019 edition of the course starts on the September 11th with the first lecture in the Hall T1 of CS Building, at 12:15. Please see the slides of Practical Arrangements (to be linked below once the course starts) 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 (opened once the course begins).

    The tentative schedule for the course is as follows:

    1. September 11: Practical Arrangements and Introduction [slides, including grading principles], Propositional logic
    2. September 18: SAT solvers
    3. September 25: Constraint Programming
    4. October 2: Binary Decision Diagrams [slides, textbook, support material]
    5. October 9: Symbolic state space search with BDDs [slides + textbook]
    6. October 16: State-space search through satisfiability [slides + textbook]
    7. October 30: Specification languages, modal and temporal logics [slides + textbook]
    8. November 6: Model-checking in verification, bounded model-checking, abstraction, abstraction refinement [slides]
    9. November 13: Satisfiability Modulo Theories I
    10. November 20: Satisfiability Modulo Theories II

    If you need help for the online exercises of the course, please attend exercise sessions which are typically organized on Thursdays 16:15-18:00 in the computer room Y342a of Otakaari 1 building. Bug reports etc can be submitted to the MyCourses "General discussion" forum below.

    The course is lectured by Jussi Rintanen 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, 11.09.2019-16.12.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
  • CORONAVIRUS INFO
    • Koronavirus - tietoa opiskelijalle
    • Coronavirus - information for students
    • Coronavirus - information för studerande
    • Corona help for teachers
  • 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
    • Into-opiskelijaportaali
    • 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)‎