Predmet: Formalni modeli i metode za konkurentne sisteme (17.DOM66 )
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Doktorske studije | Matematika u tehnici (Godina: 1, Semestar: Zimski) |
| Doktorske studije | Matematika u tehnici (Godina: 2, Semestar: Zimski) |
Osnovni cilje predmeta jeste uvođenje doktoranada u matematičku teoriju koja sadrži teorijsku osnovu i tehnike za formalno rezonovanje o konkurentim i distribuiranim sistemima. Cilj je da mladi istraživači ovladaju osnovnim znanjima iz formalnog računa
Doktorandi vladaju znanjima iz osnovnih formalnih modela za konkurentne sisteme (
Formalni model
Na predavanjima se izlaže teoretski deo gradiva propraćen karakterističnim primerima radi lakšeg razumevanja gradiva. Student samostalno proučava dodatnu literaturu i duskutuje je sa nastavnikom na konsultacijama. Kroz studijski istraživački rad student, proučavajući naučne časopise i ostalu literaturu samostalno produbljuje gradivo sa predavanja. Uz rad sa nastavnikom student se osposobljava za samostalno pisanje naučnog rada.
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| 2001 | Engleski | |||
| 2002 | Engleski |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Predmetni projekat |
Predispitna Da |
Obavezna Da |
Broj poena 50.00 |
| Predmetna aktivnost Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
prof. dr Jovanka Pantović
Redovni profesor
Predavanja
vanr. prof. dr Ivan Prokić
Vanredni profesor
Predavanja
prof. dr Jovanka Pantović
Redovni profesor
Studijski istraživački rad
vanr. prof. dr Ivan Prokić
Vanredni profesor
Studijski istraživački rad
