uros-stegic / msnr-projekat

msnr-projekat

msnr-projekat's Issues

Neke slike su vise tabele nego slike.

Referisanje na sekcije

Као што jе речено у уводном делу, ---> u uvodnom delu rada
ili ovog
poglavlja? U strucnim radovima se zato uvek kaze "kao sto je receno u
poglavlju XY"
Takodje, ne koristi se u prethodnom poglavlju, vec, ponovo, sa
odgovarajucim brojem.

Поглавље шест се бави овим применама. ---> umesto
slovima treba broj
koji je ujedno i link na poglavlje 6

Citati

\cite{a,b} umesto \cite{a} \cite{b}
Citat uvek treba da je pre tacke

подобласти[10]. ---> подобласти [10].

Primer koda

U funkciji primer bilo bi dobro deklarisati x i y, jer za tipove
razlicitih opsega ovaj kod moze da dodje u stanje greske (iako se u
teoriji linearne aritmetike njihova sirina ne razmatra, nije lose da
osobina na kojoj radite bude konzistentna).

Nedostaju citati za tehnike staticke verifikacije.

Sitne greske pri kucanju

мерим ---> мери

Маргина (b 1 1, b 1 2) ---> podesiti drugi broj da bude dole

verktora ---> vektora

Ako je formula zadovoljiva, to je kontraprimer, ako je nezadovoljiva, onda je sve ok

Reference

Nedostaju informacije za rad 2, 14 i 7. Za referencu 1 pise da je
povucena? Za referencu 16 pise da su atuori Wolfgang i tehnicki
univerzitet u Becu. Proci jos jednom kroz sve reference i srediti ih.