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šų: 121–150 iš 360

Matematika ir logikaSkaitinio uždavinio sąlygotumas

Sąlygotumas nusako tikslaus atsakymo jautrumą duomenų trikdžiams.

Apibrėžimas
Matematika ir logikaTiesioginė paklaida, atgalinė paklaida ir stabilumas

Tiesioginė paklaida nusako apskaičiuoto atsakymo skirtumą nuo tikslaus atsakymo.

Apibrėžimas
Matematika ir logikaNiutono iteracija skaliarinei šakniai rasti

Niutono iteracijoje naudojama formulė xₖ₊₁=xₖ−f(xₖ)/f′(xₖ).

Metodas
Matematika ir logikaLU skaidymas ir trikampių sistemų sprendimas

LU skaidymas išreiškia A=LU, kur L yra apatinė trikampė matrica su vienetais pagrindinėje įstrižainėje, o U – viršutinė trikampė matrica.

Metodas
Matematika ir logikaEliminavimas su daliniu pagrindinio elemento parinkimu

Taikant dalinį pagrindinio elemento parinkimą, prieš eliminuojant po juo esančius elementus sukeičiamos eilutės, kad pagrindinio elemento stulpelyje būtų pasirinktas didžiausio modulio prieinamas elementas.

Metodas
Matematika ir logikaOrtogonaliosios matricos ir QR skaidymas

Realioji ortogonalioji kvadratinė matrica Q tenkina lygybę QᵀQ=I ir išsaugo euklidinius ilgius.

Matematinis teiginys
Matematika ir logikaSąlygotumo skaičius ir tiesinės sistemos trikdžiai

Kai A yra apgręžiama ir naudojama indukuotoji matricos norma, κ(A)=‖A‖‖A⁻¹‖.

Matematinis teiginys
Matematika ir logikaLagranžo teorema ir elementų eilės

Baigtinei grupei G ir jos pogrupiui H galioja |G|=[G:H]|H|.

Matematinis teiginys
Matematika ir logikaPirmoji izomorfizmo teorema

Grupių homomorfizmo φ:G→H branduolys ker φ yra normalusis pogrupis, o G/ker φ yra izomorfiška im φ pagal atvaizdį g ker φ↦φ(g).

Matematinis teiginys
Matematika ir logikaGauso eliminavimas ir suderinamumas

Eilučių sukeitimas, eilutės dauginimas iš nenulinio skaliaro ir kitos eilutės kartotinio pridėjimas nekeičia tiesinių lygčių sistemos sprendinių aibės.

Metodas
Matematika ir logikaDeterminantai ir apverčiamumas

Kai Aᵢⱼ sudaroma išbraukus i eilutę ir j stulpelį, skleidžiant pagal algebrinius papildinius gaunama det A=Σⱼ(−1)ⁱ⁺ʲaᵢⱼdet Aᵢⱼ, pradedant nuo det[a]=a.

Matematinis teiginys
Matematika ir logikaEuklidinė skaliarinė sandauga ir ortogonalumas

Kai x,y∈Rⁿ, ⟨x,y⟩=Σxᵢyᵢ ir ‖x‖=√⟨x,x⟩.

Apibrėžimas
Matematika ir logikaMažiausieji kvadratai ir ortogonaliosios liekanos

‖Ax−b‖₂² minimizuojantys sprendiniai tenkina Aᵀ(Ax−b)=0, todėl jų liekana yra ortogonali stulpelių erdvei.

Metodas
Matematika ir logikaInterpoliavimas ir jautrumas mazgams

Interpoliuojant parenkama p, kad p(tᵢ)=yᵢ nurodytuose skirtinguose mazguose.

Metodas
Matematika ir logikaSudėtinė trapecijų kvadratūra

Padalijus intervalą į n lygių dalinių intervalų, kurių h=(b−a)/n, trapecijų metodo įvertis yra T=h[f(a)/2+Σᵢ₌₁ⁿ⁻¹f(a+ih)+f(b)/2].

Artinys
Matematika ir logikaEulerio laiko žingsniai ir paklaidų eilės

Eulerio metodo žingsnis lygčiai y′=f(t,y) apskaičiuojamas pagal formulę yₖ₊₁=yₖ+hf(tₖ,yₖ).

Artinys
Matematika ir logikaKlasikinis ketvirtosios eilės Rungės–Kutos metodas

