Logika in množice

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.

N. Prijatelj: Osnove matematične logike I, DMFA-založništvo, Ljubljana, 1992.
N. Prijatelj: Osnove matematične logike II, DMFA-založništvo, Ljubljana, 1992.
N. Prijatelj: Matematične strukture I : Množice - relacije – funkcije, DMFA-založništvo, Ljubljana, 1996.
M. Juvan, P. Potočnik: Teorija grafov in kombinatorika, DMFA-založništvo, Ljubljana, 2000.

Študent spozna pojem matematičnega dokaza in pravilnega sklepanja, osnovne diskretne strukture in kombinatorne pojme ter osnove teorije množic.

Znanje in razumevanje: Sposobnost natančnega matematičnega izražanja. Osnovno razumevanje pojma matematičnega dokaza. Osnovno znanje o diskretnih strukturah in množicah
Uporaba: Izjavni račun je osnovni jezik za izražanje matematičnih vsebin, dokaz pa osnovno matematično sredstvo. Zato se znanje, pridobljeno pri tem predmetu, uporablja pri vseh nadaljnjih matematičnih predmetih.
Refleksija: Matematična logika je matematična refleksija o matematiki kot aksiomatski metodi. Predmet torej spodbuja premislek o naravi matematike same.
Prenosljive spretnosti – niso vezane le na en predmet: Pravilno dokazovanje je osnova za vse matematične predmete, prav tako znanje iz teorije množic. Znanje diskretnih struktur je osnova za nadaljnje predmete iz diskretne matematike in računalništva.

Predavanja, vaje, domače naloge, konzultacije

2 kolokvija namesto izpita iz vaj / izpit iz vaj
izpit iz teorije
(ocene: 5 (negativno), 6-10 (pozitivno), ob upoštevanju Statuta UL)

Andrej Bauer:
BAUER, Andrej, LEŠNIK, Davorin. Metric spaces in synthetic topology. V: 3rd Workshop on Formal Topology, Padua, 7-12 May 2007. Third workshop on formal topology : special issue, (Annals of pure and applied logic (Print), ISSN 0168-0072, Vol. 163, iss. 2 (February 2012)). Amsterdam: Elsevier, 2012, vol. 163, issue 2, str. 87-100. [COBISS-SI-ID 16073305]
AWODEY, Steve, BAUER, Andrej. Propositions as [Types]. Journal of logic and computation, ISSN 0955-792X, 2004, vol. 14, no. 4, str. 447-471. [COBISS-SI-ID 13374809]
BAUER, Andrej, SIMPSON, Alex. Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Mathematical logic quarterly, ISSN 0942-5616, 2004, vol. 50, no. 4/5, str. 351-369. [COBISS-SI-ID 13378649]