Opinto-opas 2008-2009
Perus

Perus Pori KV Jatko Avoin

|Tutkinnot|     |Opintokokonaisuudet|     |Opintojaksot|    

Opinto-opas 2008-2009

OHJ-2100 Ohjelmistotieteen perustyökaluja, 5 op
Basic Tools for Software Science

Opintojakson vastuuhenkilö

Henri Hansen

Toteutuskerrat

  Luentoajat ja -paikat Kohderyhmä, jolle suositellaan
Toteutus 1


Per 1 :
Torstai 10 - 12, K1704
Per 1, 2 :
Tiistai 10 - 12, K1704
Per 2 :
Torstai 10 - 11, K1702
Torstai 10 - 11, TB103
Torstai 10 - 11, K1703

 
 
Toteutus 2


Per Kesä :
Maanantai 8 - 12, SE203
Keskiviikko 8 - 11, SE203

 
 


Suoritusvaatimukset

Laskuharjoitukset, tentti.
Osasuoritusten pitää liittyä samaan toteutuskertaan

Opetukseen ja oppimiseen liittyvät periaatteet ja lähtökohdat

-

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.   


Opintojakson arvostelu

Tentti.

Arvosteluasteikko:

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

Osasuoritukset:

Osasuoritusten pitää liittyä samaan toteutuskertaan

Oppimateriaali

Tyyppi Nimi Tekijä ISBN URL Painos,saatavuus... Tenttimateriaali Kieli
Luentokalvot     Antti Valmari            Suomi  


Esitietovaatimukset

Opintojakso P/S
MAT-21160 Algoritmimatematiikka Pakollinen  
OHJ-1150 Ohjelmointi II Pakollinen  

Esitietoketju (Vaatii kirjautumisen POPiin)

Vastaavuudet

Opintojakso Vastaa opintojaksoa  Selite 
OHJ-2100 Ohjelmistotieteen perustyökaluja, 5 op 8100500 Ohjelmistotekniikan matemaattiset menetelmät, 3 ov  

Tarkempia tietoja toteutuskerroittain

  Kuvaus Opetusmuodot Toteutustapa
Toteutus 1 Syksyn 2008 toteutus opintojaksolle OHJ-2100       Lähiopetus: 0 %
Etäopetus: 0 %
Itseopiskelu: 0 %  
Toteutus 2        


Viimeksi muokattu24.03.2009
MuokkaajaAnne Jussila