Tacair, loighic, agus cruthúnais Sainmhínithe

Táól

Is líon mór é googol atá cothrom le 10

10

2

100

Googleplex

Is uimhir mhór é Googolplex atá cothrom le 10

10

100

googol . I dtéarmaí eile, lean an digit 1 le googol (10

100

Teoirim

Is ráiteas neamh-fhéinmhuiníneach é teoirim a bhfuil sé cruthaithe go bhfuil sé fíor, ar bhonn ráitis a nglactar leo go ginearálta mar axiomas, posulates nó ar…

Buartha

Baineann fánach leis an gcás is simplí go matamaiticiúil nó is é sin é. Go ginearálta, úsáidtear an téarma fánach chun cur síos a dhéanamh ar aon toradh nach d…

Sraith uimhreacha gan teorainn

Is éard atá i sraith uimhreacha neamhcheangailte ná sraith uimhreacha nach bhfuil teorantach leo. I dtéarmaí eile tá tacar nach bhfuil faoi cheangal níos ísle …

Nach féidir a chomhaireamh

Is é atá i gceist le neamh -inghlactha ar a dtugtar tacar neamh -inúsáidte nó gan teorainn neamh -inghlactha ná tacar gan teorainn ina bhfuil an iomarca eilimi…

Tacar neamh -inúsáidte

Is tacar gan teorainn é tacair neamh -inghlactha ar a dtugtar neamh -inghlactha nó gan teorainn gan teorainn a bheith ann ina bhfuil an iomarca eilimintí le bh…

Gan teorainn gan teorainn

Is tacar gan teorainn é gan teorainn gan teorainn a bheith ar a dtugtar tacar neamh -inúsáidte nó neamh -inghlactha ar shlí eile ina bhfuil an iomarca eilimint…

Aontacht

Is é an tAontas (atá curtha in iúl ag ∪) i dteoiric socraithe, bailiúchán de thacair an tacar de na heilimintí go léir sa bhailiúchán.

Faoi cheangal uachtair

Tá an cheangal uachtarach d'fheidhm C le haghaidh feidhm f má tá an coinníoll f (x) ≤ C do gach x ina fhearann.

Léaráidí Venn

Is léaráid é léaráid Venn (dá ngairtear príomhthéacht, léaráid socraithe nó léaráid loighce) a thaispeánann gach caidreamh loighciúil a d'fhéadfadh a bhei…

Uimhreacha iomlána

Is iad na huimhreacha iomlána aon líon den tsraith slánuimhreacha neamh -dhiúltacha. Mar shampla, aon cheann de na huimhreacha 0, 1, 2, 3, 4, 5, etc.