Fakultet tehničkih nauka

Predmet: Odabrana poglavlja iz logike (17.0M507)

Matične organizacione jedinice predmeta: Departman za opšte discipline u tehnici
Osnovne informacije:
 
Kategorija Akademsko-opšteobrazovni
Uža naučna oblast Teorijska i primenjena matematika
ESPB 5

Sticanje osnovnih znanja iz matematičke logike uključivanje u naučno-istraživački rad.

Poznavanje osnovnih pojmova i rezultata iz matematičke logike. Uključivanje u istraživanje u užoj oblasti iz odredjenih oblasti iz logike, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.

Osnovni pojmovi iz sintakse iskaznog računa. Klasična logika. Intuicionistička logika. Iskazni račun. Osnovni pojmovi iz sintakse predikatskog računa. Aksiomatski (Hilbertov) sistem, prirodna dedukcija (Gentzen, Prawitz), sekventni račun (Gentzen). Računske interpretacije logika: lambda račun i teorija kombinatora. Računi bez tipova. Osnovni računi sa tipovima. Curry-Howard korespondencija (formule-kao-tipovi, dokazi-kao-termi) izmedju logičkih sistema i lambda računa, odnosno teorije kombinatora. Osnovni pojmovi iz semantike logičkih sistema. Metod DPLL, metod tabloa, metod rezolucije.

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.

Autori Naziv Godina Izdavač Jezik
Pierce, B. Types and Programming Languages 2002 The MIT Press, Massachusetts Engleski
Zoran Ognjanović, Silvia Gilezan: Uvod u teorijsko računarstvo 2012 Zavod za udžbenike i nastavna sredstva, Beograd Srpski jezik
Pierce, B. Types and Programming Languages 2002 The MIT Press, Massachusetts Engleski
Janičić, P. Matematička logika u računarstvu 2009 Matematički fakultet, Beograd Srpski jezik
Barendregt, H.P. The lambda calculus 1984 North Holland, Amsterdam Engleski
Barendregt, H.P., Dekkers, W., Statman, R. Lambda Calculi with Types 2013 Cambridge University Press, Cambridge Engleski
Sorensen, M.H., Urzyczyn, P. Lectures on the Curry-Howard Isomorphism 2006 Elsevier, Amsterdam Engleski
Predmetna aktivnost Predispitna Obavezna Broj poena
Predmetna aktivnost
Teorijski deo ispita
Predispitna
Ne
Obavezna
Da
Broj poena
50.00
Predmetna aktivnost
Prisustvo na vežbama
Predispitna
Da
Obavezna
Da
Broj poena
2.00
Predmetna aktivnost
Seminarski rad
Predispitna
Da
Obavezna
Da
Broj poena
45.00
Predmetna aktivnost
Prisustvo na predavanjima
Predispitna
Da
Obavezna
Da
Broj poena
3.00
Predavanja
Predavanja
Auditorne vežbe