Nastava

FOI nastava

Lista kolegija iz:

smjer:

Informacijski/Poslovni sustavi

ak.god:

2019/2020

semestar:

3. semestar

Arhitektura računalnih sustava

6ectsa

Državni i upravni informacijski sustavi

4ectsa

Financijska matematika

5ectsa

Informacijski sustavi u uredskom poslovanju

3ectsa

Marketing

4ectsa

Modeliranje poslovnih procesa

5ectsa

Poslovni engleski jezik 1

3ectsa

Poslovni njemački jezik 1

3ectsa

Programiranje 2

5ectsa

Strukture podataka

6ectsa

Tjelesna i zdravstvena kultura 3

0ectsa

Uvod u formalne metode

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")

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

redovni rok

Datum: 30.08.2021.
Opis: u 18:00
Prijava do: 27.08.2021. 23:59
Odjava do: 29.08.2021. 11:59

Redovni model praćenja

Uvod u formalne metode - Redovni studenti

Studij: Informacijski/Poslovni sustavi
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
Elementi praćenja	Bodovi	Uvjet	Opis	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.

Izvanredni model praćenja

Uvod u formalne metode - Izvanredni studenti

Studij: Informacijski/Poslovni sustavi
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
Elementi praćenja	Bodovi	Uvjet	Opis	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
Elementi praćenja	Bodovi	Uvjet	Opis	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

Povratak na vrh