Fakultet tehničkih nauka

Predmet: Matematička logika (17.IFE230)

Matične organizacione jedinice predmeta: Departman za opšte discipline u tehnici, Katedra za matematiku
Osnovne informacije:
 
Kategorija Naučno-stručni
Uža naučna oblast Teorijska i primenjena matematika
ESPB 5

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. Curry-Howard korespondencija (formule-kao-tipovi, dokazi-kao-termi i programi) između logičkih sistema i formalnih računa.

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
Lawrence Paulson Logic and Proof, course notes 2014 online Engleski
Janičić, P. Matematička logika u računarstvu 2007 Matematički fakultet, Beograd Srpski jezik
Kosta Došen Osnovna logika 2013 Matematički institut SANU Srpski jezik
Michael Huth, Mark Ryan Logic in Computer Science: Modelling and Reasoning about Systems 2012 Cambridge University Press Engleski
Zoran Ognjanović, Silvia Gilezan Uvod u teorijsko računarstvo 2014 FTN Srpski jezik
Predmetna aktivnost Predispitna Obavezna Broj poena
Predmetna aktivnost
Pismeni deo ispita - kombinovani zadaci i teorija
Predispitna
Ne
Obavezna
Da
Broj poena
70.00
Predmetna aktivnost
Domaći zadatak
Predispitna
Da
Obavezna
Da
Broj poena
10.00
Predmetna aktivnost
Test
Predispitna
Da
Obavezna
Da
Broj poena
20.00
Predavanja
Predavanja
Auditorne vežbe