Gå direkt till huvudinnehåll
MyCourses MyCourses
  • Högskolor
    Handelshögskolan (BIZ) Högskolan för elektroteknik (ELEC) Högskolan för ingenjörsvetenskaper (ENG) Högskolan för kemiteknik (CHEM) – Andra guider (CHEM) – Anvisning för literaturarbeten (CHEM) Högskolan för konst, design och arkitektur (ARTS) Högskolan för teknikvetenskaper (SCI) Andra studier Språkcentret Open University Biblioteket Aalto university pedagogical training program UNI (exams) Sandbox
  • Länkar till tjänster
    MyCourses - MyCourses instructions for Teachers - Anvisningar för studerande - Teacher book your online session with a specialist - Digital tools for teaching - Data protection instructions for teachers - Workspace for thesis supervision Sisu Studentguide Courses.aalto.fi Unverisitets bibliotek - Resourcesguides - Imagoa / Öppen vetenskap och användning av bilder IT-tjänster Campus - Byggnads öppettider Restaurants in Otaniemi AUS Aalto-universitetets studentkår Aalto Marketplace
  • ALLWELL?
    Studiekompetens Vägledning och stöd för studerande Starting Point of Wellbeing Om AllWell? -enkäten
  •   ‎(sv)‎
      ‎(en)‎   ‎(fi)‎   ‎(sv)‎
  • Toggle Search menu
  • Du är för tillfället inloggad som gästanvändare (Logga in)

close

Can not find the course?
try also:

  • Sisu
  • Courses.aalto.fi

CS-E3220 - Declarative Programming, 11.09.2019-16.12.2019

This course space end date is set to 16.12.2019 Search Courses: CS-E3220

  1. Framsida
  2. Kurser
  3. högskolan f?...
  4. department of...
  5. cs-e3220 - de...
 
Kursens beskrivning
 

Allmänt

  • Allmänt

    Allmänt

    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, Propositional logic
    2. September 18: SAT solvers
    3. September 25: Constraint Programming
    4. October 2: Binary Decision Diagrams
    5. October 9: Symbolic state space search with BDDs
    6. October 16: State-space search through satisfiability
    7. October 30: Specification languages, modal and temporal logics
    8. November 6: Model-checking in verification, bounded model-checking, abstraction, abstraction refinement
    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
      ForumAnnouncements Forum
    • icon for activity
      ForumAllmän diskussion Forum

Course home

Course home

Nästa sektion

Online exercises►
Hoppa över Kommande händelser
Kommande händelser
Laddar Det finns inga framtida händelser
Gå till Kalender
  • CS-E3220 - Declarative Programming, 11.09.2019-16.12.2019
  • Sektioner
  • Allmänt
  • Online exercises
  • Framsida
  • Kalender
  • Learner Metrics

Aalto logo

Tuki / Support
Opiskelijoille / Students
  • MyCourses instructions for students
  • email: mycourses(at)aalto.fi
Opettajille / Teachers
  • MyCourses help
  • MyTeaching Support form
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

Du är för tillfället inloggad som gästanvändare (Logga in)
  • Högskolor
    • Handelshögskolan (BIZ)
    • Högskolan för elektroteknik (ELEC)
    • Högskolan för ingenjörsvetenskaper (ENG)
    • Högskolan för kemiteknik (CHEM)
    • – Andra guider (CHEM)
    • – Anvisning för literaturarbeten (CHEM)
    • Högskolan för konst, design och arkitektur (ARTS)
    • Högskolan för teknikvetenskaper (SCI)
    • Andra studier
    • Språkcentret
    • Open University
    • Biblioteket
    • Aalto university pedagogical training program
    • UNI (exams)
    • Sandbox
  • Länkar till tjänster
    • MyCourses
    • - MyCourses instructions for Teachers
    • - Anvisningar för studerande
    • - Teacher book your online session with a specialist
    • - Digital tools for teaching
    • - Data protection instructions for teachers
    • - Workspace for thesis supervision
    • Sisu
    • Studentguide
    • Courses.aalto.fi
    • Unverisitets bibliotek
    • - Resourcesguides
    • - Imagoa / Öppen vetenskap och användning av bilder
    • IT-tjänster
    • Campus
    • - Byggnads öppettider
    • Restaurants in Otaniemi
    • AUS Aalto-universitetets studentkår
    • Aalto Marketplace
  • ALLWELL?
    • Studiekompetens
    • Vägledning och stöd för studerande
    • Starting Point of Wellbeing
    • Om AllWell? -enkäten
  •   ‎(sv)‎
    •   ‎(en)‎
    •   ‎(fi)‎
    •   ‎(sv)‎