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.

Tenttien ja uusintatenttien ajankohdat

Opintojakson koe pidetään 30.3.2022 tuntiaikaan (alustava aika, voi tulla muutoksia).
Uusintaan osallistuminen edellyttää arvosanaa nolla.
1. uusinta 18.5.2022 klo 16.00-19.00 (paikka ilmoitetaan ennen tenttiä)
2. uusinta/ korotus 8.6.2022 klo 16.00-19.00 (paikka ilmoitetaan ennen tenttiä)
Hyväksyttyä arvosanaa voi korottaa 2. uusintakokeessa.
Kokeissa saa olla mukana vain opettajan erikseen määrittelemät materiaalit ja välineet.
Uusintakokeeseen ja korotukseen ilmoittaudutaan TAMKin tenttijärjestelmän kautta.

Arviointimenetelmät ja arvioinnin perusteet

Opintojakso arvioidaan asteikolla 0-5. Opintojakso suoritetaan kokeella, harjoitustyöllä ja viikoittain tarkastettavilla harjoitustehtävillä. Kotitehtäväpisteiden saamiseksi on osallistuttava kotitehtävien tarkistukseen (tarkemmat ohjeet Moodlessa). Opintojaksoon saattaa sisältyä myös ryhmässä tehtäviä osioita. Kokeen arvostelussa otetaan huomioon paitsi ratkaisun oikeellisuus myös ratkaisutapa ja esitystavan selkeys. Jo arvosanan 0 saaminen edellyttää säännöllistä läsnäoloa koko opintojakson ajan ja kurssikokeeseen osallistumista. Säännöllinen läsnäolo tarkoittaa, että tunnilla ollaan aina, ellei ole perusteltua syytä (esim. sairaus) olla pois. Varma läpipääsyraja on 40 % kurssikokeen maksimipistemäärästä.
Harjoitustehtävillä saa lisäpisteitä oheisen taulukon mukaan:
yli 30% : 1
yli 50%: 2
yli 70% : 3
yli 90% : 4
Harjoitustehtäväpisteet eivät vaikuta kurssin läpipääsyyn vaan niillä voi korottaa arvosanaa. Lopullinen arvosana määräytyy koepisteiden, harjoitustyön ja harjoitustehtäväpisteiden yhteismäärästä sekä osallistumisaktiivisuudesta. Harjoitustehtäväpisteitä ei huomioida enää uusinta- ja korotustenttien yhteydessä.
Arviointikriteeri -hylätty(0):
Opiskelija osallistuu säännöllisesti opetukseen ja opintojakson työmuotoihin sekä suorittaa opintojakson loppukokeen, mutta ei muuten saavuta tyydyttävään arvosanaan vaadittuja kriteerejä. Nollan saaminen mahdollistaa osallistumisen kurssin uusintakokeeseen.

Arviointiasteikko

0-5

Opiskelumuodot ja opetusmenetelmät

Etäopetus zoomin avulla 3.periodissa ja hybridiopetus 4.periodissa, itsenäinen opiskelu, tuntiharjoitukset ja kotitehtävät, videomateriaalit, nettitehtävät, tentti

Oppimateriaalit

Opettajan Moodlessa jakama materiaali (sähköinen PLUSSA-materiaali, videot, interaktiiviset tehtävät, pdf-materiaalit)
Kaavasto: Tekniikan kaavasto, Tammertekniikka
Suositellaan hankittavaksi TI-nspire CX CAS/ TI-nspire CX II CAS -laskin.

Opiskelijan ajankäyttö ja kuormitus

Opiskelijan keskimääräinen työmäärä on 80 h, joka koostuu:
-opetuksesta, jossa opettajaja mukana (Zoom-tunnit)
-ryhmätöistä (opettaja ei ole mukana)
-itsenäisestä työskentelystä (mm. kotitehtävät, nettitehtävät, opetusvideot)
-kokeesta
Opettajan pitämiä lähitunteja on n. 30 h

Sisällön jaksotus

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

Lisätietoja opiskelijoille

Opetus alkaa viikolla 2 lukujärjestyksen mukaisesti.
Opintojaksoon on Moodle-toteutus. Opettajalta saa Moodle-avaimen.