Rychlejší přístup než prohlížeči!
52 vztahy: Algebra, Algoritmus, Alternativní teorie množin, Antonín Sochor (matematik), Axiom, Axiom výběru, Axiomatická teorie množin, Bernard Bolzano, Burali-Fortiho paradox, Cantorův paradox, Cantorova věta, Diferenciální rovnice, Formalismus, Funkce (matematika), Gödelovy věty o neúplnosti, Geometrie, Georg Cantor, Intuice, Jazyk (logika), Kardinální aritmetika, Kardinální číslo, Kelleyova-Morseova teorie množin, Matematická logika, Matematická věta, Matematický důkaz, Matematika, Množina, Motivace, Naivní teorie množin, Nekonečná množina, Ordinální číslo, Paradoxy naivní teorie množin, Petr Štěpánek (matematik), Petr Vopěnka, Pořadí, Prázdná množina, Predikátová logika, Prohledávání do šířky, Prvek množiny, Reálné číslo, Russellův paradox, Třída (matematika), Teorie množin, Teorie polomnožin, Teorie pravděpodobnosti, Transfinitní indukce, Uspořádaná n-tice, Výrok (logika), Von Neumannova-Bernaysova-Gödelova teorie množin, Vyhledávací operátory, ..., Zermelova-Fraenkelova teorie množin, 19. století. Rozbalte index (2 více) »
Algebra
Za zakladatele algebry je považován Al-Chorezmí (stránka z jeho spisu) Algebra je odvětví matematiky zabývající se abstrakcí pojmů a vlastností elementárních matematických objektů, jako jsou čísla, polynomy, matice, apod.
Nový!!: Teorie množin a Algebra · Vidět víc »
Algoritmus
Algoritmus je přesný návod či postup, kterým lze vyřešit daný typ úlohy.
Nový!!: Teorie množin a Algoritmus · Vidět víc »
Alternativní teorie množin
Alternativní teorie množin obecně je alternativní matematický přístup ke konceptu množiny.
Nový!!: Teorie množin a Alternativní teorie množin · Vidět víc »
Antonín Sochor (matematik)
Antonín Sochor (1. března 1942 – 17. května 2008) byl český matematik, logik a politik, v 90.
Nový!!: Teorie množin a Antonín Sochor (matematik) · Vidět víc »
Axiom
Axiom (z řec. axióma, to co se uznává) je tvrzení, které se předem pokládá za platné, a tudíž se nedokazuje.
Nový!!: Teorie množin a Axiom · Vidět víc »
Axiom výběru
Axiom výběru (ozn. AC z angl. axiom of choice) je axiom často přidávaný k obvyklým axiomům Zermelovy–Fraenkelovy teorie množin (ZF).
Nový!!: Teorie množin a Axiom výběru · Vidět víc »
Axiomatická teorie množin
Bertranda Russela, která je jednou ze zakladatelských prací Axiomatické teorie množin Axiomatická teorie množin je označení pro teorii, která formalizuje vlastnosti množin takovým způsobem, aby bylo možné pomocí množin zkonstruovat všechny matematické objekty, takže dokazatelná tvrzení této teorie budou přesně odpovídat všem platným matematickým výsledkům ze všech oblastí matematiky (algebra, diferenciální rovnice, geometrie, teorie pravděpodobnosti i všechny ostatní).
Nový!!: Teorie množin a Axiomatická teorie množin · Vidět víc »
Bernard Bolzano
Ernst Popp, busta Bernarda Bolzana (1849) Bernard Bolzano (5. října 1781 Praha – 18. prosince 1848 Praha farnost při kostele Matky Boží před Týnem na Starém Městě pražském) byl český německy hovořící matematik, filozof, estetik a kněz.
Nový!!: Teorie množin a Bernard Bolzano · Vidět víc »
Burali-Fortiho paradox
Burali-Fortiho paradox je poznatek publikovaný roku 1897, který spolu s dalšími výsledky podobného typu (označovanými jako paradoxy nebo antinomie) vedl ke krizi klasické naivní teorie množin a jejímu následnému nahrazení axiomatickým systémem.
Nový!!: Teorie množin a Burali-Fortiho paradox · Vidět víc »
Cantorův paradox
Cantorův paradox je poznatek publikovaný Georgem Cantorem roku 1899, který spolu s dalšími výsledky podobného typu (označovanými jako antinomie nebo paradoxy naivní teorie množin) vedl ke krizi klasické naivní teorie množin a jejímu následnému nahrazení axiomatickým systémem.
Nový!!: Teorie množin a Cantorův paradox · Vidět víc »
Cantorova věta
Cantorova věta je jedním ze silných výsledků teorie množin, který je přitom dosažen jejími nejjednoduššími prostředky.
Nový!!: Teorie množin a Cantorova věta · Vidět víc »
Diferenciální rovnice
Diferenciální rovnice jsou matematické rovnice, ve kterých jako neznámé vystupují funkce a jejich derivace.
Nový!!: Teorie množin a Diferenciální rovnice · Vidět víc »
Formalismus
Formalismus (z lat. forma, tvar a formalis, tvarový) znamená zdůrazňování tvaru, podoby či formy, někdy na úkor obsahu.
Nový!!: Teorie množin a Formalismus · Vidět víc »
Funkce (matematika)
Zobrazení '''z''' množiny '''M''' (nahoře) resp. množiny '''D''' (dole) '''na''' množinu '''T''' (přerušovaná čára) resp. '''do''' množiny '''T''' (plná čára). Funkce je v matematice název pro zobrazení z množiny M na nebo do číselné množiny T (většinou reálných nebo komplexních čísel), či na nebo do vektorového prostoru T tvořeného uspořádanými n-ticemi čísel (vektorová funkce).
Nový!!: Teorie množin a Funkce (matematika) · Vidět víc »
Gödelovy věty o neúplnosti
Gödelovy věty o neúplnosti jsou dvě důležité matematické věty, které mají zcela výsadní postavení v celé moderní matematické logice.
Nový!!: Teorie množin a Gödelovy věty o neúplnosti · Vidět víc »
Geometrie
Pythagorovy věty o pravoúhlých trojúhelnících Geometrie (z gé – země a metria – měření) je matematická věda, která se zabývá otázkami tvarů, velikostí, proporcí a vzájemných vztahů obrazců a útvarů a vlastnostmi prostorů.
Nový!!: Teorie množin a Geometrie · Vidět víc »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (3. března 1845 Petrohrad – 6. ledna 1918 Halle) byl významný německý matematik a logik.
Nový!!: Teorie množin a Georg Cantor · Vidět víc »
Intuice
Intuice (z lat. in-tueor, in-tuitum, doslova v-hled) znamená vhled nebo náhled a v současném užití obvykle označuje náhlé poznání, chápání či odhad nebo rozhodnutí, které není zprostředkováno vědomým uvažováním a ačkoli bývá provázeno pocitem jasnosti a jistoty, není podloženo zřetelnými důvody.
Nový!!: Teorie množin a Intuice · Vidět víc »
Jazyk (logika)
V matematické logice se pod pojmem jazyk rozumí pevně zvolená množina symbolů, pomocí nichž se vytvářejí formule.
Nový!!: Teorie množin a Jazyk (logika) · Vidět víc »
Kardinální aritmetika
Kardinální aritmetika je součást teorie množin, která definuje operace kardinálního součtu, kardinálního součinu a kardinální mocniny jako rozšíření běžných aritmetických operací s přirozenými čísly na všechna kardinální čísla a zabývá se jejich vlastnostmi především na nekonečných množinách.
Nový!!: Teorie množin a Kardinální aritmetika · Vidět víc »
Kardinální číslo
V matematice se pojem kardinální číslo, někdy též kardinál, pojí s čísly používanými pro popis velikosti množin.
Nový!!: Teorie množin a Kardinální číslo · Vidět víc »
Kelleyova-Morseova teorie množin
#PŘESMĚRUJ Kelleyova–Morseova teorie množin.
Nový!!: Teorie množin a Kelleyova-Morseova teorie množin · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Teorie množin a Matematická logika · Vidět víc »
Matematická věta
V matematice se jako věta označuje důležité netriviální a dostatečně obecné tvrzení neboli výrok.
Nový!!: Teorie množin a Matematická věta · Vidět víc »
Matematický důkaz
Základů''. Jeden z nejstarších dochovaných matematických důkazů V matematice je důkaz demonstrace nutné pravdivosti nějakého tvrzení za určitých předpokladů (axiomů).
Nový!!: Teorie množin a Matematický důkaz · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Teorie množin a Matematika · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Teorie množin a Množina · Vidět víc »
Motivace
Motivace je vnitřní nebo vnější faktor nebo soubor faktorů vedoucí k energetizaci organismu.
Nový!!: Teorie množin a Motivace · Vidět víc »
Naivní teorie množin
Jako naivní teorie množin je dnes označována původní teorie množin vytvořená Georgem Cantorem v druhé polovině 19. století.
Nový!!: Teorie množin a Naivní teorie množin · Vidět víc »
Nekonečná množina
Nekonečná množina je matematický pojem z oboru teorie množin.
Nový!!: Teorie množin a Nekonečná množina · Vidět víc »
Ordinální číslo
V teorii množin je ordinální číslo zobecněním myšlenky pořadí prvku v uspořádané množině, jež je v přirozeném jazyce vyjádřena řadovou číslovkou jako „první“ či „pátý“.
Nový!!: Teorie množin a Ordinální číslo · Vidět víc »
Paradoxy naivní teorie množin
Paradoxy naivní teorie množin jsou důkazy sporu v původní Cantorově naivní teorii množin.
Nový!!: Teorie množin a Paradoxy naivní teorie množin · Vidět víc »
Petr Štěpánek (matematik)
Petr Štěpánek, celým jménem Petr Otakar Maria Štěpánek (24. ledna 1943 Pardubice – 11. července 2012 Praha) byl český matematik a vysokoškolský pedagog, politik za Občanskou demokratickou stranu, po sametové revoluci československý poslanec Sněmovny národů Federálního shromáždění.
Nový!!: Teorie množin a Petr Štěpánek (matematik) · Vidět víc »
Petr Vopěnka
Petr Vopěnka (16. května 1935, Praha – 20. března 2015, Praha) byl český matematik a filozof.
Nový!!: Teorie množin a Petr Vopěnka · Vidět víc »
Pořadí
Pořadí je vlastnost uspořádané množiny a prvků v ní, jejich označení, určujícím každé dvojici prvků množiny, která je přednější.
Nový!!: Teorie množin a Pořadí · Vidět víc »
Prázdná množina
Jedna z variant zápisu prázdné množiny Prázdná množina je v matematice množina, která neobsahuje žádné prvky.
Nový!!: Teorie množin a Prázdná množina · Vidět víc »
Predikátová logika
V matematice a logice se pojmem predikátová logika označuje formální odvozovací systém používaný k popisu matematických teorií a vět.
Nový!!: Teorie množin a Predikátová logika · Vidět víc »
Prohledávání do šířky
Pořadí v jakém je přistupováno k vrcholům Prohledávání do šířky (anglicky Breadth-first search, zkráceně BFS) je grafový algoritmus, který postupně prochází všechny vrcholy v dané komponentě souvislosti.
Nový!!: Teorie množin a Prohledávání do šířky · Vidět víc »
Prvek množiny
Prvky množiny (také členy nebo elementy množiny) jsou v matematice takové objekty, které jsou obsaženy v dané množině.
Nový!!: Teorie množin a Prvek množiny · Vidět víc »
Reálné číslo
Reálná čísla jsou taková čísla, kterým lze jednoznačně přiřadit body nekonečné přímky (číselné osy) tak, aby tato čísla popisovala „vzdálenost“ od nějakého vybraného bodu (nuly) na takové přímce.
Nový!!: Teorie množin a Reálné číslo · Vidět víc »
Russellův paradox
Russellův paradox (též Russellova antinomie) je paradox, objevený v roce 1901 Bertrandem Russellem, který ukazuje, že Cantorova intuitivní teorie množin (naivní teorie množin) je vnitřně sporná.
Nový!!: Teorie množin a Russellův paradox · Vidět víc »
Třída (matematika)
Třída (někdy také přesněji množinová třída) je matematický pojem z oboru teorie množin používaný pro označení souboru objektů, u kterých lze případ od případu určit, zda do dané třídy náleží nebo nenáleží – soubor tedy musí být dobře popsán z hlediska náležení.
Nový!!: Teorie množin a Třída (matematika) · Vidět víc »
Teorie množin
Teorie množin je matematická teorie, která se zabývá studiem množin.
Nový!!: Teorie množin a Teorie množin · Vidět víc »
Teorie polomnožin
Teorie polomnožin je matematická teorie zobecňující teorii množin, která byla vyvinuta v 70.
Nový!!: Teorie množin a Teorie polomnožin · Vidět víc »
Teorie pravděpodobnosti
Pravděpodobnost hodu kostkami Teorie pravděpodobnosti (počet pravděpodobnosti) je matematická disciplína popisující zákonitosti týkající se jevů, které (přinejmenším z hlediska pozorovatele) mohou a nemusí nastat, resp.
Nový!!: Teorie množin a Teorie pravděpodobnosti · Vidět víc »
Transfinitní indukce
Spirála znázorňující všechna ordinální čísla menší než ωω. Transfinitní indukce je postup důkazu používaný v teorii množin obdobný jako klasická matematická indukce, ale rozšířený z přirozených čísel na ordinální čísla.
Nový!!: Teorie množin a Transfinitní indukce · Vidět víc »
Uspořádaná n-tice
Jako uspořádaná n-tice se v matematice označuje uspořádaný seznam konečného počtu n objektů (je proto možné se také setkat s pojmy jako uspořádaná k-tice apod., konkrétní varianty se pak nazývají uspořádané dvojice, uspořádané trojice atd.). Zapisuje se obvykle jako seznam těchto prvků, uzavřený do kulatých závorek.
Nový!!: Teorie množin a Uspořádaná n-tice · Vidět víc »
Výrok (logika)
Z hlediska nižší logiky je výrok každé sdělení (gramaticky vyjádřené oznamovací větou), o němž má smysl tvrdit, že je pravdivé (platí), nebo nepravdivé (neplatí).
Nový!!: Teorie množin a Výrok (logika) · Vidět víc »
Von Neumannova-Bernaysova-Gödelova teorie množin
#PŘESMĚRUJ Von Neumannova–Bernaysova–Gödelova teorie množin.
Nový!!: Teorie množin a Von Neumannova-Bernaysova-Gödelova teorie množin · Vidět víc »
Vyhledávací operátory
Vyhledávací operátory jsou klíčová slova a symboly operátorů ze syntaxe řídicích struktur dotazovacího jazyka sloužící k přesnému formulování vyhledávacího dotazu.
Nový!!: Teorie množin a Vyhledávací operátory · Vidět víc »
Zermelova-Fraenkelova teorie množin
#PŘESMĚRUJ Zermelova–Fraenkelova teorie množin.
Nový!!: Teorie množin a Zermelova-Fraenkelova teorie množin · Vidět víc »
19. století
průmyslové revoluce a také 19. století Imperiální mocnosti kolem roku 1898 Devatenácté století je podle Gregoriánského kalendáře perioda mezi 1. lednem 1801 a 31. prosincem 1900.
Nový!!: Teorie množin a 19. století · Vidět víc »
