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

 · 

3658 views

video-img
01:31:11

Predavanje 13

Andrej Bauer

Jan 19, 2011

 · 

2456 views

video-img
01:32:18

Predavanje 12

Andrej Bauer

Jan 17, 2011

 · 

2512 views

video-img
01:32:00

Predavanje 11

Andrej Bauer

Jan 4, 2011

 · 

2596 views

video-img
01:28:23

Ekvivalenčne relacije in izrek o razcepu funkcij

Andrej Bauer

Dec 17, 2010

 · 

3025 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

 · 

2787 views

video-img
01:31:04

Naravna števila in Peanovi aksiomi

Andrej Bauer

Dec 15, 2010

 · 

3354 views

video-img
01:29:21

Bijekcije in izomorfizmi, družine množic

Andrej Bauer

Dec 15, 2010

 · 

2637 views

video-img
01:29:14

Množice in funkcije

Andrej Bauer

Dec 15, 2010

 · 

6509 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