GLOBAL KNOWLEDGE ARK

Žinynas

Žinių pagrindai

Tyrinėkite sąvokas, dėsnius, lygtis ir metodus, jų taikymą ir šaltinius. Pasirinkite pažinimo sritį arba raskite konkretų žinyno įrašą.

Daugiau filtrų

Žinyno įrašai

Rodoma įrašų: 451–480 iš 1709

Matematika ir logikaDaugianarių dalyba ir didžiausi bendrieji dalikliai

Virš kūno F, kai g nenulinis, lygybėje f=gq+r daugianariai q ir r yra vieninteliai, o r=0 arba deg r<deg g.

Metodas
Matematika ir logikaNeskaidomumas ir Eisensteino kriterijus

Nekonstantinis daugianaris virš F yra neskaidomas, jei jo negalima išskaidyti į dviejų teigiamo laipsnio daugianarių virš F sandaugą.

Metodas
Matematika ir logikaChi kvadrato skirstinys

k nepriklausomų standartinių normaliųjų atsitiktinių dydžių kvadratų suma turi chi kvadrato skirstinį χ²ₖ=Gamma(k/2,1/2), kurio vidurkis k, o dispersija 2k.

Apibrėžimas
Matematika ir logikaStjudento t skirstinys ir normaliojo vidurkio pivotinis dydis

Jei Z∼N(0,1) ir U∼χ²ν yra nepriklausomi, Z/√(U/ν) turi tν skirstinį.

Metodas
Matematika ir logikaParametrinė ir empirinė saviranka

Statistika T iš naujo apskaičiuojama daugelyje modeliuojant sugeneruotų n dydžio duomenų rinkinių.

Metodas
InformacijaDaugiajuostės mašinos imitavimas ir modelių lygiavertiškumas

Fiksuotą deterministinę Tiuringo mašiną su baigtiniu juostų skaičiumi, veikiančią per laiką t(n)≥n, galima imituoti vienajuoste mašina per O(t(n)²) laiką, saugant juostų turinį bei galvučių žymeklius ir peržiūrint juos kiekviename imituojamame žingsnyje.

Matematinis teiginys
InformacijaLaikas, atmintis ir užkoduotos įvesties dydis

Deterministinio sprendimo algoritmo laiko sąnaudos matuojamos žingsnių skaičiumi, o atminties sąnaudos – naudojamų atminties langelių skaičiumi; blogiausio atvejo ribos nustatomos imant maksimumą tarp vienodo užkoduoto ilgio įvesčių.

Apibrėžimas
Matematika ir logikaPalyginimo ir ribinio palyginimo požymiai

Jei nuo tam tikro indekso nariai yra neneigiami ir aₙ≤bₙ, tai Σbₙ konvergencija lemia Σaₙ konvergenciją, o Σaₙ divergencija lemia Σbₙ divergenciją.

Matematinis teiginys
Matematika ir logikaSantykio ir šaknies konvergavimo požymiai

Jei |aₙ₊₁/aₙ|→ρ arba |aₙ|¹⁄ⁿ→ρ, tai Σaₙ konverguoja absoliučiai, kai ρ<1, ir diverguoja, kai ρ>1.

Matematinis teiginys
Matematika ir logikaTolygusis išvestinių konvergavimas

Jei intervale (a,b) diferencijuojamos realiosios funkcijos fₙ konverguoja taškinai į f, o fₙ′ konverguoja tolygiai į g, tai f yra diferencijuojama ir f′=g.

Matematinis teiginys
Matematika ir logikaTolygiosios ribos ir Riemanno integravimas

Jei baigtiniame intervale [a,b] pagal Riemanną integruojamos funkcijos fₙ tolygiai konverguoja į f, tai f yra integruojama pagal Riemanną ir ∫ₐᵇfₙ dx→∫ₐᵇf dx.

Matematinis teiginys
Matematika ir logikaLaipsninių eilučių konvergencija ir diferencijavimas

Eilutės Σaₙ(x−c)ⁿ konvergavimo spindulys R yra 1/lim sup|aₙ|¹⁄ⁿ, taikant konvencijas 1/0=∞ ir 1/∞=0.

