FOI nastava
Lista kolegija iz:
ak.god:
2019/2020
semestar:
3. semestar
5ectsa
4ectsa
3ectsa
3ectsa
5ectsa
6ectsa
5ectsa
2019/2020
5ECTSa
Preddiplomski
Informacijski/Poslovni sustavi v1.1
| Program | Obavezan |
|---|---|
| Informacijski sustavi IS | Ne |
| Poslovni sustavi PS | Ne |
3. semestar
2. nastavna godina
Uvod u formalne metode npp:61779
Engleski naziv
Introduction to Formal Methods
Katedra
Katedra za teorijske i primijenjene osnove informacijskih znanosti
Kategorija ("boja")
RI
Nastava
Predavanje
30sati
Seminar
15sati
Laboratorijske vježbe
15sati
Nema podataka o nastavnom planu za ovaj kolegij.
| 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 |
Nema definiranih ispitnih rokova
Uvod u formalne metode - Redovni studenti
Studij: Informacijski/Poslovni sustavi
Akademska godina: 2019/2020
Akademska godina: 2019/2020
Praćenje rada studenata
| Elementi praćenja | Bodova |
|---|---|
| Prisustvovanje nastavi | 5 |
| Aktivnost na nastavi | 5 |
| Seminar | 30 |
| Kolokviji | 60 |
| ZBROJ | 100 |
Bodovna skala ocjena
| 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) |
Kolokviji
| 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 | + |
Opis elemenata praćenja
| 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.
Uvod u formalne metode - Izvanredni studenti
Studij: Informacijski/Poslovni sustavi
Akademska godina: 2019/2020
Akademska godina: 2019/2020
Studenti mogu položiti predmet na sljedeće načine:
- Redovni izlazak na pismeni i usmeni ispit - Model 1;
- Izrada i obrana opsežnijeg seminarskog rada na zadanu temu (nije moguće ako su laboratorijske vježbe odrađivane kod kuće) - Model 2;
- Sudjelovanje u kontinuiranom praćenju na isti način kao i redoviti studenti – Model 3;
- Sudjelovanje u kontinuiranom praćenju kroz e-učenje i samostalni rad - Model 4.
Praćenje rada studenata - Model 3
| Elementi praćenja | Bodova |
|---|---|
| Prsustvovanje nastavi | 5 |
| Aktivnost na nastavi | 5 |
| Seminar | 30 |
| Kolokviji | 60 |
| ZBROJ | 100 |
Praćenje rada studenata - Model 4
| Elementi praćenja | Bodova |
|---|---|
| Primjer usporedbe metoda dokazivanja | 10 |
| Seminar | 30 |
| Kolokviji | 60 |
| ZBROJ | 100 |
Bodovna skala ocjena
| 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) |
Kolokviji
| 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 | + |
Opis elemenata praćenja - Model 3
| 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. |
||||
Opis elemenata praćenja - Model 4
| 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.
Predavanje
Seminar
Auditorne vježbe
Laboratorijske vježbe
Vježbe (jezici, tzk)
Ispit
Kolokviji
Nadoknade
Demonstrature