Indholdsfortegnelse
15 relationer: Andentælleligt rum, Beregnelige tal, Bijektiv, Databasetabel, Graf (diskret matematik), Ikke-tællelig, Karakteristik (matematik), Kontinuumhypotesen, Matematisk logik, Mængde, Potensmængde, Tællelig mængde, Tomme mængde, Uendelighed, UML.
Andentælleligt rum
I det matematiske område der kaldes topologi, er et andentælleligt rum et topologisk rum, der opfylder "andet tællelighedsaksiom".
Se Kardinalitet og Andentælleligt rum
Beregnelige tal
Et beregneligt tal er et tal der kan beregnes med en given præcision af en algoritme, som kan beregnes af en Turing-maskine.
Se Kardinalitet og Beregnelige tal
Bijektiv
En bijektiv funktion. En afbildning \phi:X\to Y er bijektiv (enentydig), når den både er injektiv og surjektiv, og man siger at \phi er en bijektion.
Databasetabel
En databasetabel, også kaldet en relation er en kombination af et rækkehovede og et antal n, hvor (n>.
Se Kardinalitet og Databasetabel
Graf (diskret matematik)
En graf med seks knuder og syv kanter. I matematikken, og mere specifikt i diskret matematik og grafteori, er en graf en struktur, der består af en mængde objekter og et relationsbegreb mellem par af objekter.
Se Kardinalitet og Graf (diskret matematik)
Ikke-tællelig
En overtællelig mængde eller ikke-tællelig mængde er en mængde så stor, at den er umulig at tælle.
Se Kardinalitet og Ikke-tællelig
Karakteristik (matematik)
I matematikken er karakteristikken af en ring R med multiplikativt neutralt element 1R defineret til at være det mindste positive heltal n, så hvor n1R er Hvis intet sådant n eksisterer, defineres karakteristikken af R til at være 0.
Se Kardinalitet og Karakteristik (matematik)
Kontinuumhypotesen
I matematikken er kontinuumhypotesen (ofte forkortet CH fra det engelske Continuum hypothesis) en hypotese fremsat af Georg Cantor om mulige størrelser af uendelige mængder.
Se Kardinalitet og Kontinuumhypotesen
Matematisk logik
Matematisk logik (også kendt som symbolsk logik) er et felt i matematikken med tæt forbindelse til matematikkens grundlag, datalogi og filosofisk logik.
Se Kardinalitet og Matematisk logik
Mængde
En mængde er en samling af objekter eller elementer, hvor den orden, de optræder i, ikke tillægges en betydning.
Potensmængde
Potensmængden (eng. power set) af en given mængde S består af alle delmængder af S og betegnes ofte \mathcal(S), P(S) eller 2S.
Se Kardinalitet og Potensmængde
Tællelig mængde
En tællelig mængde er en mængde, der har samme kardinalitet (dvs. i en vis forstand samme antal elementer) som en delmængde af de naturlige tal, eller ækvivalent: en mængde A er tællelig, hvis og kun hvis der findes en injektiv funktion fra A til de naturlige tal.
Se Kardinalitet og Tællelig mængde
Tomme mængde
Den tomme mængde er i matematik en mængde uden elementer - dens kardinalitet er nul.
Se Kardinalitet og Tomme mængde
Uendelighed
Uendelig tid Uendelighed er et abstrakt begreb, som betegner noget uden ende.
Se Kardinalitet og Uendelighed
UML
Unified Modeling Language (UML) er en standard for udseende af diagrammer til beskrivelse af strukturer og forløb i objekt-orienterede softwaresystemer, udviklet af Object Management Group (OMG).
Også kendt som Mægtighed.