Search
Now showing items 1-3 of 3
Rezolūcijas teorijas lietojums pirmās kārtas loģikā
(Latvijas Universitāte, 2015)
Darbā tiek aplūkota rezolūciju metode, kas balstās pierādījumā no pretējā. Pieradījumā no pretējā tiek parādīts, ka pierādāmās formulas noliegums noved pie pretrunām ar aksiomu sistēmu. Šī darba mērķis ir sniegt rezolūciju ...
Straumes mērījumi un piekrastes hidrodinamikas modelēšana Liepājas ostas apkārtnē
(Latvijas Universitāte, 2007)
Darbs satur straumes mērījumu, kas veikti ar akustisko Doplera straumes profilētāju (ADCP) pie Liepājas ostas 2006. gada rudenī, analīzi. Mērījumi tika veikti krasta aizsardzības inženierprojekta ietvaros. Tie izdarīti ...
Rīgas jūras līča fizikālo parametru vertikālā sadalījuma modelēšana
(Latvijas Universitāte, 2011)
Darbs satur matemātiskā modeļa, kas izveidots Rīgas jūras līča temperatūras un sāļuma vertikālā sadalījuma aprēķinam, aprakstu. Modelis ir balstīts uz siltuma, masas un turbulences kinētiskās enerģijas bilanci augšējā ...