Discrete Mathematics (3 cr)

Objectives (course unit)

The students learn basic concepts and applications of logic, set theory, relation and alogrithms.

Content (course unit)

Propositional and predicate logic, induction and recursion, set theory, relations, graphs

Assessment criteria, satisfactory (1-2) (course unit)

The student knows the basics of set theory and mathematical logic and identifies concepts related to the subject area of the course. The student is able to calculate simple tasks related to the topics of the course, which are similar to the examples presented.

Assessment criteria, good (3-4) (course unit)

In addition, the student is able to apply the course topics in new situations and justify his/her solutions. The student is able to use the concepts and methods related to the subjects of the course correctly. The student performs the given tasks independently.

Assessment criteria, excellent (5) (course unit)

In addition, the student has a comprehensive understanding of the course topics and their use in problem solving, as well as the ability to present and justify the his/her solutions logically.

Exam schedules

Opintojakson koe pidetään xx.xx.2021 tuntiaikaan (alustava aika, voi tulla muutoksia).
Uusintaan osallistuminen edellyttää arvosanaa nolla.
1. uusinta 21.4.2021 klo 17.00-20.00 (paikka ilmoitetaan ennen tenttiä)
2. uusinta/ korotus 19.5.2021 klo 17.00-20.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.

Evaluation methods and criteria

Opintojakso arvioidaan asteikolla 0-5. Opintojakso suoritetaan kokeella, nettitehtävillä ja viikoittain tarkastettavilla harjoitustehtävillä, joiden tekeminen vaikuttaa arvosanaan. 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, nettitehtävien ja kotitehtävien tekoa sekä 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, nettitehtävien 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.

Assessment scale

0-5

Teaching methods

Etäopetus zoomin avulla, itsenäinen opiskelu, tuntiharjoitukset ja kotitehtävät, videomateriaalit, nettitehtävät, tentti

Learning materials

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.

Student workload

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

Content scheduling

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

Further information

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