korisnik: lozinka:
Naslovnica Pretraživanje English AAA
IZBORNIK PREDMETA
 
GLAVNI IZBORNIK
 
 
FORMALNE METODE U OBLIKOVANJU SUSTAVA
Šifra: 34401
ECTS: 5
Nositelji: prof. dr. sc. Nikola Bogunović
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: 04.07.2014. u 22:55

Rezultati ljetnog ispitnog roka održanog danas dostupni su na FER-webu.

Studentima su upisani bodovi ostvareni na pismenom ispitu, ukupni bodovi na roku i predložena je ocjena u skladu s pragovima za ocjene objavljenima ranije.

Uvid u rezultate ispitnog roka bit će u ponedjeljak, 7. 7. 2014. u 12:00 u D337.

Pozitivnu ocjenu ostvarenu na roku studenti mogu odbiti predavanjem potpisane molbe tajnici ZEMRIS-a najkasnije do utorka, 8. 7. 2014. u 10:00.

 

Alan Jović
Objavljeno: 02.07.2014. u 14:24

Ljetni ispitni rok iz Formalnih metoda u oblikovanju sustava održat će se 4. 7. 2014. u 9:00 u dvorani A201.

 

Ispitnom roku smiju pristupiti svi studenti koji su zadovoljili uvjet na pragove bodova iz domaćih zadaća i koji su se na vrijeme prijavili.

Pismeni ispit na ispitnom roku traje 150 minuta i nosi najviše 70 bodova.

Ostatak bodova na roku nose domaće zadaće i kratke provjere znanja.

Prag za prolaz na pismenom ispitu je 25 bodova, dok je ukupni prag za prolaz na ispitnom roku 46 bodova, jednako kao i na kontinuiranim provjerama znanja (i ostale granice za ocjene vrijede kao i na kontinuiranim provjerama znanja).

Gradivo na ispitnom roku uključuje gradivo čitavog kolegija.

 

Alan Jović
Objavljeno: 30.06.2014. u 13:18

Rezultati završnog ispita dostupni su na FER-webu.

Uvidi u završni ispit održat će se sutra, u utorak 1. 7. 2014. u 12:00 u prostoriji D337.

 

Studentima su predložene ocjene ostvarene na kontinuiranim provjerama znanja.

Pragovi za ocjene su promijenjene u odnosu na predviđene u korist studenata i to ovako:

86 bodova i više - izvrstan (5)

72 - 85.5 boda - vrlo dobar (4)

56 - 71.5 bod - dobar (3)

46 - 55.5 bodova - dovoljan (2)

manje od 46 bodova - nedovoljan (1)

 

Studenti imaju pravo odbiti pozitivnu ocjenu i to tako da tajnici zavoda ZEMRIS dostave potpisanu molbu za odbijanjem ocjene najkasnije do srijede, 2. 7. 2014. u 14:00.

 

Alan Jović
Objavljeno: 11.06.2014. u 10:27
Uređeno: 13.06.2014. u 11:39

Rezultati nadoknade kolokvija za laboratorij profila upisani su u sustav FER-web.

Uvid u rezultate nadoknade bit će u ponedjeljak, 16. 6. 2014. u 10:00 u prostoriji D340.

Nakon održanih uvida, ukupni rezultati ostvareni iz kolegija FMUOS na domaćim zadaćama i kolokvijima za laboratorij profila prebacit će se u rezultate na odgovarajućim laboratorijima profila tijekom sljedeća dva tjedna.

 

Alan Jović
Objavljeno: 09.06.2014. u 16:49
Uređeno: 17.06.2014. u 15:22

Završni ispit iz kolegija Formalne metode u oblikovanju sustava održat će se u utorak, 24. 6. 2014. u 9:00.

Ispit će trajati 120 minuta i obuhvaćat će gradivo čitavog kolegija.

Završni ispit nosit će 40 bodova, a za prolaz ispita potrebno je ostvariti najmanje 12 bodova.

