Fakultet tehničkih nauka

Predmet: Modeli izračunljivosti (17.D0M11L)

Osnovne informacije:
 
Kategorija Naučno-stručni
Uža naučna oblast Teorijska i primenjena matematika
ESPB 10

Sticanje osnovnih znanja iz teorije izračunljivosti i odlučivosti i uključivanje u naučno-istraživački rad.

Poznavanje osnovnih pojmova i rezultata iz teorije izračunljivosti i odlučivosti. Uključivanje u istraživanjeiz određenih modela izračunljivosti i odlučivosti, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.

Osnovi matematičke logike. Turingove mašine. Rekurzivne funkcije. Lambda račun bez tipova: sintaksa i semantika. Lambda račun sa tipovima: sintaksa i semantika.

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 diskutuje je sa nastavnikom na konsultacijama. Kroz studiski 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
Hankin, C. Lambda Calculi : A Guide for Computer Scientists 1994 Oxford University Press, Oxford Engleski
Barendrekt, H.P. Lambda Calculus : Its Syntax and Semantics 1984 North-Holland, Amsterdam Engleski
Predmetna aktivnost Predispitna Obavezna Broj poena
Predmetna aktivnost
Teorijski deo ispita
Predispitna
Ne
Obavezna
Da
Broj poena
50.00
Predmetna aktivnost
Seminarski rad
Predispitna
Da
Obavezna
Da
Broj poena
50.00
Predavanja
Studijski istraživački rad