Eesmärk
Anda informaatikas vajaminevad matemaatilised alusteadmised ning arendada struktuurse mõtlemise oskust ja abstraktsioonivõimet.
Õpiväljundid
Kursuse läbinud üliõpilane:
- On omandanud süsteemse ja seostatud ülevaate peamistest informaatikas kasutatavatest diskreetsest struktuuridest ning vastavatest mõistetest, tulemustest ja meetoditest.
- Oskab ise konstrueerida matemaatilisi arutluskäike kursuse valdkondades ja neid selgelt väljendada, kasutades vastava valdkonna standardterminoloogiat ja -tähistusi.
- Oskab väljendada väiteid lausearvutuse ja predikaatarvutuse valemitega, teha kindlaks valemite omadusi (nt kehtestatavus, samaselt tõesus) ja nendevahelisi seoseid (nt samaväärsus, järeldumine), teisendada valemeid sobivale kujule ning seostada tulemusi esialgsete väidetega.
- Oskab rakendada väidete tõestamisel induktsiooni.
- Suudab selgitada graafiteooria põhimõisteid ning neid näidetega illustreerida ja omavahel seostada, oskab kasutada olukorra modelleerimiseks graafe ja puid ning teha olukorra kohta järeldusi graafide ja puude põhiomaduste abil.
- Tunneb seoseid graafide ja relatsioonide ning nende erinevate esituste vahel. Oskab konkreetsete probleemide lahendamiseks valida sobiva esituse.