Formalne metode u oblikovanju sustava

» predmet » fmuos

Naslovnica Pretraživanje English A A A

Šifra:	34401
ECTS:	5
Nositelji:	Prof. dr. sc. Nikola Bogunović 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.

15.05.2013. u 11:05

Predaja 3. domaće zadaće i 3. kolokvij iz laboratorija

Do kraja ovog tjedna ćete na svoje fakultetske adrese e-pošte dobiti zadatke za
3. domaću zadaću i 3. laboratorijsku vježbu.

Trebate isprintati i vlastoručno riješiti svoje zadatke te ih donijeti na predaju.

Predaja riješenih zadataka i 3. kolokvij iz laboratorija (piše se 60 minuta) održat će se
u ponedjeljak, 3. 6. 2013. u 18:00 prema sljedećem rasporedu:
dvorana D1: Abdagić - Krajcar
dvorana D2: Kraljević - Žužić

Gradivo obuhvaća 8.-10. predavanje (formalna verifikacija komunikacijskih protokola, SPIN, Promela, LTL) - materijali su dostupni u repozitoriju predmeta.

Treća domaća zadaća nosi maksimalno 7 bodova, a potrebno je ostvariti barem prag od 2 boda.

Treća lab. vježba i 3. kolokvij iz laboratorija nose zajedno maksimalno 10 bodova za laboratorij profila.

Frano Škopljanac-Mačina

26.04.2013. u 14:15

Rezultati međuispita

Rezultati međuispita dostupni su na FER-webu.

Uvidi u rezultate međuispita održat će se u ponedjeljak, 29. 4. u 15:00 u prostoriji D305 (ZEMRIS).

Nekoliko studenata je pohvalno riješilo međuispit, a ovim putem posebno pohvaljujemo studenticu Mirtu Dvorničić i studenta Ivana Pilata koji su ostvarili sve bodove.

Alan Jović

22.04.2013. u 11:59

Međuispit

Međuispit iz Formalnih metoda u oblikovanju sustava održat će se u srijedu, 24. 4. 2013. u 12:30.

Raspored studenata po dvoranama dostupan je u osobnim kalendarima studenata na FER-webu.

Međuispit donosi najviše 30 bodova, bez posebnog praga prolaska. Trajanje međuispita je 90 minuta.

Gradivo na međuispitu je sve do (uključivo) 5. nastavne cjeline (http://www.zemris.fer.hr/predmeti/fm/Predavanja).

Alan Jović

15.04.2013. u 17:29
Uređeno: 15.04.2013. u 17:30

Rezultati 1. kratke provjere znanja

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

S obzirom na broj točno riješenih zadataka, dodijeljeni su sljedeći bodovi:

10,11,12 - 3 boda

7,8,9 - 2 boda

5,6 - 1 bod

4 boda ili manje - 0 bodova

Ako postoji problem vezan uz bodovanje 1. kratke provjere znanja, molimo da dojavite na mail: alan.jovic@fer.hr

Alan Jović

15.04.2013. u 17:26

Rezultati 1. i 2. domaće zadaće i kolokvija

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

Studenti za koje je utvrđeno da su prepisali veći dio neke domaće zadaće dobili su samo minimum bodova potrebnih za prolaz (2 boda) iz dotične domaće zadaće. Zasad je odlučeno da neće biti drugih sankcija za dotične studente.

Uvid u rezultate domaćih zadaća i kolokvija održat će se u srijedu, 17. 4. 2013. u 14h u prostoriji D337 (ZEMRIS).

Alan Jović

29.03.2013. u 09:39

Predaja i kolokviranje 2. domaće zadaće

Druga domaća zadaća, zajedno s programima i korisničkim uputama za sustav NuSMV nalazi se u repozitoriju predmeta.

Studenti trebaju isprintati i vlastoručno riješiti 2. domaću zadaću te ju donijeti na predaju.

Predaja 2. domaće zadaće bit će u ponedjeljak, 8. 4. 2013. u 17:00.

Studenti čije prezime počinje slovima A-H trebaju predati zadaću i pisati kolokvij u dvorani D272, a studenti I-Ž u dvorani D1.

Drugi kolokvij nosi također maksimalno 10 bodova za laboratorij profila i trajat će 60 minuta.

U drugi kolokvij ulazi gradivo predmeta vezano uz 2. domaću zadaću, što uključuje sustav NuSMV i vremensku logiku (CTL).

Alan Jović

18.03.2013. u 16:23
Uređeno: 26.03.2013. u 16:57

Predaja i kolokviranje 1. domaće zadaće

Prva domaća zadaća, zajedno s programima i korisničkim uputama za sustav VIS nalazi se u repozitoriju predmeta.

Studenti trebaju isprintati i vlastoručno riješiti 1. domaću zadaću te ju donijeti na predaju.

Predaja 1. domaće zadaće bit će sljedeći četvrtak, 28. 3. 2013. u 18:00.

Tada će se provesti i kolokviranje 1. domaće zadaće prilikom čega se skupljaju bodovi (maksimalno 10 bodova) za laboratorije profila. Kolokviranje će biti pismeno i trajat će ne dulje od 60 minuta.

U kolokvij će ući gradivo predmeta vezano uz 1. domaću zadaću, što uključuje sustav VIS, programski jezik Verilog i vremensku logiku (CTL).

IZMJENA:

Predaja i kolokviranje 1. domaće zadaće bit će za studente čije prezime počinje sa slovima A-K u dvorani D1, a za studente L-Ž u dvorani D2.

Alan Jović

11.05.2012. u 12:04
Uređeno: 11.05.2012. u 12:06

Web stranica predmeta s predavanjima

Web stranica predmeta s predavanjima nalazi se na:

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

Nikola Bogunović

28.02.2012. u 12:14
Uređeno: 28.02.2013. u 13:33

Promjena dvorane, Ak. god. 2012/2013: Predavanja u dvorani D1

Predavanja iz predmeta "Formalne metode u oblikovanju sustava" u ak.god. 2012/2013 održavat će se u dvorani D1, ponedjeljkom od 14:15 do 17:00 tijekom cijelog semestra.

To je promjena koja će biti službeno uvedena u satnicu.

Nikola Bogunović

[ Arhiva ]

Sortiraj prema: naslovu | vremenu zadnjeg odgovora | vremenu otvaranja teme

Naslov	Odgovori	Zadnji odg.



Domaća zadaća (4) Domaća zadaća 2 (2) Programi i upute za DZ2 [6,45 MiB] Domaća zadaća 2 [60,99 KiB] Domaća zadaća 1 (2) Programi i upute za DZ1 [1,97 MiB] Domaća zadaća 1 [53,82 KiB] VIS i Verilog (1) Predavanje Jović - VIS i Verilog [867,97 KiB] NuSMV (1) NuSMV predavanje [504 KiB] Spin (3) FMuOS SPIN 8 9 10-handout [583,2 KiB] Spin_prezentacija_sve [1,64 MiB] Zadaci_za_vjezbu [4,69 KiB]


Na ovoj stranici trenutno nije odabrana niti jedna anketa!