Õppeaine kood

MLM7223.DT

vana ainekood

MLM7223

Õppeaine nimetus eesti k

Matemaatiline loogika ja algoritmiteooria

Õppeaine nimetus inglise k

Mathematical Logics and Algorithms

Õppeaine maht EAP

5.0

Kontrollivorm

eksam

2023/2024 kevadsemestri õppejõud

Ei ole õpetamiseks avatud. Vt all õppekava lingi kaudu peaeriala all nominaaljaotuse ajakava.

2024/2025 sügissemestri õppejõud

Ei ole õpetamiseks avatud. Vt all õppekava lingi kaudu peaeriala all nominaaljaotuse ajakava.

Õppeaine eesmärgid

Selle õpetamise eesmärk: süvendada loogilist ja algoritmilist mõtlemist, andes selleks formaalsed matemaatilised alused.

Õppeaine sisu lühikirjeldus

Lausearvutuse põhimõisted. Põhilised loogikaseadused. Lausearvutuse aksioomid ja tuletamisreeglid. Tõestus lausearvutuses. Lausearvutuse kooskõlalisus, täielikkus, lahenduvus. Aksioomide sõltumatus. Predikaatarvutus. Predikaatvalemite rakendusi. Esimest järku keel. Formaalne teooria. Aksioomid, tuletamisreeglid, tõestus ja teoreemid. Deduktsiooniteoreem. Formaalse teooria mudelid, nende isomorfism. Teooria kategoorilisus ja täielikkus. Algoritmi mõiste. Markovi normaalalgoritm. Rekursiivsed ja osaliselt rekursiivsed funktsioonid. Algoritmi keerukus, selle määramine.

Õppeaine õpiväljundid

Õppeaine edukal läbimisel üliõpilane:
Teab lausearvutuse ja predikaatarvutuse põhimõisteid ja seadusi ning oskab neid põhjendada ja rakendada. Teab formaalse teooria ja algoritmiteooria aluseid.

Õppejõud

dots Tatjana Tamberg

Õppekavaversioonid, millesse aine kuulub

Matemaatikaõpetaja (MLMOM/15.DT)
Matemaatikaõpetaja (MLMOM/14.DT)
Matemaatika (MLMM/14.DT)
Matemaatikaõpetaja (MLMOM/13.DT)
Matemaatika (MLMM/13.DT)
Matemaatikaõpetaja (MLMOM/12.DT)
Matemaatika (MLMM/12.DT)
Matemaatikaõpetaja (MLMOM/11.DT)
Matemaatika (MLMM/11.DT)
Matemaatika (MLMM/10.DT)
Matemaatikaõpetaja (MLMOM/10.DT)