Õppeaine nimetus eesti k
Hulgateooria ja loogika elemendid
Õppeaine nimetus inglise k
Foundations of Set Theory and Logic
2024/2025 sügissemestri õppejõud
Ei ole õpetamiseks avatud. Vt all õppekava lingi kaudu peaeriala all nominaaljaotuse ajakava.
2024/2025 kevadsemestri õppejõud
Ei ole õpetamiseks avatud. Vt all õppekava lingi kaudu peaeriala all nominaaljaotuse ajakava.
Õppeaine eesmärgid
Anda põhiteadmised hulgateooriast ja loogikast. Tutvustada nendes valdkondades kasutatavaid meetodeid ja võtteid, aga ka rakendusi
Õppeaine sisu lühikirjeldus
Hulgad, tehted nendega. Relatsioonid ja nende liike. Faktorhulgad. Kujutused. Loogika tehted, lausearvutusvalemid, nende tõeväärtused ja normaalkujud. Predikaadid, kvantorid, predikaatvalemid, nende normaalkujud. Formaalsed keeled.
Õ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
Õppejõud
lekt Anna Šeletski
Õppekavaversioonid, millesse aine kuulub