EDIT: Raspored studenata po dvorana objavljen je u sustavu FER-web.

 

Uvjeti za izlazak na završni ispit su:

1. Najmanje 2 boda iz svake od triju domaćih zadaća, predanih u roku.

2. Najmanje 2 boda ukupno ostvarenih na kratkim provjerama znanja.

 

Studenti trebaju provjeriti svoje bodovno stanje na kolegiju.

U slučaju bilo kakvih neslaganja s očekivanim stanjem, potrebno je kontaktirati asistenta na alan.jovic@fer.hr najkasnije do četvrtka, 12. 6. 2014. Nakon tog datuma, daljnje promjene bodova, ostvarene na kontinuiranim provjerama prije završnog ispita, neće biti moguće.

 

Alan Jović
Objavljeno: 09.06.2014. u 16:34

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

Studenti su dobili 0-3 boda prema sljedećoj raspodjeli:

11,12 točnih - 3 boda

8,9,10 točnih - 2 boda

5,6,7 točnih - 1 bod

<5 točnih - 0 bodova

 

U slučaju pogrešno evidentiranih bodova molimo javiti se asistentu na mail: alan.jovic@fer.hr najkasnije do srijede, 11. 6. 2014.

 

Alan Jović
Objavljeno: 06.06.2014. u 21:09

Rezultati 3. domaće zadaće i 3. kolokvija za laboratorije profila dostupni su na FER-webu.

 

Uvid će biti u ponedjeljak 9. 6. 2014. u 10:30 na 6. katu C zgrade (ZOEEM).

Bruno Blašković
Objavljeno: 03.06.2014. u 14:22

Studenti koji su iz opravdanog razloga izostali s kolokvija vezanih uz laboratorije profila mogu pristupiti nadoknadi najviše jednog kolokvija i to u terminu 10. 6. 2014. (utorak) u 12:00 u prostoriji D346.

Na nadoknadu kolokvija student treba donijeti pismeno opravdanje izostanka (iz kojeg je razvidno zašto je izostao na datum pisanja kolokvija) kako bi mu se priznala nadoknada.

Prethodno je potrebno najaviti svoj dolazak i dati informaciju koji kolokvij će pisati asistentu na mail: alan.jovic@fer.hr

Nadoknađuje se samo kolokvij, nadoknada domaće zadaće nije moguća.

 

Alan Jović
Objavljeno: 21.05.2014. u 12:39

Rezultati 2. kratke provjere znanja upisani su na FER-webu.

Pravila bodovanja su sljedeća:

Bilo je tri pitanja, dva obavezna i jedno neobavezno.

Obavezna pitanja nosila su po 1 i pol bod, a neobavezno pitanje dodatnih pola boda.

Najviše se moglo ostvariti 3 boda.

Polovični bodovi se zaokružuju prema gore uz jednu važnu iznimku: - ako je drugo pitanje potpuno krivo ili neodgovoreno (0 bodova) onda se ukupan rezultat ograničava na najviše 1 bod.

Za daljnja pitanja vezana uz rezultate studenti se mogu obratiti asistentu Franu Škopljancu-Mačini.

Alan Jović
Objavljeno: 16.05.2014. u 18:58
Uređeno: 28.05.2014. u 19:36

Treća  domaća zadaća  biti će poslana svim studentima putem elektronske pošte.

Studenti koji je nisu primili moraju se javiti osobno na VI kat C zgrade ili poslati poruke na:

bruno.blaskovic@fer.hr ili frano.skopljanac-macina@fer.hr.

Za sve informacije ili konzultacije u vezi gradiva koje pokriva 3. domaća zadaća, na raspolaganju je A304 iza predavanja (ponedjeljak od 17:00) ili u uredovno vrijeme na ZOEEM VI kat C-zgrada te u pauzama predavanja.

3. domaću zadaću studenti su dužni predati i kolokvirati u ponedjeljak, 2. lipnja 2014. u 18h u dvorani D1 ili D2, prema rasporedu koji će biti objavljen tjedan prije.

