Logika in množice
Predmet Logika in množice se predava v 1. letniku prve stopnje študija matematike na Fakulteti za matematiko in fiziko, Univerza v Ljubljani. Predmet se uči na dveh smereh:
[[http://www.fmf.uni-lj.si/si/studij-matematike/matematika-I/|1. stopnja študija Matematika]]
Namen predmeta je študente naučiti osnovne pojme logike in teorije množic. Najpomembnejši koncept, ki ga srečamo pri predmetu je matematični dokaz. Učimo se, kaj je dokaz, kako ga zapišemo in preberemo. Poleg tega se učimo tudi teorijo množic, saj je ta osnova in univerzalni jezik moderne matematike.
Uradna stran predmeta Logika in množice.
//Opozorilo:// VideoLectures.NET poudarjajo, da je snemanje predmeta Logika in množice simulacija uporabe odprtokodne samodejne snemalne računalniške opreme Matterhorn. Avdio in video kakovost posnetkov sta temu primerna.
Predavanje 14
Jan 31, 2011 3714 views
Predavanje 13
Jan 19, 2011 2496 views
Predavanje 12
Jan 17, 2011 2564 views
Predavanje 11
Jan 4, 2011 2661 views
Ekvivalenčne relacije in izrek o razcepu funkcij
Dec 17, 2010 3099 views
Epimorfizmi in monomorfizmi
Dec 15, 2010 2680 views
Relacije
Dec 15, 2010 2859 views
Množice in funkcije
Dec 15, 2010 6561 views
Bijekcije in izomorfizmi, družine množic
Dec 15, 2010 2684 views
Naravna števila in Peanovi aksiomi
Dec 15, 2010 3426 views
Kako pišemo dokaze?
Dec 3, 2010 3361 views
Izjavni in predikatni račun
Dec 3, 2010 4124 views
Simbolni zapis
Dec 3, 2010 4238 views
