Fakultet tehničkih nauka

Predmet: Formalni modeli i metode za konkurentne sisteme (17.DOM66)

Osnovne informacije:
 
Kategorija Naučno-stručni
Uža naučna oblast
  • Primenjene računarske nauke i informatika
  • Teorijska i primenjena matematika
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 CCS, formalnog računa Pi i tipskih sistema za sesije sa jednim i više učesnika. Na kraju kursa, cilj je da se mladi istraživači uključe u rad međunarodnih istraživačkih timova.

Doktorandi vladaju znanjima iz osnovnih formalnih modela za konkurentne sisteme (CCS računom, Pi računom i tipovima sesija) i metoda za verifikaciju njihovih osobina. Doktorandi su upoznati sa trantnim stanjem u oblasti i uključeni u nacionalne ili međunarodne naučno-istraživačke timove.

Formalni model Pi za mobilne sisteme: sintaksa, redukciona semantika, sistem (LTS) sa funkcijama sa označenim prelascima. Ekvivalencija redukcione i LTS semantike. Bihejvioralne ekvivalencije. Tipski sistem za kontrolu pristupa kanalima. Bihejvioralni tipovi: binarni tipovi sesija i tipovi sesija sa više učesnika.

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
Sangiorgi, D., Walker, D. The Pi-Calculus : A Theory of Mobile Processes 2001 Cambridge University Press Engleski
Pierce, B. Types and Programming Languages 2002 The MIT Press, Massachusetts 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
Predavanja
Predavanja
Studijski istraživački rad
Studijski istraživački rad