Naslovnica Pretraživanje AAA
IZBORNIK PREDMETA
 
GLAVNI IZBORNIK
 
 
FORMALNE METODE U OBLIKOVANJU SUSTAVA
Šifra: 34401
ECTS: 5
Nositelji: doc. dr. sc. Ante Đerek
izv. prof. dr. sc. Bruno Blašković
Izvođači: doc. dr. sc. Alan Jović - Predavanja
Prijava ispita: Studomat
Engleski jezik:

1,0,0

Nastava se odvija na hrvatskom jeziku u svim svojim elementima, a stranim studentima koji su pridruženi mješovitoj grupi nudi se mogućnost savladavanja predmeta pomoću dodatnih izravnih konzultacija s nastavnikom i asistentima na engleskom jeziku. Pri tome, nastavnik stranog studenta upućuje na odgovarajuću literaturu na engleskom jeziku te mu osigurava mogućnost polaganja predmeta na engleskom jeziku.
OBAVIJESTI
Objavljeno: 21.09.2016. u 15:45

Rezultati dekanskog roka dostupni su na FER-webu.

Studentima su uneseni bodovi iz pismene provjere i objavljena im je ocjena.

 

Uvidi u rezultate dekanskog roka bit će sutra, u četvrtak 22. 9. 2016. u 9:15 u sobi D340 (ZEMRIS).

 

Studenti s ponuđenom prolaznom ocjenu imaju pravo istu odbiti tako da donesu potpisani zahtjev za odbijanje ocjene tajnici zavoda ZEMRIS najkasnije do četvrtka, 22. 9. 2016. u 12:00.

Alan Jović
Objavljeno: 19.09.2016. u 13:24

Pismeni ispit na dekanskom ispitnom roku održat će se u srijedu, 21. 9. 2016. u 8:30 u dvorani D337 (zavod ZEMRIS) za sve prijavljene studente.

 

Pismeni ispit trajat će 150 minuta (2.5 sata). Pismeni ispit nosi najviše 61 bod, a prag za njegov prolaz je 25 bodova. Gradivo na ispitu uključuje gradivo čitavog kolegija.

 

U konačni zbroj bodova osim pismenog ispita ulaze i bodovi ostvareni na kolokvijima iz domaćih zadaća i bodovi iz aktivnosti na kolegiju a ocjene će se dijeliti prema pragovima utvrđenima na kontinuiranim provjerama.

Alan Jović
Objavljeno: 06.09.2016. u 15:55

Rezultati jesenskog roka dostupni su na FER-webu.

Studentima su uneseni bodovi iz pismene provjere i objavljena im je ocjena.

 

Uvidi u rezultate jesenskog roka bit će u četvrtak 8. 9. 2016. u 10:00 u dvorani D337 (ZEMRIS).

 

Studenti s ponuđenom prolaznom ocjenu imaju pravo istu odbiti tako da donesu potpisani zahtjev za odbijanje ocjene tajnici zavoda ZEMRIS najkasnije do četvrtka, 8. 9. 2016. u 12:00.

Alan Jović
Objavljeno: 02.09.2016. u 09:55

Pismeni ispit na jesenskom ispitnom roku održat će se u ponedjeljak, 5. 9. 2016. u 14:45 u dvorani D1 za sve prijavljene studente.

 

Pismeni ispit trajat će 150 minuta (2.5 sata). Pismeni ispit nosi najviše 61 bod, a prag za njegov prolaz je 25 bodova. Gradivo na ispitu uključuje gradivo čitavog kolegija.

 

U konačni zbroj bodova osim pismenog ispita ulaze i bodovi ostvareni na kolokvijima iz domaćih zadaća i bodovi iz aktivnosti na kolegiju a ocjene će se dijeliti prema pragovima utvrđenima na kontinuiranim provjerama.

Alan Jović
Objavljeno: 05.07.2016. u 14:47
Uređeno: 05.07.2016. u 14:47

Rezultati ljetnog roka dostupni su na FER-webu.

Studentima su uneseni bodovi iz pismene provjere i objavljena im je ocjena.

 

Uvidi u rezultate ljetnog roka bit će sutra, u srijedu 6. 7. 2016. u 15:00 u dvorani D337 (ZEMRIS).

 

