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: 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!