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.