2024/2025 kevadsemestri õppejõud
Ei ole õpetamiseks avatud. Vt all õppekava lingi kaudu peaeriala all nominaaljaotuse ajakava.
2025/2026 sügissemestri õppejõud
Ei ole õpetamiseks avatud. Vt all õppekava lingi kaudu peaeriala all nominaaljaotuse ajakava.
Õppeaine sisu lühikirjeldus
Kõnekeelse lause formaliseerimine ning kasutamine nähtuste kirjeldamisel ehk lausearvutus. Tõeväärtustabelid. Lausearvutusvalemite normaalkujud. Nähtuste omadusi kirjeldavate kõnekeelsete lausete formaliseerimine ehk predikaatarvutus. Predikaatarvutuse valemid. Teoreemide liike. Tarvilikud ja piisavad tingimused. Tõestamismeetodid. Matemaatiline induktsioon. Hulk, hulga esitusviise. Tehted hulkadega. Hulgateoreetiliste tehete omadusi. Hulkade otsekorrutis. Seosed, binaarne seos hulgal. Ekvivalentsusseos, järjestusseos. Minimaalsed, maksimaalsed elemendid, vähim ja suurim element. Tõkked ja rajad. Kujutused. Algebralised operatsioonid. Alamhulga karakteristlik funktsioon. Boole’i funktsioonid. Hulga võimsus.
Õppeaine õpiväljundid
Õppeaine edukal läbimisel üliõpilane:
- tunneb tehteid hulkadega, nende põhiomadusi ja relatsioone, sealhulgas oskab nende liiki määrata ja neid rakendada;
- tunneb lause- ja predikaatarvutuse põhiseadusi; oskab sisulisi väiteid kirja panna formaalsete valemitena ja neid eitada.