Logika in množice

Logika in množice

13 Videos · Oct 8, 2010

About

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.

Videos

video-img
01:26:55

Predavanje 14

Andrej Bauer

Jan 31, 2011

 · 

3683 views

video-img
01:31:11

Predavanje 13

Andrej Bauer

Jan 19, 2011

 · 

2475 views

video-img
01:32:18

Predavanje 12

Andrej Bauer

Jan 17, 2011

 · 

2538 views

video-img
01:32:00

Predavanje 11

Andrej Bauer

Jan 4, 2011

 · 

2616 views

video-img
01:28:23

Ekvivalenčne relacije in izrek o razcepu funkcij

Andrej Bauer

Dec 17, 2010

 · 

3055 views

video-img
01:26:51

Epimorfizmi in monomorfizmi

Andrej Bauer

Dec 15, 2010

 · 

2650 views

video-img
01:29:17

Relacije

Andrej Bauer

Dec 15, 2010

 · 

2808 views

video-img
01:31:04

Naravna števila in Peanovi aksiomi

Andrej Bauer

Dec 15, 2010

 · 

3383 views

video-img
01:29:21

Bijekcije in izomorfizmi, družine množic

Andrej Bauer

Dec 15, 2010

 · 

2649 views

video-img
01:29:14

Množice in funkcije

Andrej Bauer

Dec 15, 2010

 · 

6531 views

video-img

Kako pišemo dokaze?

Andrej Bauer

Dec 3, 2010

 · 

3361 views

video-img

Simbolni zapis

Andrej Bauer

Dec 3, 2010

 · 

4238 views

video-img

Izjavni in predikatni račun

Andrej Bauer

Dec 3, 2010

 · 

4124 views