Studenti s ponuđenom prolaznom ocjenu imaju pravu istu odbiti tako da donesu potpisani zahtjev za odbijanje ocjene tajnici zavoda ZEMRIS najkasnije do četvrtka, 7. 7. 2016. u 12:00.

 

Alan Jović
Objavljeno: 30.06.2016. u 10:34

Pismeni ispit na ljetnom ispitnom roku održat će se u ponedjeljak, 4. 7. 2016. u 14:45 u dvorani D1 za sve prijavljene studente.

Prijave za ljetni rok otvorene su još danas (četvrtak) do 20h.

 

Pismeni ispit trajat će 150 minuta (2.5 sata). Pismeni ispit nosi najviše 61 bod, a prag za njegov prolaz je 25 bodova. Gradivo na ispitu uključuje gradivo čitavog kolegija.

 

U konačni zbroj bodova osim pismenog ispita ulaze i bodovi ostvareni na kolokvijima iz domaćih zadaća i bodovi iz aktivnosti na kolegiju a ocjene će se dijeliti prema pragovima utvrđenima na kontinuiranim provjerama.

Alan Jović
Objavljeno: 28.06.2016. u 15:08

Kolegij nastavnika predmeta "Formalne metode u oblikovanju sustava" pohvaljuje sljedeće studente koji su pokazali iznimne rezultate tijekom semestra:

Tena Perak
Matija Milišić

 

Također pohvaljujemo studente koji su pokazali izniman doprinos tijekom razvoja modela u Promeli:

Ante Žužul
Izabela Gucunski

 

Svim studentima zahvaljujemo na suradnji i želimo uspješno daljnje studiranje.

 

Alan Jović i Bruno Blašković

Alan Jović
Objavljeno: 28.06.2016. u 11:35
Uređeno: 29.06.2016. u 13:59

Rezultati završnog ispita, ukupni bodovi i ocjene na predmetu objavljeni su na FER-webu.

 

Pragovi za ocjene su:

[85-100] - izvrstan (5)

