Predmet: Matematička logika (17.IFE230 )
Matične organizacione jedinice predmeta: Departman za opšte discipline u tehnici, Katedra za matematiku
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Osnovne akademske studije | Informacioni inženjering (Godina: 2, Semestar: Letnji) |
Sticanje osnovnih znanja iz matematičke logike sa primenom u računarstvu. Razvijanje apstraktnog razmišljanja i formalnog zaključivanja kod studenata.
Poznavanje osnovnih pojmova i rezultata iz matematičke logike. Osposobljenost studenta da stečena znanja i veštine koristi u daljem obrazovanju i primeni.
1) Osnovni pojmovi iz sintakse iskaznog računa.
2) Klasična logika. Intuicionistička logika.
3) Aksiomatski sistem, prirodna dedukcija, sekventni račun.
4) Osnovni pojmovi iz sintakse predikatskog računa.
5) Osnovni pojmovi semantike logičkih sistema. Metod DPLL, metod tabloa, metod rezolucije.
6) Računske interpretacije logika: lambda račun i teorija kombinatora. Računi bez tipova. Osnovni računi sa tipovima.
Predavanja. Vežbe. Konsultacije. Na predavanjima se izlaže teoretski deo gradiva propraćen karakterističnim primerima radi lakšeg razumevanja gradiva. Na vežbama se rade zadaci koji prate predavanja i uvežbava se gradivo sa predavanja. Pored predavanja i vežbi, redovno se održavaju konsultacije.
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| 2014 | Engleski | |||
| Kosta Došen | Osnovna logika | 2013 | Matematički institut SANU | Srpski jezik |
| Janičić, P. | Matematička logika u računarstvu | 2007 | Matematički fakultet, Beograd | Srpski jezik |
| 2012 | Engleski | |||
| Zoran Ognjanović, Silvia Gilezan | Uvod u teorijsko računarstvo | 2014 | FTN | Srpski jezik |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Domaći zadatak |
Predispitna Da |
Obavezna Da |
Broj poena 10.00 |
| Predmetna aktivnost Test |
Predispitna Da |
Obavezna Da |
Broj poena 20.00 |
| Predmetna aktivnost Pismeni deo ispita - kombinovani zadaci i teorija |
Predispitna Ne |
Obavezna Da |
Broj poena 70.00 |
prof. dr Gilezan Silvia
Redovni profesor
Predavanja
vanr. prof. dr Ivetić Jelena
Vanredni profesor
Predavanja
Asistent sa doktoratom dr Prokić Simona
Asistent sa doktoratom
