Siirry pääsisältöön
MyCourses
Käytät vierailijatunnusta (Kirjaudu)
Hae
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 Sandbox
Palvelulinkit
MyCourses - Ohjeita opettajille - Opetuksen tietosuojaa opettajille - Ohjeita opiskelijoille - Työtila opinnäyteohjaukseen WebOodi Into-opiskelijaportaali Opinto-oppaat 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)‎

Voit hakea kurssikoodin, kurssikoodin osan, kurssin nimen tai nimen osan perusteella.

sana : etsi mikä tahansa täsmäävä sana.
+ sana : kaikkien sanojen tulee löytyä.
- sana : jätä pois kyseisen sanan sisältävät.

Kursseilla voi olla myös Tageja

close

T-79.4101 - Discrete Models and Search, 05.01.2016-31.03.2016

  1. Etusivu
  2. Kurssit
  3. perustieteide...
  4. tietotekniika...
  5. t-79.4101 - d...
 
Kurssiesite

Course Summary

  • Course Summary

    Course Summary

    The course starts on the 5th of January, 2016, at 10:15 in Lecture hall T6.
    Credits 5   cr
    Level of the Course

    The course is only for students who have completed their general studies.

    Teaching Period

    III - IV (Spring)

    Workload Lectures: 24
    Teaching in small groups: 24
    Examinations: 3
    Programming assignments: 20
    Other independent work (including preparing for the examination): 62
    Learning Outcomes

    At this course you will learn to represent combinatorial search problems in terms of propositional satisfiability, constraint programming, and integer programming formulations. You will obtain a basic understanding of linear programming methodology and become familiar with several types of local search techniques. Having completed the course, you will be able to translate your problem into an appropriate general formulation and use a generic problem solver to solve the problem, or design a local search method tailored specifically to your problem of interest.

    Content

    Search spaces and search methods. Backtracking, local and heuristic search. Representing and solving search problems using propositional satisfiability, constraint programming, and integer programming techniques.

    Assessment Methods and Criteria

    Examination and two programming assignments. The course grade is determined by the exam but extra points can be earned from programming assignments and tutorials.

    Study Material Lecture slides, tutorials. 
    Substitutes for Courses

    Replaces former course T-79.3001 Logic in Computer Science: Foundations.

    Prerequisites

    Boolean logic, linear algebra, and basic programming skills

    Grading Scale

    0-5

    Registration for the Course  In Oodi.
    Language of Instruction EN.

    English.

    Course Staff and Contact Information

    Lecturers: Shahab Tasharrofi (lectures 1-6) and Bart Bogaerts (lectures 7-12)

    Course assistant: Binda Pandey

    Office Hours

    TBA

    • Activity icon
      News forum Keskustelualue
    • Activity icon
      Yleinen keskustelu Keskustelualue
Schedule and materials►
Ohita

Tulevat tapahtumat

Loading Ei tulevia tapahtumia
Siirry kalenteriin...
T-79.4101 - Discrete Models and Search, 05.01.2016-31.03.2016
 Course Summary
 Schedule and materials
 Tutorials
Etusivu

Aalto logo

MyCourses rekisteriseloste | Tietosuojailmoitus |  Palvelukuvaus

mycourses(at)aalto.fi


Käytät vierailijatunnusta (Kirjaudu)
Etusivu
  • 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
    • Sandbox
  • Palvelulinkit
    • MyCourses
    • - Ohjeita opettajille
    • - Opetuksen tietosuojaa opettajille
    • - Ohjeita opiskelijoille
    • - Työtila opinnäyteohjaukseen
    • WebOodi
    • Into-opiskelijaportaali
    • Opinto-oppaat
    • 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)‎