Predaja 3. domaće zadaće je obavezna za sve studente, pri čemu je za prolaz kolegija nužno skupiti najmanje 2 boda od mogućih 7 bodova na zadaći.

 

Studenti smjera Računalno inženjerstvo (55, diplomski) koji predaju samo domaću zadaću,  rješavaju samo do 2 stranice tj. do  naslova "Laboratorijska vježba:". Domaću zadaću mogu predati u uredovno vrijeme na ZOEEM (VI kat - kat C- zgrada) direktno nastavnicima (Blašković ili Škopljanac) ili gđi Jasenki. Krajnji rok za predaju je 2. lipnja najkasnije do 18:00 za vrijeme pisanja "3. laboratorija profila".

Bruno Blašković
Objavljeno: 30.04.2014. u 16:45

Rezultati međuispita iz Formalnih metoda u oblikovanju sustava dostupni su na FER-webu.

 

Uvid u rezultate održat će se u ponedjeljak, 5. 5. 2014. u 10:00 u prostoriji D337 (ZEMRIS).

 

Alan Jović
Objavljeno: 24.04.2014. u 11:47

Međuispit iz Formalnih metoda u oblikovanju sustava održat će se u subotu, 26. 4. 2014. u 9:00 prema rasporedu objavljenom na FER-webu.

Međuispit će trajati 90 minuta i uključivat će gradivo prvih pet nastavnih cjelina, osim prezentacije o LTL-u.

Međuispitu smiju pristupiti svi upisani studenti.

Najveći broj bodova koji se može ostvariti je 30, bez praga za prolaz.

 

Alan Jović
Objavljeno: 22.04.2014. u 12:30

U kalendaru nastave prethodno je planirano održavanja međuispita u ponedjeljak 5. svibnja. Međutim svi međuispiti su raspoređeni u prethodna dva tjedna.

U ponedjeljak, 5. svibnja odvijat će se nastava prema redovitom rasporedu predavanja.

Nikola Bogunović
Objavljeno: 15.04.2014. u 17:22

Rezultati 2. domaće zadaće i 2. kolokvija za laboratorije profila dostupni su na FER-webu.

 

Uvid će biti u četvrtak, 17. 4. 2014. u 12:00 u prostoriji D337 (ZEMRIS). Naknadni uvidi u 2. DZ i 2. kolokvij profila neće biti mogući.

 

Alan Jović
Objavljeno: 15.04.2014. u 12:26
Uređeno: 15.04.2014. u 12:26

Rezultati 1. kratke provjere znanja upisani su na FER-webu.

Studenti su dobili 0-3 boda prema sljedećoj raspodjeli:

11,12 točnih - 3 boda

8,9,10 točnih - 2 boda

5,6,7 točnih - 1 bod

<5 točnih - 0 bodova

 

U slučaju pogrešno evidentiranih bodova molimo javiti se asistentu na mail: alan.jovic@fer.hr

Alan Jović
Objavljeno: 07.04.2014. u 12:25

Rezultati 1. domaće zadaće i 1. kolokvija za laboratorije profila dostupni su na FER-webu.

Kolokvij za laboratorij profila evidentiran je zasad samo na predmetu Formalne metode, a tek će konačni bodovi biti prebačeni u odgovarajući Laboratorij profila.

 

Studenti za koje je nedvojbeno utvrđeno da su surađivali/prepisali veći dio 1. domaće zadaće dobili su 0 bodova.

Uvid u 1. domaću zadaću i 1. kolokvij za laboratorij profila bit će sutra, u utorak 8. 4. 2014., u 14:00 u prostoriji D337 (ZEMRIS). Na uvide se posebno pozivaju studenti koji su prepisivali zadaću jer im o njihovom opravdanju ovisi prolaz predmeta. Naknadni uvidi u 1. DZ i 1. kolokvij profila neće biti mogući.

 

