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: jučer u 15:32

Pismeni ispit na ljetnom ispitnom roku održat će se u petak, 3. 7. 2015. u 15:00 u dvorani D346 za sve 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: 18.06.2015. u 09:58
Uređeno: 19.06.2015. u 17:02

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

 

Rezultati postignuti na završnom ispitu skalirani su s faktorom 1.2 radi težine ispita.

 

Pragovi za ocjene su:

[85-100] - izvrstan (5)

[72-85> - vrlo dobar (4)

[57-72> - dobar (3)

[50-57> - dovoljan (2)

<50 - nedovoljan (1)

 

Uvidi u rezultate završnog ispita bit će danas, u petak 19. 6. između 14:30 i 16:00 u dvorani D337 (ZEMRIS). Naknadni uvidi neće biti mogući.

 

EDIT: Evidentirane su izmjene ostvarene na uvidima.

Rok za odbijanje pozitivne ocjene iz kolegija je ponedjeljak, 29. 6. u 12:00. Studenti koji žele odbiti pozitivnu ocjenu trebaju donijeti potpisanu molbu tajnici zavoda ZEMRIS.

Alan Jović
Objavljeno: 10.06.2015. u 12:37

Završni ispit iz kolegija Formalne metode u oblikovanju sustava održat će se u srijedu, 17. 6. 2015. u 15:00 prema rasporedu objavljenom na FER-webu.

Završnom ispitu imaju pravo pristupiti oni studenti koji su uspješno prošli sve kolokvije iz domaćih zadaća (min. 2 boda po kolokviju, ukupno min. 10 bodova) i ostvarili ukupno min. 2 boda iz kratkih provjera znanja.

Završni ispit će trajati 120 minuta i obuhvaćat će gradivo čitavog kolegija s naglaskom na dijelu gradiva nakon međuispita.

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

 

Alan Jović
Objavljeno: 10.06.2015. u 10:19

Rezultati 3. 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 najkasnije do  petka, 12. 6.

Alan Jović
Objavljeno: 09.06.2015. u 16:22

Rezultati nadoknada kolokvija dostupni su na FER-webu.

 

Uvidi u rezultati nadoknada kolokvija bit će sutra, u srijedu 10. 6. u 11:00 i to za:

- kolokvije 1 i 2 na ZEMRIS-u, prostorija D337

- kolokvij 3 na ZOEM-u, kao u prijašnjoj obavijesti prof. Blaškovića

 

Alan Jović
Objavljeno: 09.06.2015. u 10:36

 

Rezultate možete vidjeti kroz FER web.

Uvid u zadaće bit će u srijedu  10. lipnja 2015  u 11:00 sati u seminaru VI kat C zgrada ZOEEM.

 

Bruno Blašković
Objavljeno: 02.06.2015. u 11:00

Nadoknada kolokvija iz domaćih zadaća održat će se u ponedjeljak, 8. 6. 2015. u 19h u prostoriji D1.

Studenti trebaju na nadoknadu donijeti opravdanje (liječnička ispričnica, potvrde s natjecanja...) za izostanak s kolokvija. U terminu nadoknade moguće je nadoknaditi najviše jednu domaću zadaću.

 

Alan Jović
Objavljeno: 26.05.2015. u 19:32

Nadoknada blitza (kratke provjere zvanja) biti će
u četvrtak 28.svibnja 2015 god. u 07:45 sati (bez akademske četvrti) u Seminaru VI kat, C zgrada (ZOEM).

Provjeri znanja mogu pristupiti samo studenti koji su bili na elektrijadi kao i studenti koji su imali laboratorijske vježbe
za vrijeme  promijenjenog termina (srijeda 20.05.2015, 14:00-17:00).

Bruno Blašković
Objavljeno: 24.05.2015. u 22:22

Kolokvij 3. domaće zadaće će se održati u ponedjeljak, 1. 6. 2015. u 18h u dvoranama B1 ili D2, prema rasporedu na FER-webu. Studenti na kolokvij mogu donijeti vlastoručno napisanu domaću zadaću kako bi lakše 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 može uključivati bilo što vezano uz 3. domaću zadaću i predavanja o sustavu Spin i jeziku Promeli.

 

U slučaju opravdane spriječenosti za pristupanje 3. kolokviju, studenti se trebaju što prije javiti prof.dr. Bruni Blašković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.

Frano Škopljanac-Mačina
Objavljeno: 24.05.2015. u 15:36

Materijali za 3. domaću zadaću poslani su u petak 22.5. na službene @fer.hr adrese svih studenata upisanih na predmetu.

 

Poruka nosi naslov "FmuOS: zadaci za 3. DZ", a poslana je s adrese "FMuOS@fer.hr". U privitku se nalazi PDF dokument s detaljnim uputama i s jednom inačicom zadataka.

 

Ukoliko ne možete pronaći poruku u ulaznoj/neželjenoj pošti svakako se javite na:

frano.skopljanac-macina@fer.hr

Frano Škopljanac-Mačina
Objavljeno: 15.05.2015. u 16:12

 

Termin predavanja u utorak 19.05.2015  rezerviran je sa strane fakulteta za druge aktivnosti.

Radi toga predavanje će biti u srijedu 20.05.2015 od 17:00 do 20:00 u D2.

Studenti koji u to vrijeme imaju druge nastavne obaveze ili su na elektrijadi mogu poslati meni e-mail radi nadoknade.

 

 

Bruno Blašković
Objavljeno: 29.04.2015. u 12:02
Uređeno: 30.04.2015. u 10:46

Rezultati međuispita objavljeni su na FER-webu.

Uvidi u rezultate međuispita (i u rezultate kolokvija iz 2. domaće zadaće) bit će u četvrtak, 30. 4. u 14:00 u prostoriji D337 (ZEMRIS).

 

Alan Jović
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!