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

 · 

3664 views

video-img
01:31:11

Predavanje 13

Andrej Bauer

Jan 19, 2011

 · 

2458 views

video-img
01:32:18

Predavanje 12

Andrej Bauer

Jan 17, 2011

 · 

2517 views

video-img
01:32:00

Predavanje 11

Andrej Bauer

Jan 4, 2011

 · 

2601 views

video-img
01:28:23

Ekvivalenčne relacije in izrek o razcepu funkcij

Andrej Bauer

Dec 17, 2010

 · 

3030 views

video-img
01:26:51

Epimorfizmi in monomorfizmi

Andrej Bauer

Dec 15, 2010

 · 

2641 views

video-img
01:29:17

Relacije

Andrej Bauer

Dec 15, 2010

 · 

2792 views

video-img
01:31:04

Naravna števila in Peanovi aksiomi

Andrej Bauer

Dec 15, 2010

 · 

3360 views

video-img
01:29:21

Bijekcije in izomorfizmi, družine množic

Andrej Bauer

Dec 15, 2010

 · 

2641 views

video-img
01:29:14

Množice in funkcije

Andrej Bauer

Dec 15, 2010

 · 

6513 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