Opinto-opas 2010-2011
Avoin

Perus Pori KV Jatko Avoin

|Tutkinnot|     |Opintokokonaisuudet|     |Opintojaksot|    

Opinto-opas 2010-2011

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

Vastuuhenkilö

Antero Kangas, Henri Hansen, Antti Valmari

Opetus

Opetusmuoto Tunteja Aikaväli Toteutuskerrat Luentoajat ja -paikat
Luennot
Harjoitukset
7 h/vko
4 h/vko
30.05.2011 - 07.07.2011
30.05.2011 - 07.07.2011
OHJ-2100 2010-02 Maanantai 10 - 13, TB111
Keskiviikko 9 - 13, TB111

Suoritusvaatimukset

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

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

-

Osaamistavoitteet

Opintojakson suoritettuaan arvosanalla 3 opiskelija tiedostaa täsmällisyyden ja epätäsmällisyyden vaikutuksen ohjelmistojen laadulle ja valmistuskustannuksille. Hän osaa tunnistaa, muotoilla, rajata tarkoituksenmukaisella tavalla ja analysoida ohjelmistojen suunnittelussa ja toteutuksessa tarvittavia abstraktioita käyttäen logiikan, joukko-opin ja yhteysriippumattomien kielten käsitteistöä.

Sisältö

Sisältö Ydinaines Täydentävä tietämys Erityistietämys
1. Täsmällisyyden olemus, hyödyt ja haitat.     
2. Logiikan käyttö ohjelman tilasta puhumiseen.  Ohjelman toimintaa koskeva päätteleminen.   
3. Lausekkeiden rakenteeseen liittyvä käsitteistö, Backus-Naur format.  Yhteysriippumattomat kieliopit ohjelmoinnin näkökulmasta.  Ylhäältä alas -jäsentäminen. 
4. Äärelliset automaatit ja säännölliset lausekkeet ohjelmoinnin näkökulmasta.  Äärellisten automaattien ja säännöllisten lausekkeiden perusteoriaa.   

Opintojakson arvostelu

Tentti. Tenttioikeuden saamiseksi on kerättävä riittävästi laskuharjoituspisteitä, katso opintojakson veppisivu.

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   Ohjelmistotieteen perustyökaluja   Antti Valmari            Suomi  

Esitietovaatimukset

Opintojakso P/S Selite
OHJ-1150 Ohjelmointi II Pakollinen   1
OHJ-1160 Laaja ohjelmointi 2 Pakollinen   1
MAT-21161 Algoritmimatematiikka Pakollinen    

1 . Näistä jompi kumpi vaaditaan esitiedoksi.

Esitietoketju (Vaatii kirjautumisen POPiin)



Vastaavuudet

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

Lisätiedot

Katso opintojakson kotisivu http://www.cs.tut.fi/kurssit/OHJ-2100/

Tarkempia tietoja toteutuskerroittain

Toteutus Kuvaus Opetusmuodot Toteutustapa
OHJ-2100 2010-02 Kesä 2011        

Viimeksi muokattu16.06.2011