Članica
Fakulteta za matematiko in fiziko
Področje
Stopnja
1. stopnja
Kreditne točke (ECTS KT)
6
Termin izvedbe
1. semester
Način izvedbe
V živo
Opis
Matematično izražanje, definicije, konstrukcije, izjave in dokazi. Izjavni in predikatni račun, pravila sklepanja. Osnove teorije množic. Relacije in funkcije. Ekvivalenčne relacije in kvocientne množice. Strukture urejenosti. Končne, števne in neskončne množice. Moč množic. Množice in razredi. Aksiomi teorije množic. Aksiom izbire in Zornova lema. Študent spozna pojem matematičnega dokaza in pravilnega sklepanja, osnovne diskretne strukture in kombinatorne pojme ter osnove teorije množic.