Alan Jović
Objavljeno: 25.03.2014. u 11:04

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 prezentacijama s predavanja. Prije rješavanja 2. domaće zadaće, potrebno je prvo pročitati datoteku NuSMV_upute_2014.

2. domaću zadaću studenti su dužni predati i kolokvirati u ponedjeljak, 7. 4. 2014. u 18h u dvorani D1 ili D2, prema rasporedu dostupnom na FER-webu (studenti razmiješteni u grupu LAB02-01 dolaze kolokvirati u dvoranu D2, a studenti razmješteni u grupu LAB02-02 dolaze kolokvirati u dvoranu D1).

Predaja 2. domaće zadaće je obavezna za sve studente, pri čemu je za prolaz kolegija nužno skupiti najmanje 2 boda od mogućih 7 bodova na zadaći.

Kolokviranjem domaće zadaće skupljaju se bodovi iz odgovarajuće upisanog Laboratorija profila. Na 2. kolokviju moguće je skupiti najviše 10 bodova za Laboratorij profila, bez praga za prolaz. Gradivo na kolokviju može uključivati bilo što vezano uz 2. domaću zadaću.

U slučaju opravdane spriječenosti za pristupanje 2. kolokviju, studenti su zamoljeni da svoju domaću zadaću pošalju po kolegi, ili da ju predaju direktno asistentu Alanu Joviću (D340) čim će biti u mogućnosti, uz predočenje odgovarajuće ispričnice. Za takve studente organizirat će se krajem semestra jedna nadoknada na kojoj je moguće nadoknaditi najviše jedan od tri kolokvija.

U slučaju bilo kakvih pitanja ili nejasnoća vezanih uz 2. domaću zadaću, studenti se mogu obratiti asistentu na alan.jovic@fer.hr

Alan Jović
Objavljeno: 13.03.2014. u 13:09
Uređeno: 19.03.2014. u 15:01

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 prezentacijama s predavanja. Gradivo vezano uz 1. domaću zadaću dodatno će biti objašnjeno na predavanju sljedeći ponedjeljak, 17. 3. 2014. Studenti mogu međutim krenuti s rješavanjem 1. domaće zadaće i ranije.

1. domaću zadaću studenti su dužni predati i kolokvirati u ponedjeljak, 24. 3. 2014. u 18h u dvorani D1 ili D2, prema rasporedu dostupnom na FER-webu (studenti razmiješteni u grupu LAB01-01 dolaze kolokvirati u dvoranu D2, a studenti razmješteni u grupu LAB01-02 dolaze kolokvirati u dvoranu D1).

Predaja 1. domaće zadaće je obavezna za sve studente, pri čemu je za prolaz kolegija nužno skupiti najmanje 2 boda od mogućih 7 bodova na zadaći.

Kolokviranjem domaće zadaće skupljaju se bodovi iz odgovarajuće upisanog Laboratorija profila. Na 1. kolokviju moguće je skupiti najviše 10 bodova za Laboratorij profila, bez praga za prolaz. Gradivo na kolokviju može uključivati bilo što vezano uz 1. domaću zadaću.

U slučaju opravdane spriječenosti za pristupanje 1. kolokviju, studenti su zamoljeni da svoju domaću zadaću pošalju po kolegi, ili da ju predaju direktno asistentu Alanu Joviću (D340) čim će biti u mogućnosti, uz predočenje odgovarajuće ispričnice. Za takve studente organizirat će se krajem semestra jedna nadoknada na kojoj je moguće nadoknaditi najviše jedan od tri kolokvija.

Edit: Promijenjen je razmještaj grupa po dvoranama koji je sad u skladu s kalendarom na FER-webu.

Alan Jović
Objavljeno: 11.05.2012. u 12:04
Uređeno: 11.05.2012. u 12:06

Web stranica predmeta s predavanjima nalazi se na:

http://www.zemris.fer.hr/predmeti/fm/

 

Nikola Bogunović
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!