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šų: 31–60 iš 360

Matematika ir logika · FizikaPagrindinė matematinės analizės teorema

Tolydumas susieja diferencijavimą ir integravimą.

Matematinis teiginys
Matematika ir logika · InformacijaTikimybinė erdvė ir aksiomos

Tikimybė įvykiams priskiria neneigiamus, normuotus svorius; poromis nesutaikomų įvykių skaičiosios sąjungos svoris yra tų įvykių svorių suma.

Apibrėžimas
Matematika ir logika · InformacijaSąlyginė tikimybė ir nepriklausomumas

Sąlygojant apsiribojama teigiamos tikimybės įvykiu.

Apibrėžimas
Matematika ir logika · InformacijaDiskrečiojo atsitiktinio dydžio matematinė viltis

Matematinė viltis – tai galimų reikšmių suma, kurioje kiekvienos reikšmės svoris yra jos tikimybė.

Apibrėžimas
Matematika ir logika · MatavimasPopuliacijos vidurkio pasikliautinasis intervalas

Pasikliovimo lygmuo nusako, kokia dalis pakartotinai sudaromų imčių intervalų, gautų taikant intervalų sudarymo procedūrą, apima parametrą.

Metodas
Informacija · Matematika ir logikaBitai ir dvejetainis kodavimas be ženklo

Bitas turi dvi galimas būsenas; fiksuoto ilgio dvejetainis žodis be ženklo koduoja sveikąjį skaičių.

Apibrėžimas
Informacija · Matematika ir logikaDiskrečiojo skirstinio Šenono entropija

Šenono entropija matuoja neapibrėžtį nurodytame tikimybių skirstinyje.

Apibrėžimas
Informacija · Matematika ir logikaSustojimo problemos neišsprendžiamumas

Bendrajame skaičiavimo modelyje nėra visur apibrėžto algoritmo, kuris nustatytų, ar programa sustos, kiekvienai programai ir įvesčiai.

Matematinis teiginys
Informacija · Matematika ir logikaAsimptotiniai viršutiniai rėžiai ir didysis O

Didysis O nusako augimo viršutinį rėžį: nuo tam tikro įvesties dydžio nagrinėjama funkcija neviršija pastoviu daugikliu padaugintos palyginamosios funkcijos.

Apibrėžimas
Matavimas · Matematika ir logikaPirmosios eilės neapibrėžties sklidimas

Sujungti įėjimo dydžių neapibrėžtis taikant matavimo modelį.

Metodas
Matavimas · Fizika · Matematika ir logikaDimensijų suderinamumas

Naudokite dimensijas neįmanomoms fizikinių dydžių lygtims aptikti.

Metodas
Fizika · Matematika ir logikaInvariantinis erdvėlaikio intervalas

Lorenco transformacijos išsaugo bendrą erdvinį ir laikinį atskyrimą.

Modelis
Matematika ir logikaPirmosios eilės predikatai ir kvantoriai

Kvantoriai susaisto kintamuosius nurodytoje srityje.

Apibrėžimas
Matematika ir logikaZFC aibių teorijos sistema

Aibių egzistavimą nusako aiškiai suformuluotos aksiomos ir aksiomų schemos.

Apibrėžimas
Matematika ir logikaRealiųjų skaičių pilnumas

Netuščios iš viršaus aprėžtos realiųjų skaičių aibės turi mažiausius viršutinius rėžius.

Matematinis teiginys
Matematika ir logikaBaigtinės ir skaičiosios aibės

Pagal šį susitarimą skaičiosioms aibėms priskiriamos ir baigtinės aibės.

Apibrėžimas
Matematika ir logikaEkvivalentiškumo sąryšiai ir ekvivalentiškumo klasės

Ekvivalentiškumo sąryšis suskaido aibę į klases.

Apibrėžimas
Matematika ir logikaModeliai, pilnumas ir nepilnumas

Semantinis išplaukimas ir aritmetinis pilnumas yra skirtingos sąvokos.

Matematinis teiginys
Matematika ir logikaSveikųjų skaičių dalumas ir Euklido algoritmas

Kartojant dalybą apskaičiuojamas didžiausias bendrasis daliklis.

Metodas
Matematika ir logikaVienintelis sveikųjų skaičių skaidinys pirminiais dauginamaisiais

Teigiami sveikieji skaičiai, didesni už vienetą, turi vienintelį skaidinį pirminiais dauginamaisiais.

Matematinis teiginys
Matematika ir logikaSveikųjų skaičių aritmetika moduliu n

Lyginys sieja sveikuosius skaičius, kurių skirtumas yra n kartotinis.

Apibrėžimas
Matematika ir logikaKinų liekanų teorema

Tarpusavyje pirminiai moduliai apibrėžia vieną bendrą liekaną.

Matematinis teiginys
Matematika ir logikaGrupės ir Abelio grupės

Grupėje apibrėžta asociatyvi operacija, yra neutralusis elementas ir atvirkštiniai elementai.

Apibrėžimas
Matematika ir logikaGrupių homomorfizmai ir branduoliai

Homomorfizmai išsaugo grupės operaciją.

Apibrėžimas
Matematika ir logikaŽiedai ir susitarimai dėl vieneto

Žiede sudėtis derinama su distributyviąja daugyba.

Apibrėžimas
Matematika ir logikaKūnai ir dalyba

Kūne galima dalyti iš bet kurio nenulinio elemento.

Apibrėžimas
Matematika ir logikaPagrindinė algebros teorema

Nekonstantiniai daugianariai su kompleksiniais koeficientais išskaidomi tiesiniais dauginamaisiais.

Matematinis teiginys
Matematika ir logikaMetrinės erdvės

Metrika apibrėžia atstumą, tenkinantį tris aksiomas.

Apibrėžimas
Matematika ir logikaTopologinės erdvės

Topologija nurodo, kurie poaibiai yra atvirieji.

Apibrėžimas
Matematika ir logikaKompaktiškumas ir baigtiniai podengiai

Kompaktiškumas leidžia iš kiekvieno atvirojo denginio išrinkti baigtinį podengį.

Apibrėžimas