Praktikumid
Praktikumid toimuvad esmaspäeviti ja kolmapäeviti 8.15 -- 10.00, J. Liivi 2, ruumis 202
Iseseisval tööl on abiks loengukonspekt ja videoloengud.
Praktikumide orienteeruv ajakava nädalate kaupa (2018 kevad):
- Sissejuhatus. Mõisted. Defineerimine. Teoreem. Eeldus ja väide. SÜmbolite kasutamisest
- Lausearvutuse põhimõisted. Loogilised tehted. Tõeväärtused. Kvantoritega laused.
- Liitlausete teisendamine. Samaselt tõesus, kehtestatavus. Samaväärsus. Valemite teisendamine samaväärsuste abil. Järeldumine. Täielik disjunktiivne normaalkuju.
- Hulga mõiste, esitamisviisid, näiteid hulkadest. Hulga element. Tühihulk, osahulk, pärisosahulk.
- Tehted hulkadega (ühisosa, ühend, vahe, täiend, otsekorrutis). Venni diagrammid. Tehete omadused. Otsekorrutis, tema omadused.
- Arvuteeoria elemente ja matemaatiline induktsioon.
- Tõestamise erinevad meetodid (otsene tõestus, vastuväiteline tõestus, ühesuse tõestamine, konstruktiivne tõestus, jne.)
- Kontrolltöö nr 1
- Funktsioon. Määramispiirkond, muutumispiirkond. Funktsiooni graafik. Kujutis, originaal, nende omadused.
- Injektiivsus, sürjektiivsus, bijektiivsus. Üksühene vastavus. Liitfunktsioon. Pöördfunktsioon.
- Hulkade ekvivalentsus, loenduvad hulgad.
- Cantor-Bernsteini teoreem, mitteloenduvad hulgad
- Seose mõiste ja omadused
- Ekvivalentsusseos ja klassijaotus.
- Järjestusseos.
- Kontrolltöö nr 2