korisnik: lozinka:
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: 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: jučer 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!