Matematinis teiginys
Matematika ir logikaSudėties ir daugybos skaičiavimo principai

Bendras baigtinių, tarpusavyje nesikertančių alternatyvų skaičius lygus jų skaičių sumai.

Metodas
Matematika ir logikaĮtraukimo ir atmetimo principas persidengiančioms aibėms

Baigtinėms aibėms A,B galioja |A∪B|=|A|+|B|−|A∩B|.

Metodas
Matematika ir logikaGretiniai ir deriniai

Iš n skirtingų objektų pasirinkite k be pasikartojimų.

Metodas
InformacijaLeistinasis srautas ir didžiausiojo srauto bei mažiausiojo pjūvio sertifikatas

Srautas orientuotame tinkle neviršija neneigiamų pralaidumų ir tenkina srauto tvermę visose viršūnėse, išskyrus šaltinį s ir santaką t.

Matematinis teiginys
InformacijaEdmondso–Karpo didinančiųjų kelių algoritmas

Pradėjus nuo nulinio srauto, paieška į plotį randamas trumpiausias s–t kelias liekamajame tinkle, o srautas padidinamas mažiausiu šio kelio liekamuoju pralaidumu, atnaujinant tiesioginių ir atvirkštinių briaunų pralaidumus.

Metodas
InformacijaDiskrečioji Furjė transformacija ir jos atvirkštinė

Turint N kompleksinių koeficientų aⱼ, apibrėžiama yₖ=Σ_(j=0)^(N−1)aⱼωᴶᴷ, kur ω=e²πⁱ⁄ᴺ.

Matematinis teiginys
InformacijaGreitoji Fourier transformacija su dvejetainiu skaidymu

Kai N yra dvejeto laipsnis, suskirstykite daugianario koeficientus pagal lyginius ir nelyginius indeksus, rekursyviai transformuokite kiekvieną pusę ir sujunkite reikšmes pagal p(z)=p_even(z²)+zp_odd(z²).

Metodas
Matematika ir logikaApgręžiamieji elementai, nulio dalikliai ir vientisumo sritys

Apgręžiamasis elementas turi daugybinį atvirkštinį elementą.

Apibrėžimas
Matematika ir logikaVientisumo srities trupmenų kūnas

Vientisumo srityje R trupmenos a/b, kurių b≠0, yra ekvivalentiškumo klasės pagal sąryšį a/b=c/d tada ir tik tada, kai ad=bc.

Apibrėžimas
Matematika ir logikaPirminiai ir maksimalieji idealai

Komutatyviojo žiedo su vienetu tikrinis idealas I yra pirminis tada ir tik tada, kai iš ab∈I išplaukia a∈I arba b∈I; lygiavertiškai, R/I yra vientisumo sritis.

Matematinis teiginys
Matematika ir logikaKūno charakteristika ir pirminiai pokūniai

Kūno charakteristika yra nulis, jei nėra teigiamo n, tenkinančio n·1=0; priešingu atveju jo charakteristika yra pirminis skaičius p.

Apibrėžimas
Matematika ir logikaVienareikšmio skaidymo ir pagrindinių idealų sritys

Vientisumo srityje neskaidomieji elementai yra nenuliniai neapverčiamieji elementai, kurių negalima išskaidyti į dviejų neapverčiamųjų elementų sandaugą; pirminiai elementai dalija sandaugą tik tada, kai dalija vieną iš jos daugiklių.

Matematinis teiginys
Matematika ir logikaEuklidinė dalyba ir sričių hierarchija

Euklidinėje srityje nenuliniams elementams apibrėžtas neneigiamas sveikasis dydis d, leidžiantis dalybą b=aq+r, kai r=0 arba d(r)<d(a), ir tenkinantis d(a)≤d(ab).

Matematinis teiginys
Matematika ir logikaKūno plėtinio laipsnis ir bokšto dėsnis

Kai F⊆K yra kūnai, plėtinio laipsnis [K:F] yra dim_F K.

Matematinis teiginys
Matematika ir logikaAlgebriniai elementai ir minimalieji daugianariai

