Opinto-opas 2012-2013
Avoin

Perus Pori KV Jatko Avoin

|Tutkinnot|     |Opintokokonaisuudet|     |Opintojaksot|    

Opinto-opas 2012-2013

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

Lisätiedot

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

Vastuuhenkilö

Antero Kangas, Antti Valmari

Opetus

Opetusmuoto Tunteja Aikaväli Toteutuskerrat Luentoajat ja -paikat
Luennot
Harjoitukset
7 h/vko
4 h/vko
27.05.2013 - 06.07.2013
27.05.2013 - 06.07.2013
OHJ-2100 2012-02 Maanantai 12 - 13, TB111
Keskiviikko 10 - 14, TB223

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  

Tarkempia tietoja toteutuskerroittain

Toteutus Kuvaus Opetusmuodot Toteutustapa
OHJ-2100 2012-02        

Viimeksi muokattu28.03.2013