|
Opinto-opas 2012-2013
OHJ-2100 Ohjelmistotieteen perustyökaluja, 5 op
|
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 |
|
|
| OHJ-2100 2012-02 |
|
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:
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 |
|
|
Tarkempia tietoja toteutuskerroittain
Toteutus | Kuvaus | Opetusmuodot | Toteutustapa |