Logic

Pre-requisites: None

Course objectives: Student should learn the formal language of first-order predicate logic, they should learn to decide what formulae are tautologies and to construct proofs in a natural deduction system for classical first-order predicate logic.

Course description: Classical propositional and first-order predicate logic, basic concepts about syntax and semantics, basic concepts about natural deduction.

Learning Outcomes: Student have mastered the formal language of first-order predicate logic, they have learned to decide what formulae are tautologies, and they can construct proofs in a natural deduction system for classical first-order predicate logic.

Literature/Reading:

• A. Kron, Logika, Filozofski fakultet, Univerzitet u Beogradu, 1998, str. 1-184
• M. Božić i S. Vujić, Matematička logika sa elementima opšte logike, Naučna knjiga, Beograd, 1979
• D. van Dalen, Logic and Structure, više izdanja počevši od drugog, Springer, Berlin, 1983, glave 1 i 2
• E.Dž. Lemon, Upoznavanje sa logikom, drugo izdanje, Jasen, Nikšić, 2002, glave 1-4
• S. Vujošević, Matematička logika, CID, Podgorica, 1996
• S. Prešić, Elementi matematičke logike, Zavod za izdavanje udžbenika, Beograd, 1972
• Žana Kovijanić Vukićević i Slobodan Vujošević, Uvod u logiku, Podgorica, 2009, elektronska verzija slobodno dostupna na Internetu
• Mirjana Borisavljević, Uvod u logiku, I deo, Saobraćajni fakultet, Beograd, 2009
• P. Janičić, Matematička logika u računarstvu, Matematički fakultet, Beograd, 2004, glava 2, naročito odeljak 2.3.2, glava 3, naročito odeljak 3.3.1
• Kosta Došen, Osnovna logika, 2013, elektronsko izdanje, slobodno na Internetu, najosnovnija literatura