Predmet: Formalni modeli i metode za konkurentne sisteme (17.DOM66 )
Studijski programi predmeta:
Stepen i vrsta studija | Naziv |
---|---|
Doktorske studije | Matematika u tehnici (Godina: 2, Semestar: Zimski) |
Doktorske studije | Matematika u tehnici (Godina: 1, Semestar: Zimski) |
Kategorija | Naučno-stručni |
Uža naučna oblast |
|
ESPB | 10 |
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 Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
Predmetna aktivnost Predmetni projekat |
Predispitna Da |
Obavezna Da |
Broj poena 50.00 |
prof. dr Pantović Jovanka
Redovni profesor
Predavanja
doc. Prokić Ivan
Docent
Predavanja
prof. dr Pantović Jovanka
Redovni profesor
Studijski istraživački rad
doc. Prokić Ivan
Docent