Opinto-opas 2005-2006

OHJ-2300 JOHDATUS TIETOJENKÄSITTELYTEORIAAN, 6 op
Introduction to Theoretical Computer Science

Opintojakson vastuuhenkilö
Tapio Elomaa

Opettajat
Tapio Elomaa, professori, elomaa@cs.tut.fi

Luentoajat ja -paikat
Per I,II: Maanantai 12 - 14, TB222
Per I,II: Torstai 14 - 16, TB222

Toteutuskerrat
Toteutus 1
  Periodi 1 Periodi 2 Periodi 3 Periodi 4 Periodi 5 Kesä Opetuskieli
Luento 4 h/vko+ 4 h/vko - - - - Vain suomeksi
Harjoitus 2 h/vko+ 2 h/vko - - - - Vain suomeksi
Tentti   Vain suomeksi
(Lukuvuoden 2005-2006 aikataulu)

Tavoitteet
Tutustuminen ohjelmoinnin ja laskennan pohjimmaisiin mahdollisuuksiin - mitä ongelmia periaatteessa voidaan ohjelmallisesti ratkaista ja mitkä ongelmat voidaan lisäksi ratkoa tehokkaasti.

Sisältö
Sisältöalue Ydinaines Täydentävä tietämys Erityistietämys
1. Laskennan mallit, Turingin kone  Muita laskennan universaaleja malleja:
rajoittamattomat kieliopit ja RAM-kone 		 Laskennan universaalien mallien suhteellinen tehokkuus 
2. Laskettavuusteoria, laskennallisten ongelmien ratkeavuus       
3. Laskennan vaativuusteoria, aika- ja tilavaativuushierarkian perusteet  Aika- ja tilavaativuusluokkien yksityiskohtaiset suhteet    

Suoritusvaatimukset
Laskuharjoitukset, tentti.

Opintojakson arviointikriteerit
Tentti

  • Opintojaksolla käytetään numeerista arviointiasteikkoa (1-5)

    • Esitiedot
    Tunnus Nimi OP P/S
    MAT-20600 Diskreetti matematiikka 3 Pakollinen
    OHJ-2150 Algoritmien analyysi 4 Pakollinen

    Huomautuksia

  • Opintojakson osasuoritusten pitää liittyä samaan toteutuskertaan.
  • Opintojakso soveltuu jatko-opinnoiksi.

    • Opintojaksokorvaavuus
    8101100 Johdatus tietojenkäsittelyteoriaan

    Opintojakson kotisivu

    Viimeksi muokattu 22.02.2005
    MuokkaajaTapio Elomaa