Matematička logika


Kroz ovaj predmet studenti će usvojiti osnovna znanja iz matematičke logike te dobiti dublji uvid u osnove matematike. Steći će vještinu provođenja strogih logičkih dokaza raznim tehnikama: direktno, kontrapozicijom, kontradikcijom, indukcijom. Upoznat će se s aksiomatskim zadavanjem teorija prvoga reda što je važna priprema za teoriju skupova te euklidske i neeuklidske geometrije.