Opintojaksot  
|Tutkinnot| |Opintokokonaisuudet| |Kaikki| |Jatko| |KV|

Opinto-opas 2006-2007

OHJ-2100 OHJELMISTOTIETEEN PERUSTYÖKALUJA, 5 op
Basic Tools for Software Science

Opintojakson vastuuhenkilö
Antti Valmari

Luentoajat ja -paikat
Per II: Tiistai 12 - 14, TB104
Per II: Torstai 10 - 12, TB103 (TiTe)
Per III: Torstai 10 - 13, TB103 (TiTe)
Per III: Torstai 11 - 12, TB103 (TiTe)

Toteutuskerrat
  Periodi 1 Periodi 2 Periodi 3 Periodi 4 Periodi 5 Kesä
Luento - 4 h/vko 3 h/vko - - -
Harjoitus - 2 h/vko 3 h/vko - - -
Tentti  
(Lukuvuoden 2006-2007 aikataulu)

Tavoitteet
Oppia tunnistamaan, muotoilemaan, rajaamaan tarkoituksenmukaisella tavalla, esittämään tarkoituksenmukaisella täsmällisyys- ja tarkkuustasolla, analysoimaan ja käsittelemään abstraktioita, joita syntyy esimerkiksi käyttäjän tarpeiden analyysin, tietosisällön määrittelyn tai ohjelmiston suunnittelun ja toteutuksen aikana. Oppia käyttämään logiikkaa ja joukko-oppia ohjelmistotyön kustannusten vähentämiseksi ja ohjelmistojen laadun parantamiseksi.

Sisältö
Sisältöalue Ydinaines Täydentävä tietämys Erityistietämys
1. Logiikan käyttö ohjelman tilasta
puhumiseen. 
Ohjelman toimintaa koskeva
päätteleminen. 
  
2. Lausekkeiden rakenteeseen liittyvä
käsitteistö, Backus-Naur format. 
Yhteysriippumattomat
kieliopit ohjelmoinnin näkökulmasta. 
Ylhäältä alas -jäsentäminen. 
3. Äärelliset automaatit ja säännölliset
lausekkeet ohjelmoinnin näkökulmasta. 
Äärellisten automaattien ja
säännöllisten lausekkeiden
perusteoria. 
  
4. Tilakoneiden rakenne, toiminta ja
yhteen kytkeminen. 
Käyttäytymisten samuus vahvana
bisimilaarisuutena. Tilakoneen ja
tilakoneiden yhdistelmän
käyttäytyminen muuttujattomana
tilakoneena. 
  

Suoritusvaatimukset
Laskuharjoitukset, tentti.

Opintojakson arviointikriteerit

  • Tentti.

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

  • Esitiedot
    Tunnus Nimi OP P/S
    MAT-21160 MAT-21160 Algoritmimatematiikka 3 Pakollinen
    OHJ-1150 OHJ-1150 Ohjelmointi II 5 Pakollinen

    Esitietoketju (Vaatii kirjautumisen TTY Intranetiin)

    Huomautuksia

  • Opintojakson osasuoritusten pitää liittyä samaan toteutuskertaan.

  • Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa

  • Opintojaksolla hyödynnetyt tieto- ja viestintätekniikat
  • - tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut

  • Arvioitu opintojakson toteutustapa
  • - Lähiopetuksen osuus: 52 %
    - Etäopetuksen osuus: 0 %
    - Opiskelijan itseopiskelun osuus: 48 %

    Mitoitus
    OpetusmuodotTuntia
    Luennot 42
    Harjoitukset 84
    Kaikki yhteensä 126

    Opintojakson opetukseen ja oppimiseen liittyvät periaatteet ja lähtökohdat

  • Ainoa tunnettu tehokas tapa opiskella tällaisia asioita on ratkaista harjoitustehtäviä.

  • Opintojaksokorvaavuus
    8100500 Ohjelmistotekniikan matemaattiset menetelmät

    Opintojakson kotisivu

    Viimeksi muokattu 23.01.2006
    MuokkaajaAntti Valmari