Loengud
Loengud esmaspäeviti 14.15 -- 16.00 MS Teamsi keskkonnas.
Loengute orienteeruv ajakava (2020):
- Sissejuhatus. Mõisted. Defineerimine. Tõestamine. Teoreem. Eeldus ja väide. Sümbolite kasutamisest.
- Laused, loogilised tehted (eitus, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents, kvantorid), tõeväärtused. Kvantoritega laused.
- Liitlausete teisendamine. Liitlausete ja nende tõehulkade vaheline seos. 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.
- Arvuteeoria elemente ja matemaatiline induktsioon.
- Tõestamise erinevad meetodid (otsene tõestus, vastuväiteline tõestus, ühesuse tõestamine, konstruktiivne tõestus, jne.)
- 1. Kontrolltöö
- Funktsiooni mõiste, graafik, kujutis ja originaal ning nende omadused.
- Funktsiooni injektiivsus, sürjektiivsus ja bijektiivsus. Liit- ja pöördfunktsioon, karakteristlik funktsioon.
- Lõplikud ja lõpmatud hulgad. Hulkade ekvivalentsus.
- Kontiinumi võimsusega hulgad. Cantor-Bernsteini teoreem.
- Seose mõiste ja omadused. Ekvivalentsusseos.
- Klassijaotus ja faktorhulk
- Järjestusseos, minimaalsed ja maksimaalsed elemendid
- 2. Kontrolltöö