Menu
calendar icon Oct 8, 2010 videos icon 13 videos
Logika in množice

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:

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.

video-img
01:26:55

Predavanje 14

Andrej Bauer

calendar icon Jan 31, 2011 3714 views

video-img
01:31:11

Predavanje 13

Andrej Bauer

calendar icon Jan 19, 2011 2496 views

video-img
01:32:18

Predavanje 12

Andrej Bauer

calendar icon Jan 17, 2011 2564 views

video-img
01:32:00

Predavanje 11

Andrej Bauer

calendar icon Jan 4, 2011 2661 views

video-img
01:28:23

Ekvivalenčne relacije in izrek o razcepu funkcij

Andrej Bauer

calendar icon Dec 17, 2010 3099 views

video-img
01:26:51

Epimorfizmi in monomorfizmi

Andrej Bauer

calendar icon Dec 15, 2010 2680 views

video-img
01:29:17

Relacije

Andrej Bauer

calendar icon Dec 15, 2010 2859 views

video-img
01:29:14

Množice in funkcije

Andrej Bauer

calendar icon Dec 15, 2010 6561 views

video-img
01:29:21

Bijekcije in izomorfizmi, družine množic

Andrej Bauer

calendar icon Dec 15, 2010 2684 views

video-img
01:31:04

Naravna števila in Peanovi aksiomi

Andrej Bauer

calendar icon Dec 15, 2010 3426 views

video-img

Kako pišemo dokaze?

Andrej Bauer

calendar icon Dec 3, 2010 3361 views

video-img

Izjavni in predikatni račun

Andrej Bauer

calendar icon Dec 3, 2010 4124 views

video-img

Simbolni zapis

Andrej Bauer

calendar icon Dec 3, 2010 4238 views

Except where otherwise noted, content on this site is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 International license.