Pages
-
-
Teorija redova čekanja
-
Tea Crnobrnja U svakodnevnom životu susrećemo se s raznim oblicima čekanja u redu. Teorija redova čekanja je grana matematike koja proučava kako se redovi formiraju, kako funkcioniraju te ima li problema u njihovom funkcioniranju. Cilj teorije redova čekanja je dizajniranje uravnoteženih sustava koji služe korisnicima brzo i učinkovito, ali ne koštaju previše da bi bili održivi. Na početku rada upoznali smo se s osnovnim pojmovima i oznakama potrebnim za razumijevanje rada. Bavili smo se...
-
-
Teorija relacijskih baza podataka u Coqu
-
Marko Rajković U ovom ćemo radu promatrati i prezentirati formalizaciju relacijskog modela podataka u Coqu koji je temelj relacijskih baza podataka. Preciznije rečeno, bavit ćemo se formalizacijom onog dijela relacijskog modela podataka koji se odnosi na strukturu podataka, zatim ćemo prezentirati modeliranje dvaju jezika za upite i optimizacije tih jezika i na kraju ćemo promatrati očuvanje integriteta baze podataka gdje ćemo se baviti funkcionalnim ovisnostima
-
-
Teorija slučajnih matrica i Riemannova zeta - funkcija
-
Andrea Behin Teorija slučajnih matrica je grana matematike motivirana ostalim područjima matematike i fizike poput kvantne mehanike, linearne algebre i matematičke statistike. Na početku rada definirali smo slučajne matrice i naveli motivaciju za njihovo uvođenje.
Posebno smo razmotrili svojstvene vrijednosti takvih matrica i njihova svojstva te opisali Gaussov model slučajnih matrica za koji je moguće dati eksplicitno rješenje za zajedničku funkciju gustoće njezinih svojstvenih...
-
-
Testovi prostosti
-
Magdalena Moguš Tema ovog rada bit će testovi prostosti. Testove prostosti dijelimo na determinističke i vjerojatnosne. Sukladno tome, rad je podijeljen na dva dijela. Najprije ćemo obraditi probno dijeljenje, Wilsonov teorem, Lucas-Lehmerov test, Pepinov test, AKS test
te GK i ECPP algoritme koji pripadaju determinističkim testovima prostosti. Zatim ćemo obraditi Fermatov test prostosti, Jaki Fermatov test, Pocklington–Lehmerov test, MillerRabinov test i Solovay-Strassenov test prostosti koji...
-
-
Text-To-Image Stable Diffusion Model
-
Ivan Lazić U ovom radu ćemo objasniti način funkcioniranja text-to-image modela i pokazati primjer kontrole Stable Diffusion modela pomoću ControlNet modela. Prije opisa rada spomenutih modela, proći ćemo kroz njihovu povijest. Nakon toga ćemo opisati način rada
i matematičku pozadinu modela Stable Diffusion. Na kraju ćemo u grafičkom sučelju ComfyUI pokazati nekoliko primjera generiranja i poboljšanja kvalitete slike i kontrole Stable Diffusion modela predprocesorima kako bi preciznije...
-
-
Topološki prostori s naglaskom na topologije definirane na skupu R
-
Iva Brković U ovom završnom radu baviti ćemo se topološkim prostorima i upoznati se s pripadnim topologijama. U prvom poglavlju uvesti ćemo pojam topologije i topološkog prostora, definirati ćemo bazu i podbazu topologije i izvesti nekoliko rezultata vezanih uz bazu koje ćemo koristiti u narednim poglavljima. Drugo poglavlje bavi se topologijama definiranim na skupu R te pripadnim bazama. U preostalim poglavljima proučiti ćemo uređajnu, produktnu te relativnu topologiju.
-
-
Transformacije diskretnih i neprekidnih slučajnih varijabli
-
Maja Krajnović Transformacije slučajnih varijabli vrlo su bitne u teoriji vjerojatnosti jer nam omogućavaju
lakše rješavanje različitih vjerojatnosnih problema. U ovom radu ćemo se prvo upoznati s nekim
osnovnim pojmovima, definicijama i teoremima kako bismo mogli shvatiti što su i čemu
služe transformacije slučajnih varijabli. Vidjet ćemo da sva vjerojatnosna svojstva slučajne varijable
X možemo opisati pomoću njene funkcije distribucije F, odnosno pomoću njene tablice
...
-
-
Transformer arhitektura
-
Ramal Salha U ovom ćemo radu objasniti kako radi transformer arhitektura. Kako možemo pojedine slojeve arhitekture sami implementirati u poznatoj biblioteci za izradu neuronskih mreža PyTorch. Nakon toga pokazat ćemo kako možemo iskoristiti našu implementaciju
da izgradimo prevoditelj hrvatskog na engleski jezik.
-
-
Transportni sloj računalne mreže
-
Roko Erceg U ovom radu bavimo se transportnim slojem računalne mreže. Analiziramo usluge transportnog sloja, te protokole transportnog sloja. U prvom poglavlju pojašnjavamo gdje se unutar mrežne arhitekture nalazi transportni sloj. U drugom poglavlju detaljno opisujemo usluge i elemente transportnog sloja te probleme s kojima se suočavamo u ovom sloju. U trećem poglavlju dajemo dva primjera protokola transportnog sloja, UDP i TCP. Detaljno opisujemo kako ovi protokoli obavljaju zadatke...
-
-
Transpozicijske šifre
-
Kristina Rošić Glavna tema ovog rada su transpozicijske šifre. Pomoću njih obavlja se šifriranje,
odnosno dešifriranje podataka. Ideja transpozicijske šifre je da elementi otvorenog
teksta ostanu nepromijenjeni, ali da se promijeni njihov medusobni položaj.
U prvome dijelu rada definirani su osnovni pojmovi kao sto su kriptologija,
kriptografija i kriptoanaliza te objašnjen postupak šifriranja i dešifriranja. Nakon
formalne definicije transpozicijske šifre, naveden je i primjer skitala, prve...
-
-
Trapezno i Simpsonovo pravilo
-
Marin Bibković Tema ovog završnog rada je numerička integracija. Promatramo trapezno pravilo te generalizirano trapezno pravilo kao najjednostavniju metodu numeričke integracije. Obrađujemo Newton-Cotesovu formulu, te poseban slučaj te formule, koji predstavlja Simpsonovo pravilo i njegovu generalizaciju. Kroz primjere i zadatke ćemo prikazati rješenja postavljenih problema.
-
-
Trigonometrija u nastavi matematike i GeoGebra u motivaciji učenja trigonometrije
-
Katarina Valentić U diplomskom radu obrađena je trigonometrija u nastavi matematike srednje škole zajedno
sa programom GeoGebra koji pomaže u učenju matematike ali i svih predmeta STEM
područja. GeoGebra pomaže vizualizirati matematiku i približava matematičke koncepte te
na lakši i brži način pomaže u savladavanju gradiva. Navedeni su GeoGebra apleti koji prate
gradivo udžbenika za 2. i 3. razred srednje škole (gimnazije i tehničkih škola).
Pages