Browsing Bakalaura un maģistra darbi (FMOF) / Bachelor's and Master's theses by Author "Valainis, Aigars"

Now showing items 1-3 of 3

    • Rezolūcijas teorijas lietojums pirmās kārtas loģikā 

      Valainis, Aigars (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 ...

    • Rīgas jūras līča fizikālo parametru vertikālā sadalījuma modelēšana 

      Valainis, Aigars (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ā ...

    • Straumes mērījumi un piekrastes hidrodinamikas modelēšana Liepājas ostas apkārtnē 

      Valainis, Aigars (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 ...