Opinto-opas

Tavoitteet (OJ)

Opiskelija
-osaa perusteet propositio- ja predikaattilogiikasta sekä joukko-opista
-tuntee induktion ja rekursion periaatteen
-tutustuu relaatioihin ja algoritmeihin ja tietää niihin liittyvää peruskäsitteistöä
-tunnistaa graafeihin liittyviä käsitteitä

Sisältö (OJ)

- Kvanttorit
- Propositio- ja predikaattilogiikan perusteet, Boolen algebra, totuustaulut
- Induktio ja rekursio
- Joukko-opin merkintöjä ja perusteita
- Relaatiot
- Graafit

Arviointikriteerit, tyydyttävä (1-2) (OJ)

Opiskelija osaa perusteet joukko-opista ja logiikasta sekä tunnistaa opintojakson aihepiiriin liittyvää käsitteistöä. Opiskelija osaa laskea opintojakson aihepiireihin liittyviä yksinkertaisia tehtäviä, jotka ovat käsiteltyjen/esitettyjen esimerkkien kaltaisia.

Arviointikriteerit, hyvä (3-4) (OJ)

Edellisten lisäksi opiskelija osaa soveltaa opintojakson asioita uudenlaisissa tilanteissa ja perustella ratkaisujaan. Opiskelija osaa käyttää opintojakson aihepiireihin liittyviä käsitteitä ja menetelmiä oikein. Opiskelija suoriutuu annetuista tehtävistä itsenäisesti.

Arviointikriteerit, kiitettävä (5) (OJ)

Edellisen lisäksi opiskelijalla on kokonaisvaltainen käsitys opintojakson asioista ja niiden käytöstä ongelmien ratkaisussa sekä taito esittää ja perustella loogisesti valitsemansa ratkaisut.

Aika ja paikka

Opetus alkaa viikolla 7
Oppitunnit pääsääntöisesti keskiviikkoisin klo 11-14 huoneessa B4-18

Tenttien ja uusintatenttien ajankohdat

Opintojaksototeutuksen aikana pidetään kolme koetta.
Alustavat ajat
ke 8.3. aikavälillä klo 11-14
ke 29.3. aikavälillä klo 11-14
ke 12.4. aikavälillä klo 11-14

Huom! Kokeen ajallinen kesto voi olla pienempi kuin kolme tuntia

Arviointimenetelmät ja arvioinnin perusteet

Opintojakso arvioidaan asteikolla 0-5. Opintojakso suoritetaan kokeilla, harjoitustehtävillä / -töillä sekä aktiivisella osallistumisella opetukseen. Opintojaksoon saattaa sisältyä myös ryhmässä tehtäviä osioita. Kokeiden arvostelussa otetaan huomioon paitsi ratkaisun oikeellisuus myös ratkaisutapa ja esitystavan selkeys.

Pisteitä on jaossa seuraavasti
Tuntiaktiivisuus: max. 15 p
Harjoitustehtävät /-työt: max. 15 p
Kokeet: max. 30 p

Mikäli eri kokeissa on samaan aihealueeseen liittyviä osioita, niistä paras (ja vain paras) huomioidaan kokonaispistemäärässä.

Pisterajat (prosentteina maksimista)
<20 %: Ei arvosanaa
20-30%: 0
30%: 1
45%: 2
60%: 3
75%: 4
90%: 5

Arviointiasteikko

0-5

Opiskelumuodot ja opetusmenetelmät

Opettajan valinnan mukaan seuraavia: Lähiopetus, itsenäinen opiskelu, tuntiharjoitukset ja kotitehtävät, ongelmalähtöinen opiskelu, yhteistoiminnallinen oppiminen, ryhmätyöt, harjoitustyöt, kyselevä opettaminen, kyselevä oppiminen, PC-tehtävät, kokeet

Oppimateriaalit

Opettajan Moodlessa jakama materiaali
Opettajan oppitunneilla tuottama materiaali
Kaavasto: Tekniikan kaavasto, Tammertekniikka

Opiskelijan ajankäyttö ja kuormitus

Opiskelijan keskimääräinen työmäärä on 80 h, joka koostuu:
-opetuksesta, jossa opettajaja mukana (Oppitunnit)
-harjoitustöistä (opettaja ei ole mukana, voi olla ryhmätyö)
-itsenäisestä työskentelystä (esim. kotitehtävät, nettitehtävät, opetusvideot)
-kokeista (valmistautuminen n. 30 h, koetilaisuudet 6 h)
-Opettajan pitämiä lähitunteja on n. 21 h

Sisällön jaksotus

- Kvanttorit
- Propositio- ja predikaattilogiikan perusteet, Boolen algebra, totuustaulut
- Induktio ja rekursio
- Joukko-opin merkintöjä ja perusteita
- Relaatiot
- Graafit

Toteutuksen valinnaiset suoritustavat

Neuvoteltava erikseen opettajan kanssa. Opettaja ei ole velvollinen tarjoamaan valinnaista suoritustapaa

Lisätietoja opiskelijoille

Opetus alkaa viikolla 7 lukujärjestyksen mukaisesti.
Opettajalta saa tarvittaessa Moodle-avaimen.