[72-85> - vrlo dobar (4)

[58-72> - dobar (3)

[50-58> - dovoljan (2)

< 50 - nedovoljan (1)

 

Ovakvi pragovi za ocjene bit će zadržani i na ovogodišnjim rokovima.

Uvidi u rezultate završnog ispita bit će sutra, u srijedu 29. 6. 2016. u 12:00 u dvorani D337 (ZEMRIS). Naknadni uvidi neće biti mogući.

 

EDIT: Revidirani su bodovi i ocjene nekim studentima nakon održanih uvida.

 

Rok za odbijanje pozitivne ocjene iz kolegija je četvrtak, 30. 6. 2016. u 10:00. Studenti koji žele odbiti pozitivnu ocjenu trebaju donijeti potpisanu molbu tajnici zavoda ZEMRIS.

 

Alan Jović
Objavljeno: 16.06.2016. u 14:01

Završni ispit održat će se u ponedjeljak, 20. 6. 2016. u 14:45 prema rasporedu objavljenom na FER-webu.

Završni ispit trajat će 120 minuta i nositi najviše 36 bodova, a obuhvaćat će gradivo cijelog kolegija (osim prezentacije 14_Simbolicko_izvrsavanje_programa), s naglaskom na gradivo nakon međuispita. Prag za prolaz na završnom ispitu je 12 bodova.

Na završni ispit smiju pristupiti studenti koji su ispunili sve nužne uvjete iz domaćih zadaća i kratkih provjera znanja, koji su navedeni u uvodnoj prezentaciji (0_Admin.pdf).

 

Alan Jović
Objavljeno: 16.06.2016. u 13:57

Rezultati nadoknada kolokvija iz domaćih zadaća dostupni su na FER-webu.

Ako studenti žele uvid u nadoknadu kolokvija, trebaju se obratiti e-mailom na alan.jovic@fer.hr za 1. i 2. domaću zadaću ili na frano.skopljanac-macina@fer.hr za 3. domaću zadaću radi dogovora o dolasku i to najkasnije do sutra, u petak 17. 6. 2016. u 12:00.

 

Alan Jović
Objavljeno: 15.06.2016. u 12:43

Rezultati kolokvija iz 3. domaće zadaće dostupni su kroz FER web (3. domaća zadaća).

Uvid u zadaće bit će u četvrtak 16.6. u 12:00 na Zavodu ZOEEM (6. kat C zgrade).

Bruno Blašković
Objavljeno: 15.06.2016. u 10:40

Rezultati 3. kratke provjere znanja upisani su u FER-web.

 

Bodovi su dodijeljeni prema broju posve točno riješenih zadataka prema kriteriju:

11-12: 3 boda

8-10: 2 boda

5-7: 1 bod

4 ili manje: 0 bodova

 

U slučaju pogrešno evidentiranog broja bodova, potrebno je poslati mail na alan.jovic@fer.hr najkasnije do četvrtka, 16. 6. 2016.

Alan Jović
Objavljeno: 09.06.2016. u 15:03

Nadoknada kolokvija iz domaćih zadaća za studente koji su izostali s kolokvija iz opravdanih razloga održat će se u iduću srijedu, 15. 6. 2016. u 11:00 u dvorani A111.

Studenti na nadoknadu trebaju donijeti valjano pisano opravdanje za izostanak, ako ga već ranije nisu opravdali nastavnicima.

 

Alan Jović
Objavljeno: 31.05.2016. u 17:50

Rezultati 2. kratke provjere znanja upisani su u FER-web.

 

Bruno Blašković
Objavljeno: 24.05.2016. u 17:38

Treća domaća zadaća poslana je elektroničkom poštom svim studentima. U slučaju da niste dobili elektroničku poštu sa domaćom zadaćom u privitku obavezno se javite na VI kat C zgrade ili pošaljite poruku putem elektroničke pošte.

Studenti trebaju vlastoručno riješiti 3. domaću zadaću.

Treću domaću zadaću studenti su dužni kolokvirati na ispitu u srijedu, 8. lipnja 2016. u 18:00h u dvoranama D1 ili B4, prema rasporedu koji će biti objavljen na stranicama fakulteta. Studenti mogu donijeti vlastoručno napisanu domaću zadaću kako bi uspješnije položili kolokvij. 

Kolokviranje 3. domaće zadaće je obavezno za sve studente, pri čemu je za prolaz kolegija nužno skupiti najmanje 2 boda od mogućih 10 bodova na zadaći. Gradivo na kolokviju uključuje gradivo od 8-10 tjedna (Promela/SPIN).

U slučaju opravdane spriječenosti za pristupanje 3. kolokviju, studenti se trebaju što prije javiti na ZOEEM (Blašković ili Škopljanac), uz navođenje razloga odsutnosti. Za studente koji opravdaju svoj izostanak organizirat će se krajem semestra jedna nadoknada na kojoj je moguće nadoknaditi najviše jedan od tri kolokvija.

 

Bruno Blašković
Objavljeno: 02.05.2016. u 13:01

Rezultati međuispita i rezultati kolokvija iz 2. domaće zadaće dostupni su kroz FER web.

 

Zajednički uvid u međuispit i u kolokvij iz 2. domaće zadaće bit će u srijedu 4. 5. u 12:00 u prostoriji D337.

Alan Jović
Objavljeno: 19.04.2016. u 09:47

Međuispit iz kolegija Formalne metode u oblikovanju sustava održat će se u ponedjeljak, 25. 4. 2015. u 14:45 prema rasporedu objavljenom na FER-webu.

Trajanje međuispita je 90 minuta. Gradivo na međuispitu uključuje sva dosad obrađivana predavanja (1-6). Specifični primjeri obrađivani u okviru domaćih zadaća ne ulaze u međuispit, ali teorijsko gradivo vezano uz sustave NuSMV i Java PathFinder ulazi.

Na međuispitu će se rješavati problemski zadaci i jezgrovito odgovarati na teorijska pitanja. Međuispit neće biti tipa A,B,C pitalica i neće imati negativne bodove niti ima prag za prolaz.

 

Alan Jović
Objavljeno: 13.04.2016. u 14:55

Rezultati kolokvija iz 1. domaće zadaće dostupni su kroz FER web (1. domaća zadaća).

Uvid u zadaće bit će u petak 15.4. u 15:30 u prostoriji D337.

 

Alan Jović
Objavljeno: 13.04.2016. u 09:36

Rezultati 1. kratke provjere znanja upisani su u FER-web.

 

Bodovi su dodijeljeni prema broju posve točno riješenih zadataka prema kriteriju:

11-12: 3 boda

8-10: 2 boda

5-7: 1 bod

4 ili manje: 0 bodova

 

U slučaju pogrešno evidentiranog broja bodova, potrebno je poslati mail na alan.jovic@fer.hr najkasnije do  ponedjeljka, 18. 4. 2016.

Alan Jović
Objavljeno: 04.04.2016. u 12:57
Uređeno: 07.04.2016. u 09:53

Druga domaća zadaća, zajedno s uputama i programima stavljena je u repozitorij predmeta FMuOS.

 

Studenti trebaju isprintati i vlastoručno riješiti 2. domaću zadaću koristeći se priloženim materijalima i prezentacijom s predavanja. Gradivo vezano uz 2. domaću zadaću dodatno će biti objašnjeno na predavanju u utorak, 5. 4. 2016.

 

2. domaću zadaću studenti su dužni kolokvirati na ispitu u petak, 22. 4. 2016. u 18:00 u dvoranama D1 ili B4, prema rasporedu koji je dostupan na FER-webu. Studenti na kolokvij trebaju donijeti vlastoručno napisanu domaću zadaću kako bi lakše položili kolokvij.

 

Kolokviranje 2. domaće zadaće je obavezno za sve studente, pri čemu je za prolaz kolegija nužno skupiti najmanje 2 boda od mogućih 10 bodova na zadaći. Gradivo na kolokviju može uključivati bilo što vezano uz 2. domaću zadaću i prezentaciju s predavanja za sustav Java PathFinder.

 

U slučaju opravdane spriječenosti za pristupanje 2. kolokviju, studenti se trebaju što prije javiti predavaču Alanu Joviću, uz navođenje razloga odsutnosti. Za studente koji opravdaju svoj izostanak organizirat će se krajem semestra jedna nadoknada na kojoj je moguće nadoknaditi najviše jedan od tri kolokvija.

Alan Jović
Objavljeno: 21.03.2016. u 08:41
Uređeno: 07.04.2016. u 09:52

Prva domaća zadaća, zajedno s uputama i programima stavljena je u repozitorij predmeta FMuOS.

Studenti trebaju isprintati i vlastoručno riješiti 1. domaću zadaću koristeći se priloženim materijalima i prezentacijom s predavanja. Gradivo vezano uz 1. domaću zadaću dodatno će biti objašnjeno na predavanju u utorak, 22. 3. 2016.

 

1. domaću zadaću studenti su dužni kolokvirati na ispitu u petak, 8. 4. 2016. u 18:00 u dvoranama D1 ili B4, prema rasporedu koji je uskoro biti dostupan na FER-webu. Studenti na kolokvij mogu donijeti vlastoručno napisanu domaću zadaću kako bi lakše položili kolokvij (za detalje vidjeti prezentaciju 0 Admin i datoteku NuSMV_upute).

 

Kolokviranje 1. domaće zadaće je obavezno za sve studente, pri čemu je za prolaz kolegija nužno skupiti najmanje 2 boda od mogućih 10 bodova na zadaći. Gradivo na kolokviju može uključivati bilo što vezano uz 1. domaću zadaću i sustav NuSMV.

 

U slučaju opravdane spriječenosti za pristupanje 1. kolokviju, studenti se trebaju što prije javiti predavaču Alanu Joviću, uz navođenje razloga odsutnosti. Za studente koji opravdaju svoj izostanak organizirat će se krajem semestra jedna nadoknada na kojoj je moguće nadoknaditi najviše jedan od tri kolokvija.

 

Alan Jović
FORUM
Sortiraj prema: naslovu | vremenu zadnjeg odgovora | vremenu otvaranja teme
Naslov Odgovori Zadnji odg.
ČESTA PITANJA
REPOZITORIJ
 
ANKETA
 
Na ovoj stranici trenutno nije odabrana niti jedna anketa!