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šų: 1–30 iš 204

Fizika · Informacija · MatavimasMokslinių tyrimų įrašai

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.

Metodas
Matematika ir logika · InformacijaKlasikiniai teiginiai ir loginės jungtys

Klasikinė logika jungia tiesos vertes turinčius teiginius apibrėžtomis loginėmis jungtimis.

Apibrėžimas
Matematika ir logika · InformacijaAibės, priklausymas ir pagrindinės operacijos

Aibė nusako elementų priklausymą, neatsižvelgiant į pakartotinį tų pačių elementų išvardijimą.

Apibrėžimas
Matematika ir logika · InformacijaFunkcijos, apibrėžimo sritis ir kodomenas

Funkcija kiekvienam savo apibrėžimo srities elementui priskiria lygiai vieną reikšmę.

Apibrėžimas
Matematika ir logika · InformacijaMatematinė indukcija

Indukcijos bazė ir bendrasis indukcijos žingsnis leidžia įrodyti, kad predikatas teisingas visiems neneigiamiems sveikiesiems skaičiams.

Metodas
Matematika ir logika · InformacijaKompleksiniai skaičiai

Kompleksinis skaičius turi realiąsias koordinates a ir b bei menamąjį vienetą, tenkinantį lygybę i²=−1.

Apibrėžimas
Matematika ir logika · Informacija · FizikaTiesiniai atvaizdžiai ir jų matricinis vaizdavimas

Tiesinis atvaizdis išsaugo tiesinius darinius ir, pasirinkus bazes, turi matricą.

Apibrėžimas
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
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
InformacijaAlgoritmas ir sprendimo procedūra

Algoritmas nusako efektyviai įvykdomus žingsnius; sprendimo procedūra turi baigti darbą su kiekviena leistina įvestimi.

Metodas
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
InformacijaBaigtinių abėcėlių tarpusavio informacija

Tarpusavio informacija matuoja statistinę priklausomybę bitais.

Apibrėžimas
InformacijaBeveik be nuostolių atliekamo šaltinio kodavimo slenkstis

Entropija riboja nepriklausomų ir vienodai pasiskirsčiusių simbolių šaltinio asimptotinį glaudinimą.

Matematinis teiginys
InformacijaDiskrečiojo kanalo be atminties pralaidumas

Pralaidumas yra didžiausia asimptotiškai patikimo perdavimo sparta.

Matematinis teiginys
InformacijaHamingo atstumas ir klaidų taisymas

Pakankamas atstumas tarp kodinių žodžių leidžia atkurti pradinius duomenis, kai simbolių klaidų skaičius neviršija nustatytos ribos.

Matematinis teiginys
InformacijaInterneto protokolų sluoksniai

Protokolų sluoksniai paskirsto ryšio funkcijas.

Apibrėžimas
InformacijaTCP patikimas baitų srauto perdavimas

TCP užtikrina baitų eiliškumą ir pakartotinai perduoda duomenis, kurių praradimas aptiktas.

Metodas
InformacijaŠifravimas, maišos funkcijos ir pranešimų autentifikavimas

Kriptografiniai primityvai skirti skirtingoms saugumo savybėms užtikrinti.

Apibrėžimas
InformacijaViešojo rakto skaitmeniniai parašai

Pasirašymo ir tikrinimo raktai atlieka skirtingus vaidmenis.

Apibrėžimas
InformacijaApskaičiuojamieji suvedimai ir neišsprendžiamumas

Suvedimo kryptis lemia, kuris neįmanomumo rezultatas perkeliamas.

Matematinis teiginys
InformacijaSprendimo uždavinių klasės P ir NP

Sprendimas per polinominį laiką ir tikrinimas per polinominį laiką skiriasi.

Apibrėžimas
InformacijaNP sunkumas ir NP pilnumas

NP pilnumas sujungia patikrinamumą ir redukcijomis nusakomą sunkumą.

Apibrėžimas
InformacijaAtsitiktiniai skaičiavimai su ribota klaidos tikimybe

Atsitiktiniai pasirinkimai leidžia turėti nurodytą klaidos tikimybę.

Apibrėžimas
InformacijaBaigtiniai grafai ir medžiai

Grafai vaizduoja porinius ryšius; medžiams taikoma acikliškumo sąlyga.

Apibrėžimas
InformacijaDuomenų struktūrų sąsajos ir operacijų sąnaudos

Sąsaja apibrėžia operacijas; įgyvendinimas lemia sąnaudas.

Metodas
InformacijaCiklo invariantai ir visiškas korektiškumas

Invariantas nustato korektiškumą tik įvykdžius jam taikomas įrodymo pareigas.

Metodas
ApibrėžimasPatikrinta pagal šaltinius

Bitai ir dvejetainis kodavimas be ženklo

InformacijaMatematika ir logika

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

Esminės žinios

Dvejetainis skaitmuo įgyja vertę 0 arba 1. n bitų poziciniame kodavime be ženklo bitas i prisideda dydžiu bᵢ2ⁱ, o dešiniausiam bitui i=0. n bitų žodis vaizduoja sveikąjį skaičių nuo 0 iki 2ⁿ−1.

Vertės ir lygtys

N = Σᵢ₌₀ⁿ⁻¹ bᵢ2ⁱ; 0 ≤ N ≤ 2ⁿ−1

N
Užkoduotas neneigiamas sveikasis skaičius
n
Teigiamas žodžio ilgis bits
bᵢ
Skaitmuo i pozicijoje: 0 arba 1
i
Bito pozicija, skaičiuojama nuo nulio dešinėje

Sąlygos ir taikymo ribos

  • n yra teigiamas sveikasis skaičius, o bᵢ yra 0 arba 1.
  • Tai pozicinis interpretavimas be ženklo; skaičiams su ženklu, tekstui ir kitiems duomenims reikia aiškiai nurodyto kodavimo.
  • Vien saugomų bitų skaičius nenusako Šenono entropijos.
Šaltiniai · 2

Šaltiniai

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

  1. Introduction to Computer Science, 5.3: Machine-level information representationOpenStaxVadovėlio skyriusopenstax.orgSkaityti šaltinį
  2. COMP1521 · Integers (23T2)UNSW SydneyMokomoji medžiagacgi.cse.unsw.edu.auSkaityti šaltinį

Pagrindimas ir peržiūra

Pozicinis kodavimas be ženklo ir juo atvaizduojamų reikšmių diapazonas.

2026-10-10 · Patikrintos bitų pozicijos ir skirtumas tarp bitų sekos ir jos interpretacijos.

Pagrindinių žinių peržiūra

2026-10-10 · Fresh primary-source inspection of the complete compact record, including every statement, equation, quantity and material condition, followed by independent AI editorial review. This check does not certify all linked lessons or every passage of every cited publication.

Šaltiniai iš kitų vietų

Skiriasi taikymo ribos ar susitarimas

Binary digits carry powers-of-two positional weights.

The repository finite-width range and entropy distinction are additional explicit qualifications.

  • UNSW Sydney, School of Computer Science and Engineering

Įrašo informacijaNuolatinė nuoroda į šį įrašą ↗
Įrašo identifikatorius
info-binary-encoding
Versija
core.1
Struktūruotas žinyno įrašas
Esminiai pagrindai · pirmasis rinkinys