Loengud
Loengud teisipäeviti 10.15 -- 12.00, Vanemuise 46--225
Loengute orienteeruv ajakava (2017):
- 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