Opinto-opas 2010-2011 Perus 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	P1	P2	P3	P4	Kesä	Toteutuskerrat	Luentoajat ja -paikat
Luennot Harjoitukset			3 h/vko  2 h/vko	+2 h/vko +2 h/vko		OHJ-2100 2010-01	Torstai 10 - 16, TB104

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-01	Kevät 2011

Viimeksi muokattu

16.06.2011