Žinių pagrindai

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.

Skirtingų raktų palyginimams reikia pakankamai šakų, kad būtų galima atskirti jų išsidėstymo tvarkas.

Paieškos grafuose aplanko pasiekiamas viršūnes skirtinga tvarka.

Briaunų svoriai lemia, kuris trumpiausių kelių metodas tinka.

Baigtinis instrukcijų rinkinys gali valdyti veiksmus neribotoje įrašomojoje juostoje.

Sąryšis yra kortežų iš deklaruotų reikšmių sričių aibė.

Išorinė jėga lemia pagal mases pasverto centro pagreitį.

Tenzorius susieja sukimąsi su judesio kiekio momentu.

Kampinis pagreitis su kūnu susietų ašių atžvilgiu apima ir ašių sukimąsi.

Veikimo stacionarumo sąlyga leidžia gauti judėjimo lygtis koordinatėms.

Kanoninių koordinačių ir impulsų kitimą lemia Hamiltono funkcija.

Tankio pokytį atsveria masės srautas per srities ribą.

Idealiajame stacionariajame sraute slėgis, judėjimas ir aukštis yra susiję energijos balansu.

Fluido inerciją atsveria slėgis, klampa ir gravitacija.

Palyginkite srauto inercinius ir klampos mastelius.

Tiesinė grąžinamoji jėga, slopinimas ir periodinis žadinimas lemia atsaką.

Lokali diferencialinė lygtis aprašo mažus stygos trikdžius.

Tiesiniai trikdžiai sumuojami; jų santykinė fazė lemia sustiprėjimą.

Kraštinės sąlygos lemia stovinčiųjų bangų dažnius.

Kampai ties terpių riba priklauso nuo lūžio rodiklių.

Paraksialinėje aproksimacijoje lęšis susieja daikto ir atvaizdo atstumus.

Baigtinis apertūros plotis lemia tamsias tolimojo lauko kryptis.

Idealus analizatorius praleidžia lauko dedamąją, lygiagrečią jo ašiai.

Skaliarinis ir vektorinis potencialai aprašo elektrinį ir magnetinį laukus.

Tiesinė dviejų laidininkų sistema kaupia atskirtą krūvį.

Kintant srovei, kinta susietasis magnetinis srautas ir indukuotoji elektrovara.

Lauko energijos kitimo sparta yra susieta balanso lygtimi su į išorę nukreiptu energijos srautu ir krūviams perduodama galia.

Sutelktųjų parametrų grandinių modeliuose taikomas mazgų srovių ir kontūrų įtampų balansas.