Program | Obavezan |
---|---|
Informacijski sustavi IS | Ne |
Poslovni sustavi PS | Ne |
Introduction to Formal Methods
Katedra za teorijske i primijenjene osnove informacijskih znanosti
RI
Nastavnik | Oblik nastave | Tjedana | Sati tjedno | Grupa |
---|---|---|---|---|
Čubrilo Mirko | Predavanje | 15 | 2 | 1 |
Lovrenčić Sandra | Seminar | 1 | 1 | 3 |
Seminar | 13 | 1 | 4 | |
Sekovanić Vlatka | Laboratorijske vježbe | 1 | 1 | 10 |
Laboratorijske vježbe | 7 | 2 | 10 | |
Seminar | 1 | 1 | 4 | |
Seminar | 1 | 1 | 1 |
Elementi praćenja | Bodova |
---|---|
Prisustvovanje nastavi | 5 |
Aktivnost na nastavi | 5 |
Seminar | 30 |
Kolokviji | 60 |
ZBROJ | 100 |
Od | Do | Ocjena |
---|---|---|
0 | 49 | nedovoljan (1) |
50 | 60 | dovoljan (2) |
61 | 75 | dobar (3) |
76 | 90 | vrlo dobar (4) |
91 | 100 | odličan (5) |
Naziv / Tjedan | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 1. razdoblje udio (%) |
2. razdoblje udio (%) |
3. razdoblje udio (%) |
Trajanje | Pismeni | Usmeni |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1. kolokvij | + | 100.0 | 90 | + | |||||||||||||||||||
2. kolokvij | + | 10.0 | 90.0 | 90 | + |
Elementi praćenja | Bodovi | Uvjet | Opis | Nadoknada | ||
---|---|---|---|---|---|---|
Granica | Opis | Rok | ||||
Prisustvovanje na seminarima | 5 | 0 | Uvjet za potpis. Na seminarima se 5 puta nasumično obavlja provjera prisustvovanja. Dozvoljena su 3 izostanka. Student dobiva onoliko bodova koliko je puta bio prisutan u vrijeme provjere. Ako student prijavi termin prezentiranja seminara od kojeg odustane i to ne javi najkasnije 3 dana prije termina, gubi 1 bod. | 5 izostanaka | Dodatni referat. Javiti se nastavniku nakon objave evidencije prisustvovanja, najkasnije do kraja 15. tjedna. | Zadnji dan 17. tjedna. |
Prisustvovanje na laboratorijskim vježbama | 0 | 0 | Uvjet za potpis. Na svim laboratorijskim vježbama provjerava se prisustvovanje. Dozvoljen je 1 izostanak (vježbe se provode kroz 8 tjedana po 2 sata). | 2 izostanka | Dodatni zadaci. Javiti se nastavniku nakon objave evidencije prisustvovanja, najkasnije do kraja 15. tjedna. | Zadnji dan 17. tjedna. |
Aktivnost na laboratorijskim vježbama i seminarima | 5 | 0 | Studenti mogu sudjelovati u diskusijama na laboratorijskim vježbama i seminarima, prezentirati rješenja pojedinih zadataka i sl., za što ukupno mogu dobiti 5 bodova. | |||
Seminar | 30 | 0 | Nije obavezan. Student ili grupa (do 3 studenta u timu) dobiva temu seminara. Pismeni dio seminara treba postaviti na Web unutar zadanog roka te prezentirati seminar uz prezentaciju u nekom alatu u dogovorenom terminu. Korištenje tuđeg rješenja i plagiranje je zabranjeno te povlači disciplinsku odgovornost. | |||
1. kolokvij* | 30 | 20 | Rješavanje zadataka uz dodatak teoretskih pitanja otvorenog tipa i pitanja koja ispituju razumijevanje. Prepisivanje je zabranjeno te povlači disciplinsku odgovornost.
Na oba kolokvija ukupno treba biti ostvareno najmanje 20 bodova. |
|||
2. kolokvij | 30 | Rješavanje zadataka uz dodatak teoretskih pitanja otvorenog tipa i pitanja koja ispituju razumijevanje. Prepisivanje je zabranjeno te povlači disciplinsku odgovornost.
Na oba kolokvija ukupno treba biti ostvareno najmanje 20 bodova. |
*Na kolokvijima ukupno mora biti ostvareno najmanje 20 bodova kako bi student mogao predmet položiti tijekom godine kroz kontinuirano praćenje.
Studenti mogu položiti predmet na sljedeće načine:
Elementi praćenja | Bodova |
---|---|
Prsustvovanje nastavi | 5 |
Aktivnost na nastavi | 5 |
Seminar | 30 |
Kolokviji | 60 |
ZBROJ | 100 |
Elementi praćenja | Bodova |
---|---|
Primjer usporedbe metoda dokazivanja | 10 |
Seminar | 30 |
Kolokviji | 60 |
ZBROJ | 100 |
Od | Do | Ocjena |
---|---|---|
0 | 49 | nedovoljan (1) |
50 | 60 | dovoljan (2) |
61 | 75 | dobar (3) |
76 | 90 | vrlo dobar (4) |
91 | 100 | odličan (5) |
Naziv / Tjedan | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 1. razdoblje udio (%) |
2. razdoblje udio (%) |
3. razdoblje udio (%) |
Trajanje | Pismeni | Usmeni |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Kolokvij 1 | + | 100.0 | 90 | + | |||||||||||||||||||
Kolokvij 2 | + | 10.0 | 90.0 | + |
Elementi praćenja | Bodovi | Uvjet | Opis | Nadoknada | ||
---|---|---|---|---|---|---|
Granica | Opis | Rok | ||||
Prisustvovanje na seminarima | 5 | 0 | Na seminarima se 5 puta nasumično obavlja provjera prisustvovanja. Dozvoljena su 3 izostanka. Student dobiva onoliko bodova koliko je puta bio prisutan u vrijeme provjere. Ako student prijavi termin prezentiranja seminara od kojeg odustane i to ne javi najkasnije 3 dana prije termina, gubi 1 bod. | |||
Prisustvovanje na laboratorijskim vježbama | 0 | 0 | Uvjet za potpis. Na svim laboratorijskim vježbama provjerava se prisustvovanje. Dozvoljena su 2 izostanka (vježbe se provode kroz 8 tjedana po 2 sata). U posebnim slučajevima vježbe se mogu odraditi kod kuće. | 4 izostanka | Dodatni zadaci. Javiti se nastavniku nakon objave evidencije prisustvovanja, najkasnije do kraja 15. tjedna. | Zadnji dan 17. tjedna. |
Aktivnost na laboratorijskim vježbama i seminarima | 5 | 0 | Studenti mogu sudjelovati u diskusijama na laboratorijskim vježbama i seminarima, prezentirati rješenja pojedinih zadataka i sl., za što ukupno mogu dobiti 5 bodova. | |||
Seminar | 30 | 0 | Nije obavezan. Student ili grupa (do 3 studenta u timu) dobiva temu seminara. Pismeni dio seminara treba postaviti na Web unutar zadanog roka te prezentirati seminar uz prezentaciju u nekom alatu u dogovorenom terminu. Korištenje tuđeg rješenja i plagiranje je zabranjeno te povlači disciplinsku odgovornost. | |||
1. kolokvij* | 30 | 20 | Rješavanje zadataka uz dodatak teoretskih pitanja otvorenog tipa i pitanja koja ispituju razumijevanje.
Prepisivanje je zabranjeno te povlači disciplinsku odgovornost. Na oba kolokvija ukupno mora biti ostvareno najmanje 20 bodova. |
|||
2. kolokvij | 30 | Rješavanje zadataka uz dodatak teoretskih pitanja otvorenog tipa i pitanja koja ispituju razumijevanje.
Prepisivanje je zabranjeno te povlači disciplinsku odgovornost. Na oba kolokvija ukupno mora biti ostvareno najmanje 20 bodova. |
Elementi praćenja | Bodovi | Uvjet | Opis | Nadoknada | ||
---|---|---|---|---|---|---|
Granica | Opis | Rok | ||||
Prisustvovanje na laboratorijskim vježbama | 0 | 0 | Uvjet za potpis. Na svim laboratorijskim vježbama provjerava se prisustvovanje. Dozvoljena su 2 izostanka (vježbe se provode kroz 8 tjedana po 2 sata). U posebnim slučajevima vježbe se mogu odraditi kod kuće | 4 izostanka | Dodatni zadaci. Javiti se nastavniku nakon objave evidencije prisustvovanja, najkasnije do kraja 15. tjedna. | Zadnji dan 17. tjedna. |
Primjer usporedbe metoda dokazivanja | 10 | 0 | Student dobiva zadatak usporedbe metoda dokazivanja koji treba predati u obliku kraćeg seminara i obrazložiti na konzultacijama. | |||
Seminar | 30 | 0 | Nije obavezan. Student ili grupa (do 3 studenta u timu) dobiva temu seminara. Pismeni dio seminara treba postaviti na Web unutar zadanog roka te prezentirati seminar uz prezentaciju u nekom alatu u dogovorenom terminu. Korištenje tuđeg rješenja i plagiranje je zabranjeno te povlači disciplinsku odgovornost. | |||
1. kolokvij* | 30 | 20 | Rješavanje zadataka uz dodatak teoretskih pitanja otvorenog tipa i pitanja koja ispituju razumijevanje.
Prepisivanje je zabranjeno te povlači disciplinsku odgovornost. Na kolokvijima ukupno mora biti ostvareno najmanje 20 bodova. |
|||
2. kolokvij | 30 | Rješavanje zadataka uz dodatak teoretskih pitanja otvorenog tipa i pitanja koja ispituju razumijevanje.
Prepisivanje je zabranjeno te povlači disciplinsku odgovornost. Na kolokvijima ukupno mora biti ostvareno najmanje 20 bodova. |
*Na kolokvijima ukupno mora biti ostvareno najmanje 20 bodova kako bi student mogao predmet položiti tijekom godine kroz kontinuirano praćenje.