Nacionalni portal odprte znanosti
Dostop do znanja slovenskih raziskovalnih organizacij
Domov
Napredno iskanje
Brskanje
Digitalna knjižnica Univerze v Mariboru
Repozitorij Univerze v Ljubljani
Repozitorij Univerze na Primorskem
Repozitorij Univerze v Novi Gorici
DiRROS
REVIS
Statistika
Digitalna knjižnica Univerze v Mariboru
Repozitorij Univerze v Ljubljani
Repozitorij Univerze na Primorskem
Repozitorij Univerze v Novi Gorici
DiRROS
REVIS
Mobilno
Odprti podatki
O projektu
Kontakt
Iskalni niz:
išči po
Naslov
Avtor
Opis
Ključne besede
Polno besedilo
Leto
ALI
IN
IN NE
išči po
Naslov
Avtor
Opis
Ključne besede
Polno besedilo
Leto
ALI
IN
IN NE
išči po
Naslov
Avtor
Opis
Ključne besede
Polno besedilo
Leto
ALI
IN
IN NE
išči po
Naslov
Avtor
Opis
Ključne besede
Polno besedilo
Leto
Vrsta gradiva:
Ni določena
Izvirni znanstveni članek
Pregledni znanstveni članek
Kratki znanstveni prispevek
Strokovni članek
Poljudni članek
Objavljeni znanstveni prispevek na konferenci (vabljeno predavanje)
Objavljeni strokovni prispevek na konferenci (vabljeno predavanje)
Objavljeni znanstveni prispevek na konferenci
Objavljeni strokovni prispevek na konferenci
Objavljeni povzetek znanstvenega prispevka na konferenci (vabljeno predavanje)
Objavljeni povzetek znanstvenega prispevka na konferenci
Objavljeni povzetek strokovnega prispevka na konferenci
Samostojni znanstveni sestavek ali poglavje v monografski publikaciji
Samostojni strokovni sestavek ali poglavje v monografski publikaciji
Geslo – sestavek v enciklopediji, leksikonu, slovarju...
Recenzija, prikaz knjige, kritika
Predgovor, spremna beseda
Polemika, diskusijski prispevek
Intervju
Umetniški sestavek
Bibliografija, kazalo ipd.
Drugi članki ali sestavki
Znanstvena monografija
Strokovna monografija
Univerzitetni, visokošolski ali višješolski učbenik z recenzijo
Srednješolski, osnovnošolski ali drugi učbenik z recenzijo
Video in druga učna gradiva
Enciklopedija, slovar, leksikon, priročnik, atlas, zemljevid
Bibliografija
Doktorska disertacija
Magistrsko delo
Specialistično delo
Diplomsko delo
Končno poročilo o rezultatih raziskav
Elaborat, predštudija, študija
Projektna dokumentacija (idejni projekt, izvedbeni projekt)
Izvedensko mnenje, arbitražna odločba
Umetniško delo
Katalog razstave
Raziskovalni ali dokumentarni film, zvočni ali video posnetek
Radijska ali televizijska oddaja
Raziskovalni podatki
Programska oprema
Nova sorta
Patentna prijava
Patent
Druge monografije in druga zaključena dela
Znanstveni terminološki slovar, enciklopedija ali tematski leksikon
Zbornik strokovnih ali nerecenziranih znanstvenih prispevkov na konferenci
Zbornik recenziranih znanstvenih prispevkov na mednarodni ali tuji konferenci
Zbornik recenziranih znanstvenih prispevkov na domači konferenci
Umetniška poustvaritev
Radijski ali TV dogodek
Razstava
Organiziranje znanstvenih in strokovnih sestankov
Predavanje na tuji univerzi
Prispevek na konferenci brez natisa
Vabljeno predavanje na konferenci brez natisa
Druga dela
Druga izvedena dela
Vse
Jezik:
Slovenski jezik
Angleški jezik
Hrvaški jezik
Nemški jezik
Srbski jezik (cirilica)
Srbski jezik
Madžarski jezik
Nemški jezik (Avstrija)
Italijanski jezik
Francoski jezik
Neznan jezik
Polski jezik
Češki jezik
Slovaški jezik
Slovenski jezik
Angleški jezik
Vse
Prikaži samo zadetke s polnim besedilom
Št. zadetkov: 68
Simbolni zapis
Andrej Bauer
Video in druga učna gradiva
Oznake: mathematics
Obravnavamo osnovne logične operacije, njihov simbolni zapis in prevedbo med simbolnim zapisom in njegovim pomenom v slovenščini.
Leto: 2010
Vir: videolectures.net
Predavanje 11
Andrej Bauer
Video in druga učna gradiva
Oznake: mathematics
Leto: 2010
Vir: videolectures.net
Predavanje 12
Andrej Bauer
Video in druga učna gradiva
Oznake: mathematics
Leto: 2011
Vir: videolectures.net
Predavanje 13
Andrej Bauer
Video in druga učna gradiva
Oznake: mathematics
Leto: 2011
Vir: videolectures.net
Predavanje 14
Andrej Bauer
Video in druga učna gradiva
Oznake: mathematics
Leto: 2011
Vir: videolectures.net
Izjavni in predikatni račun
Andrej Bauer
Video in druga učna gradiva
Oznake: mathematics
Ogledamo si primer, ko zamenjava vrstnega reda kvantifikatorjev spremeni pomen izjave. Nato podamo osnovna pravila sklepanja izjavnega računa, oziroma pravila Boolove algebre resničnostnih vrednosti.
Leto: 2010
Vir: videolectures.net
Kako pišemo dokaze?
Andrej Bauer
Video in druga učna gradiva
Oznake: mathematics
Z matematičnim dokazom utemeljimo matematično izjavo. Poleg tega so dokazi tudi sredstvo komuniciranja med matematiki, saj so iz njih razvidne tudi matematične ideje, ki pripeljejo do novih spoznanj. Ogledamo si, kako v praksi pišemo dokaze in podamo osnovne strategije dokazovanja.
Leto: 2010
Vir: videolectures.net
Naravna števila in Peanovi aksiomi
Andrej Bauer
Video in druga učna gradiva
Oznake: mathematics
Naravna števila opredelimo s Peanovimi aksiomi in iz njih izpeljemo nekatere osnovne lastnosti naravnih števil.
Leto: 2010
Vir: videolectures.net
Množice in funkcije
Andrej Bauer
Video in druga učna gradiva
Oznake: mathematics
Predstavimo osnovne lastnosti in operacije nad množicami in funkcijami, kot so unija, presek in podmnožica ter injektivna, surjektivna in bijektivna funkcija.
Leto: 2010
Vir: videolectures.net
Epimorfizmi in monomorfizmi
Andrej Bauer
Video in druga učna gradiva
Oznake: mathematics
Dokažemo, da so surjektivne preslikave natanko epimorfizmi in da so injektivne preslikave natanko monomorfizmi.
Leto: 2010
Vir: videolectures.net
Št. zadetkov: 68
Ključne besede:
matematika (17)
mathematics (17)
funkcijsko programiranje (7)
diplomske naloge (5)
univerzitetni študij (5)
umetna inteligenca (4)
dependent type theory (3)
Leto izdaje:
2010 (14)
2012 (8)
2011 (6)
2023 (6)
2016 (5)
2013 (4)
2015 (4)
Avtorji:
Bauer Andrej (49)
Pretnar Matija (3)
Ažman Gašper (2)
Džeroski Sašo (2)
Habič Miha Emerik (2)
Haselwarter Philipp Georg (2)
Stepišnik Tomaž (2)
Repozitorij:
Repozitorij Univerze v Ljubljani (RUL) (48)
videolectures.net (18)
Digitalni repozitorij raziskovalnih organizacij Slovenije (2)
Tipologija:
Diplomsko delo (37)
Video in druga učna gradiva (18)
Magistrsko delo (9)
Doktorska disertacija (2)
Izvirni znanstveni članek (2)
Jezik:
Slovenski jezik (63)
Angleški jezik (5)