Apibrėžkime k₁=hf(t,y), k₂=hf(t+h/2,y+k₁/2), k₃=hf(t+h/2,y+k₂/2), k₄=hf(t+h,y+k₃); tuomet y_next=y+(k₁+2k₂+2k₃+k₄)/6.

Artinys
Matematika ir logikaPirmosios eilės lygtys su atskiriamaisiais kintamaisiais

Lygties y′=f(t)g(y) srityje, kurioje g(y)≠0, integruojant dy/g(y)=f(t)dt gaunamas neišreikštinis sprendinys.

Metodas
Matematika ir logikaIntegruojančiojo daugiklio metodas

Kai p ir q yra tolydžios funkcijos, μ(t)=exp(∫p(t)dt) lygtį y′+p(t)y=q(t) paverčia lygtimi (μy)′=μq.

Metodas
Matematika ir logikaAntrosios eilės lygtys su pastoviais koeficientais

Lygties ay″+by′+cy=0, kai a≠0, sprendinių pavidalus nusako lygties ar²+br+c=0 šaknys: skirtingas realiąsias šaknis atitinka eʳ¹ᵗ,eʳ²ᵗ; kartotinę šaknį atitinka eʳᵗ,teʳᵗ; jungtines šaknis α±iβ atitinka eᵅᵗcos βt,eᵅᵗsin βt.

Metodas
Matematika ir logikaVienalytės lygties ir atskirasis sprendiniai

Tiesinės lygties Ly=f bet kurio vieno atskirojo sprendinio yₚ ir bendrojo vienalytės lygties sprendinio y_c suma duoda visus sprendinius y=y_c+yₚ.

Metodas
Matematika ir logikaVietinės pusiausvyros ir linearizuotas stabilumas

C¹ klasės plokštuminėje autonominėje sistemoje pusiausvyros yra vektorinio lauko nuliai.

Metodas
Matematika ir logikaFurjė koeficientai ir taškinis konvergavimas

2L periodinei dalimis glodžiai realiajai funkcijai f: aₙ=L⁻¹∫₋ᴸᴸf(t)cos(nπt/L)dt ir bₙ=L⁻¹∫₋ᴸᴸf(t)sin(nπt/L)dt.

Matematinis teiginys
Matematika ir logikaVienpusė Laplaso transformacija ir išvestinės

Vienpusė Laplaso transformacija yra F(s)=∫₀∞e⁻ˢᵗf(t)dt.

Metodas
Matematika ir logikaŠilumos lygtis intervale: kintamųjų atskyrimas

Lygties u_t=κu_xx intervale 0<x<L, kai temperatūra intervalo galuose lygi nuliui, kintamųjų atskyrimas duoda modas sin(nπx/L)e⁻κ⁽ⁿπ/L⁾²ᵗ.

Metodas
Matematika ir logikaD’Alembert’o sprendinys su įtvirtintais galais

Lygties u_tt=c²u_xx intervale [0,L], kai poslinkis galuose lygus nuliui, pradinį poslinkį f ir greitį g pratęskite iki nelyginių 2L periodo funkcijų F,G.

Metodas
Matematika ir logikaBaigtinių matmenų atvirkštinės funkcijos teorema

Jei C¹ atvaizdžio f:U⊆Rⁿ→Rⁿ išvestinė taške a∈U yra apverčiama, tai jo apribojimas yra C¹ bijekcija tarp taškų a ir f(a) aplinkų, turinti C¹ atvirkštinį atvaizdį, ir D(f⁻¹)(f(a))=[Df(a)]⁻¹.

Matematinis teiginys
Matematika ir logikaBaigtinių matmenų neišreikštinės funkcijos teorema

Jei C¹ atvaizdis F:U⊆Rⁿ×Rᵐ→Rᵐ tenkina F(a,b)=0, o dalinė išvestinė D_yF(a,b) yra apverčiama, tai netoliese esančius nulius vienareikšmiškai nusako y=g(x), kur g yra C¹ ir g(a)=b.

Matematinis teiginys
Matematika ir logikaSigma algebros ir matai

Sigma algebra apima visą erdvę ir yra uždara papildinių bei skaičiųjų sąjungų atžvilgiu.

Apibrėžimas
Matematika ir logikaMačiosios funkcijos

Atvaizdis tarp mačiųjų erdvių yra matusis, kai kiekvienos mačiosios aibės reikšmių erdvėje pirmavaizdis yra matusis.

Apibrėžimas