Žinių pagrindai

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.

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

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

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

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

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

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

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

Sąlygojant apsiribojama teigiamos tikimybės įvykiu.

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

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

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

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

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

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

Tarpusavio informacija matuoja statistinę priklausomybę bitais.

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

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

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

Protokolų sluoksniai paskirsto ryšio funkcijas.

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

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

Pasirašymo ir tikrinimo raktai atlieka skirtingus vaidmenis.

Suvedimo kryptis lemia, kuris neįmanomumo rezultatas perkeliamas.

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

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

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

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

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

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