Matematička logika je grana matematike koja se bavi iskazima i iskaznim formulama, a jedan od osnovnih tipova zadataka je ispitivanje da li je neka formula tautologija.
U radu sa skupovima bavimo se operacijama unija, presjek i razlika. Pored operacija posmatraćemo relaciju kao skup i baviti se vrstama relacija, a to su relacija ekvivalencije i relacija poretka.
Više o svemu ovome pogledajte na kanalu: