Kazalo
29 odnosi: Aksiom, Alfred North Whitehead, Algebra, Algoritem, Bertrand Russell, Definicija, Dokaz, Element (matematika), Ernst Zermelo, Georg Ferdinand Cantor, Henri Poincaré, Kardinalno število, Logika, Matematična analiza, Matematika, Mera (matematika), Množica, Naravno število, Osnovna šola, Podatkovni tip, Presek množic, Protislovje, Psevdonim, Računalništvo, Razred (teorija množic), Topologija, 19. stoletje, 1960., 20. stoletje.
- Formalne metode
- Georg Ferdinand Cantor
- Matematična logika
Aksiom
Aksióm (axíoma − trditev, teza) označuje stališče, načelo, tezo, sodbo, ki se jo sprejema brez dokazov in služi kot načelo ali premisa deduktivnega dokazovanja.
Poglej Teorija množic in Aksiom
Alfred North Whitehead
Alfred North Whitehead, OM, britanski matematik in filozof, * 15. februar 1861, † 30. december 1947.
Poglej Teorija množic in Alfred North Whitehead
Algebra
Algebra in (Al-džebr, dobesedno »združevanje razbitih delov«) je matematična disciplina, ki se, podobno kot geometrija, matematična analiza in teorija števil, šteje za bistveno nit preučevanja matematike.
Poglej Teorija množic in Algebra
Algoritem
Diagram poteka algoritma (Evklidov algoritem) za izračun največjega skupnega delitelja dveh števil ''a'' in ''b'' na lokacijah imenovanih A and B. Algoritem uporabi dve zaporedni odštevanji v dveh zankah: IF test B ≥ A vrne "yes" ali "true" (natančneje, ''število'' ''b'' na lokaciji B je večje ali enako ''številu'' ''a'' na lokaciji A) THEN, algoritem priredi B ← B − A (kar pomeni število ''b'' − ''a'' nadomesti stari ''b'').
Poglej Teorija množic in Algoritem
Bertrand Russell
Bertrand Arthur William Russell, tretji grof Russell, valižanski matematik, logik, filozof, logični pozitivist, matematik, agnostik, zgodovinar, mirovnik, socialni kritik, politični aktivist, nobelovec, * 18. maj 1872, Ravenscroft (sedaj Cleddon Hall, Wales), † 2. februar 1970, Penrhyndeudraeth, Wales.
Poglej Teorija množic in Bertrand Russell
Definicija
Definicija je izjava, ki razlaga pomen besede ali besedne zveze.
Poglej Teorija množic in Definicija
Dokaz
Dokaz je lahko.
Poglej Teorija množic in Dokaz
Element (matematika)
Element (tudi član množice) je v matematiki katerikoli posamezni objekt, ki je sestavni del množice.
Poglej Teorija množic in Element (matematika)
Ernst Zermelo
Ernst Friedrich Ferdinand Zermelo, nemški matematik, * 27. julij 1871, Nemško cesarstvo (sedaj Nemčija), † 21. maj 1953, Freiburg im Breisgau, Zahodna Nemčija (sedaj Nemčija).
Poglej Teorija množic in Ernst Zermelo
Georg Ferdinand Cantor
Georg Ferdinand Ludwig Philipp Cantor, nemški matematik, * 3. marec (19. februar, ruski koledar) 1845, Sankt Peterburg, Ruski imperij (sedaj Rusija), † 6. januar 1918, Halle, Saška, Nemško cesarstvo (sedaj Nemčija).
Poglej Teorija množic in Georg Ferdinand Cantor
Henri Poincaré
Jules Henri Poincaré, francoski matematik in filozof, * 29. april 1854, Nancy, Francija, † 17. julij 1912, Pariz, Francija.
Poglej Teorija množic in Henri Poincaré
Kardinalno število
Kardinalno število je v matematiki posplošeno število, ki izraža moč ali kardinalnost množice.
Poglej Teorija množic in Kardinalno število
Logika
Lógika (grško: lógos - beseda, smisel, misel, načelo) je filozofski nauk o mišljenju ter njegovih zakonitostih.
Poglej Teorija množic in Logika
Matematična analiza
Matemátična analíza (starogrško: análysis - rešitev) je skupno ime za matematične discipline, ki temeljijo na pojmih limite in konvergence, ter ki preučujejo povezane pojme, kot so zveznost, integral, odvod in transcendentna funkcija.
Poglej Teorija množic in Matematična analiza
Matematika
Simbolni prikaz različnih področij matematike Matemátika (mathēmatiká,: máthēma - -thematos - znanost, znanje, učenje, študij;: mathematikos - ljubezen do učenja) je znanstvena veda, ki raziskuje vzorce.
Poglej Teorija množic in Matematika
Mera (matematika)
prazne množice mora biti enaka 0. Méra na množici je v matematični analizi sistematični način prireditve števila vsaki njeni ustrezni podmnožici, ki ga intuitivno tolmačimo kot njeno velikost.
Poglej Teorija množic in Mera (matematika)
Množica
Mnóžica je v matematiki skupina abstraktnih ali stvarnih (konkretnih) reči.
Poglej Teorija množic in Množica
Naravno število
Narávno števílo je katerokoli število iz neskončne množice pozitivnih celih števil.
Poglej Teorija množic in Naravno število
Osnovna šola
Osnovna šola je uradna ustanova, ki izvaja zakonsko določeno izobraževanje.
Poglej Teorija množic in Osnovna šola
Podatkovni tip
Podatkóvni típ je v računalništvu ime ali oznaka za abstraktno množico mogočih vrednosti, ki jih lahko zavzame podatek.
Poglej Teorija množic in Podatkovni tip
Presek množic
Vennov diagram preseka ''A'' ∩ ''B'' Presek množic je računska operacija med množicami.
Poglej Teorija množic in Presek množic
Protislovje
Aristotelove logike. Protislóvje (s tujko kontradíkcija in tudi antinomíja, starinsko protiréčje) je v klasični logiki pojav ali stanje sestavljeno iz logične nezdružljivosti med dvema ali več trditvami (propozicijami).
Poglej Teorija množic in Protislovje
Psevdonim
Psevdonim ali vzdevek (tudi alias) je izmišljeno ime, ki si ga oseba ali skupina privzame za določen namen in se razlikuje od njihovega izvirnega ali pravega imena (ortonim).
Poglej Teorija množic in Psevdonim
Računalništvo
Računálništvo je znanstvena veda o delovanju računalnikov in o njihovi uporabi, kar vključuje strojno in programsko opremo.
Poglej Teorija množic in Računalništvo
Razred (teorija množic)
Rázred je v teoriji množic skupina množic (lahko tudi drugih matematičnih objektov), ki imajo nedvoumno definirano značilnost pripadajočo vsem članom.
Poglej Teorija množic in Razred (teorija množic)
Topologija
Topologíja je red čiste matematike oziroma geometrije, to pa obravnava samo tiste lastnosti množice, ki ohranjajo vsako obrnljivo, v obe smeri zvezno preoblikovanje te množice. Takim lastnostim rečemo topološke lastnosti.
Poglej Teorija množic in Topologija
19. stoletje
1. tisočletje | 2. tisočletje | 3. tisočletje 16. stoletje | 17. stoletje | 18. stoletje | 19.
Poglej Teorija množic in 19. stoletje
1960.
1960. je sedmo desetletje v 20. stoletju med letoma 1960 in 1969.
Poglej Teorija množic in 1960.
20. stoletje
1. tisočletje | 2. tisočletje | 3. tisočletje 17. stoletje | 18. stoletje | 19. stoletje | 20.
Poglej Teorija množic in 20. stoletje
Glej tudi
Formalne metode
Georg Ferdinand Cantor
Matematična logika
Prav tako znan kot Naivna teorija množic.