korisnik: lozinka:
Naslovnica Pretraživanje English 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: 22.04.2015. u 10:13

Rezultati kolokvija iz 2. domaće zadaće dostupni su u FER-webu.

Uvidi će se održati skupa s uvidima u međuispit, tijekom sljedećega tjedna.

 

 

Alan Jović
Objavljeno: 17.04.2015. u 17:09

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

 

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

10-12: 3 boda

7-9: 2 boda

5-6: 1 bod

4 ili manje: 0 bodova

 

U slučaju pogrešno evidentiranog broja bodova, potrebno je poslati mail na alan.jovic@fer.hr.

Alan Jović
Objavljeno: 15.04.2015. u 15:35
Uređeno: 15.04.2015. u 15:37

Međuispit iz kolegija Formalne metode u oblikovanju sustava održat će se u srijedu, 22. 4. 2015. u 15:00 prema rasporedu objavljenom na FER-webu.

Trajanje međuispita je 90 minuta. Gradivo na međuispitu uključuje sva dosad obrađivana predavanja. Specifični primjeri obrađivani u okviru domaćih zadaća ne ulaze u međuispit, ali opće stvari vezane uz zadaće (konfiguracija i provjera svojstava u pojedinim sustavima za verifikaciju, teorijski aspekti gradiva) ulaze.

Na međuispitu će se rješavati određeni 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: 08.04.2015. u 13:29

Rezultate možete vidjeti kroz FER web.

Uvid u zadaće bit će u četvrtak 9.4. u 16:00 sati u prostoriji D337.

 

Mladen Karan
Objavljeno: 31.03.2015. u 12:53
Uređeno: 09.04.2015. u 16:13

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 danas, u utorak, 31. 3. 2015.

2. domaću zadaću studenti su dužni kolokvirati na ispitu u petak, 17. 4. 2015. u 18h u dvoranama D1 ili B4, prema rasporedu koji je dostupan na FER-webu. Studenti na kolokvij mogu 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: 16.03.2015. u 15:53

izv. prof. dr. sc. Bruno Blašković - utorak, 13-14h, ZOEM, soba C06-18

dr. sc. Alan Jović - utorak, 12-13h, ZEMRIS, soba D340

Mladen Karan, mag. ing. rač. - utorak, 13-14h, ZEMRIS, soba D339A

 

Alan Jović
Objavljeno: 16.03.2015. u 12:48
Uređeno: 16.03.2015. u 12:53

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, 17. 3. 2015.

1. domaću zadaću studenti su dužni kolokvirati na ispitu u petak, 27. 3. 2015. u 18h u dvoranama D1 ili B4, prema rasporedu koji je dostupan na FER-webu (pod Laboratorijske vježbe -> 1. laboratorijska vježba). Studenti na kolokvij mogu donijeti vlastoručno napisanu domaću zadaću kako bi lakše položili kolokvij.

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ć
Objavljeno: 10.03.2015. u 17:58

Nadoknada propuštenog predavanja od prošlog tjedna održat će se u četvrtak, 12. 3. od 16-18h u prostoriji D1.

 

Alan Jović
Objavljeno: 02.03.2015. u 09:15
Uređeno: 02.03.2015. u 11:56

Prvo predavanje iz kolegija FMuOS odgađa se za sljedeći tjedan zbog bolesti svih nastavnika.


 

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!