Logika - brezplačen tečaj Open Education, usposabljanje 14 tednov, od 4 do 6 ur na teden, Datum: 3. december 2023.

Predmet študente seznani z matematično logiko, njenimi metodami, izreki in aplikacijami. V procesu študija predmeta bodo študenti lahko spoznali različne logične sisteme - klasično logiko, intuicionistična logika, različne modalne logike, pa tudi klasična predikatna logika in konstruirane teorije na podlagi tega.

Obravnavana bodo vprašanja, povezana s formalnimi jeziki, vprašanja izrazljivosti različnih pogojev v njih, aksiomatski sistemi, dokazi in dokazljivost, resnica in ovrgljivost. Prikazana bodo razmerja med temi koncepti, pa tudi razmerja med različnimi logičnimi sistemi. Ob tem bodo obravnavane lastnosti teorij, vključno z algoritmičnimi.

Predmet vsebuje tako teoretično gradivo, predstavljeno na predavanjih, kot tudi praktične naloge, ki so študentom ponujene kot vaje. Študenti se bodo lahko naučili konstruirati formalne dokaze izrekov, modele teorij, protimodele za izjave, ki so v teorijah nedokazljive, kot tudi strogo argumentirati svoje zaključke.

Rybakov Mihail Nikolajevič

1

dobro

Kandidat fizikalnih in matematičnih znanosti: Yaroslavl State University. P.G. Demidova, doktorica znanosti: Univerza Witwatersrand, izredna profesorica Delovno mesto: izredna profesorica, Fakulteta za matematiko

14 tednov, 4 do 6 ur na teden,

Začetek 3. december