Algebrinis elementas α yra nenulinio daugianario virš kūno F šaknis.

Matematinis teiginys
Matematika ir logikaBaigtiniai kūnai ir jų konstravimas daugianariais

Baigtinis kūnas turi pⁿ elementų, kur p yra pirminis skaičius, o n≥1; kiekvienam tokiam elementų skaičiui egzistuoja vienintelis kūnas izomorfizmo tikslumu.

Matematinis teiginys
Matematika ir logikaBaigtinė Galua atitiktis

Skaidymo kūną generuoja visos daugianario šaknys; separabiliojo daugianario šaknys yra skirtingos.

Matematinis teiginys
Matematika ir logikaSkaliariniai ir vektoriniai kreiviniai integralai

Išilgai dalimis C¹ glotnaus reguliaraus kelio r(t) skaliarinis integravimas apibrėžiamas formule ∫C f ds=∫f(r(t))‖r′(t)‖dt, o vektorinis integravimas – formule ∫C F·dr=∫F(r(t))·r′(t)dt.

Metodas
MetodasPatikrinta pagal šaltinius

Parametrinė ir empirinė saviranka

Matematika ir logika

Statistika T iš naujo apskaičiuojama daugelyje modeliuojant sugeneruotų n dydžio duomenų rinkinių.

Esminės žinios

Statistika T iš naujo apskaičiuojama daugelyje modeliuojant sugeneruotų n dydžio duomenų rinkinių. Parametrinės savirankos imtys generuojamos pagal priderintą modelį; empirinės savirankos imtys sudaromos iš stebėtų reikšmių, atrenkant su grąžinimu. Pakartotinai gautų T reikšmių standartinis nuokrypis yra šios statistikos imties standartinės paklaidos įvertis.

Sąlygos ir taikymo ribos

  • Įprasta empirinė schema modeliuoja nepriklausomų ir vienodai pasiskirsčiusių dydžių imties sudarymą ir reikalauja, kad statistika tenkintų atitinkamas reguliarumo sąlygas.
  • Dėl priklausomybės, ribinių ar ekstremaliųjų reikšmių statistikų ir netinkamos modelio specifikacijos gali prireikti kitos schemos; modeliuojant sugeneruotos pakartotinės imtys savaime nepriklausomai nepatvirtina modelio pagrįstumo.
Šaltiniai · 1

Šaltiniai

Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.

  1. STATS 200, Lecture 19: The bootstrapZhou Fan / Stanford UniversityPaskaitų medžiaga · PDFweb.stanford.eduSkaityti šaltinį

Pagrindimas ir peržiūra

Paskaitos 19 skaidrėse 10–14 pateikti savirankos algoritmai, o skaidrėse 16–20 – netinkamos modelio specifikacijos palyginimas.

2026-10-10 · Nepriklausoma DI redakcinė peržiūra: perskaityti visi 241 glaustai suformuluotas teiginys, hipotezės, atskirai pateiktos lygtys ir sutartinės nuostatos bei visos 596 iš šių įrašų išeinančios semantinės sąsajos; peržiūrėta visa autoriaus 241 įrašo tikslių šaltinių patikros matrica ir nurodyti apribojimai. Siekiant aprėpti visą įrašų rinkinį, perskaityti ankstesni 105 faktiniai perimti matematikos ir informacijos įrašai. Tiksliniai nepriklausomai peržiūrėti pirminių šaltinių skyriai išvardyti toliau; tai NEREIŠKIA, kad kiekvieno cituojamo šaltinio visas tekstas ar kiekvienas įrodymas buvo nepriklausomai perskaitytas iš naujo. Tai DI atlikta informacinio turinio peržiūra, o ne žmogaus atliekamas dalykinis patvirtinimas, išsamus vadovėlio atkūrimas ar eksperimentinis pakartojimas. Patvirtinimo įrašas: mathematics-information-independent-content-review.1.

Įrašo informacijaNuolatinė nuoroda į šį įrašą ↗
Įrašo identifikatorius
math-bootstrap-standard-error
Versija
university-core.1
Struktūruotas žinyno įrašas
Universitetinių pagrindų plėtra