Predmet: Odabrana poglavlja iz logike (17.0M507 )
Matične organizacione jedinice predmeta: Departman za opšte discipline u tehnici
Studijski programi predmeta:
Stepen i vrsta studija | Naziv |
---|---|
Master akademske studije |
Matematika u tehnici ( |
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 |
---|---|---|---|---|
Zoran Ognjanović, Silvia Gilezan: | Uvod u teorijsko računarstvo | 2012 | Zavod za udžbenike i nastavna sredstva, Beograd | Srpski jezik |
Janičić, P. | Matematička logika u računarstvu | 2009 | Matematički fakultet, Beograd | Srpski jezik |
1984 | Engleski | |||
2013 | Engleski | |||
2002 | Engleski | |||
2006 | Engleski | |||
2002 | Engleski |
Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
---|---|---|---|
Predmetna aktivnost Seminarski rad |
Predispitna Da |
Obavezna Da |
Broj poena 45.00 |
Predmetna aktivnost Prisustvo na vežbama |
Predispitna Da |
Obavezna Da |
Broj poena 2.00 |
Predmetna aktivnost Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
Predmetna aktivnost Prisustvo na predavanjima |
Predispitna Da |
Obavezna Da |
Broj poena 3.00 |
prof. dr Gilezan Silvia
Redovni profesor
Predavanja
vanr. prof. dr Ivetić Jelena
Vanredni profesor
Predavanja
Asistent Ciganović Radojka
Asistent