|
OHJ-2100 OHJELMISTOTIETEEN PERUSTYÖKALUJA, 5 op
|
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 |
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
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
Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa
- tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
- Lähiopetuksen osuus: 52 %
- Etäopetuksen osuus: 0 %
- Opiskelijan itseopiskelun osuus: 48 %
Opetusmuodot | Tuntia |
Luennot | 42 |
Harjoitukset | 84 |
Kaikki yhteensä | 126 |
Opintojakson opetukseen ja oppimiseen liittyvät periaatteet ja lähtökohdat
Opintojaksokorvaavuus
8100500 Ohjelmistotekniikan matemaattiset menetelmät
Viimeksi muokattu | 23.01.2006 |
Muokkaaja | Antti Valmari |