Õppeaine kood

MLM6214.DT

vana ainekood

MLM6214

Õppeaine nimetus eesti k

Hulgateooria ja loogika elemendid

Õppeaine nimetus inglise k

Foundations of Set Theory and Logic

Õppeaine maht EAP

4.0

Kontrollivorm

eksam

2023/2024 kevadsemestri õppejõud

Tatjana Tamberg (õpetamise keel: eesti keel)

2024/2025 sügissemestri õ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

Aine on eelduseks

Õppekavaversioonid, millesse aine kuulub

Informaatika (IFIFB/23.DT)
Informaatika (IFIFB/22.DT)
Informaatika (IFIFB/21.DT)
Informaatika (IFIFB/20.DT)
Informaatika (IFIFB/19.DT)
Informaatika (IFIFB/18.DT)
Informaatika (IFIFB/17.DT)
Informaatika (IFIFB/15.DT)
Informaatika (IFIFB/14.DT)
Matemaatika, majandusmatemaatika ja andmeanalüüs (MLMB/13.DT)
Informaatika (IFIFB/13.DT)
Informaatika (IFIFB/12.DT)
Matemaatika, majandusmatemaatika ja andmeanalüüs (MLMB/12.DT)
Matemaatika, majandusmatemaatika ja andmeanalüüs (MLMB/00.DT)