Ž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šų: 1–30 iš 204
Sukurkite patikrinamą fizikos tyrimo įrašą, patikrinkite ir patikslinkite vežimėlio modelį su apibrėžtomis ribomis, išsaugokite duomenų apdorojimo istoriją ir suplanuokite, kaip užtikrinti duomenų surandamumą bei tinkamas dalijimosi sąlygas.
MetodasMatematika ir logika · InformacijaKlasikiniai teiginiai ir loginės jungtysKlasikinė logika jungia tiesos vertes turinčius teiginius apibrėžtomis loginėmis jungtimis.
ApibrėžimasMatematika ir logika · InformacijaAibės, priklausymas ir pagrindinės operacijosAibė nusako elementų priklausymą, neatsižvelgiant į pakartotinį tų pačių elementų išvardijimą.
ApibrėžimasMatematika ir logika · InformacijaFunkcijos, apibrėžimo sritis ir kodomenasFunkcija kiekvienam savo apibrėžimo srities elementui priskiria lygiai vieną reikšmę.
ApibrėžimasMatematika ir logika · InformacijaMatematinė indukcijaIndukcijos bazė ir bendrasis indukcijos žingsnis leidžia įrodyti, kad predikatas teisingas visiems neneigiamiems sveikiesiems skaičiams.
MetodasMatematika ir logika · InformacijaKompleksiniai skaičiaiKompleksinis skaičius turi realiąsias koordinates a ir b bei menamąjį vienetą, tenkinantį lygybę i²=−1.
ApibrėžimasMatematika ir logika · Informacija · FizikaTiesiniai atvaizdžiai ir jų matricinis vaizdavimasTiesinis atvaizdis išsaugo tiesinius darinius ir, pasirinkus bazes, turi matricą.
ApibrėžimasMatematika ir logika · InformacijaTikimybinė erdvė ir aksiomosTikimybė įvykiams priskiria neneigiamus, normuotus svorius; poromis nesutaikomų įvykių skaičiosios sąjungos svoris yra tų įvykių svorių suma.
ApibrėžimasMatematika ir logika · InformacijaSąlyginė tikimybė ir nepriklausomumasSąlygojant apsiribojama teigiamos tikimybės įvykiu.
ApibrėžimasMatematika ir logika · InformacijaDiskrečiojo atsitiktinio dydžio matematinė viltisMatematinė viltis – tai galimų reikšmių suma, kurioje kiekvienos reikšmės svoris yra jos tikimybė.
ApibrėžimasInformacija · Matematika ir logikaBitai ir dvejetainis kodavimas be ženkloBitas turi dvi galimas būsenas; fiksuoto ilgio dvejetainis žodis be ženklo koduoja sveikąjį skaičių.
ApibrėžimasInformacija · Matematika ir logikaDiskrečiojo skirstinio Šenono entropijaŠenono entropija matuoja neapibrėžtį nurodytame tikimybių skirstinyje.
ApibrėžimasInformacijaAlgoritmas ir sprendimo procedūraAlgoritmas nusako efektyviai įvykdomus žingsnius; sprendimo procedūra turi baigti darbą su kiekviena leistina įvestimi.
MetodasInformacija · Matematika ir logikaSustojimo problemos neišsprendžiamumasBendrajame skaičiavimo modelyje nėra visur apibrėžto algoritmo, kuris nustatytų, ar programa sustos, kiekvienai programai ir įvesčiai.
Matematinis teiginysInformacija · Matematika ir logikaAsimptotiniai viršutiniai rėžiai ir didysis ODidysis O nusako augimo viršutinį rėžį: nuo tam tikro įvesties dydžio nagrinėjama funkcija neviršija pastoviu daugikliu padaugintos palyginamosios funkcijos.
ApibrėžimasInformacijaBaigtinių abėcėlių tarpusavio informacijaTarpusavio informacija matuoja statistinę priklausomybę bitais.
ApibrėžimasInformacijaBeveik be nuostolių atliekamo šaltinio kodavimo slenkstisEntropija riboja nepriklausomų ir vienodai pasiskirsčiusių simbolių šaltinio asimptotinį glaudinimą.
Matematinis teiginysInformacijaDiskrečiojo kanalo be atminties pralaidumasPralaidumas yra didžiausia asimptotiškai patikimo perdavimo sparta.
Matematinis teiginysInformacijaHamingo atstumas ir klaidų taisymasPakankamas atstumas tarp kodinių žodžių leidžia atkurti pradinius duomenis, kai simbolių klaidų skaičius neviršija nustatytos ribos.
Matematinis teiginysInformacijaInterneto protokolų sluoksniaiProtokolų sluoksniai paskirsto ryšio funkcijas.
ApibrėžimasInformacijaTCP patikimas baitų srauto perdavimasTCP užtikrina baitų eiliškumą ir pakartotinai perduoda duomenis, kurių praradimas aptiktas.
MetodasInformacijaŠifravimas, maišos funkcijos ir pranešimų autentifikavimasKriptografiniai primityvai skirti skirtingoms saugumo savybėms užtikrinti.
ApibrėžimasInformacijaViešojo rakto skaitmeniniai parašaiPasirašymo ir tikrinimo raktai atlieka skirtingus vaidmenis.
ApibrėžimasInformacijaApskaičiuojamieji suvedimai ir neišsprendžiamumasSuvedimo kryptis lemia, kuris neįmanomumo rezultatas perkeliamas.
Matematinis teiginysInformacijaSprendimo uždavinių klasės P ir NPSprendimas per polinominį laiką ir tikrinimas per polinominį laiką skiriasi.
ApibrėžimasInformacijaNP sunkumas ir NP pilnumasNP pilnumas sujungia patikrinamumą ir redukcijomis nusakomą sunkumą.
ApibrėžimasInformacijaAtsitiktiniai skaičiavimai su ribota klaidos tikimybeAtsitiktiniai pasirinkimai leidžia turėti nurodytą klaidos tikimybę.
ApibrėžimasInformacijaBaigtiniai grafai ir medžiaiGrafai vaizduoja porinius ryšius; medžiams taikoma acikliškumo sąlyga.
ApibrėžimasInformacijaDuomenų struktūrų sąsajos ir operacijų sąnaudosSąsaja apibrėžia operacijas; įgyvendinimas lemia sąnaudas.
MetodasInformacijaCiklo invariantai ir visiškas korektiškumasInvariantas nustato korektiškumą tik įvykdžius jam taikomas įrodymo pareigas.
Metodas