University of Novi Sad Technical faculty "Mihajlo Pupin" Zrenjanin



Theoretical study:

Mathematical language and mathematical objects. Number systems. The statements and logical operations. Algebra of logic. Tautology. The laws of logical thinking. Boolean algebra. Boolean equations and inequalities. Boolean functions. Canonical form and the minimization of Boolean functions. Axiomatic theory. Contents and formal theory. Propositional accounts. Quantification accounts. Semantic and syntactic conception of the first order. Valid formulas and theorems of K account. Special quantification and predicate accounts. The formalization of the language of predicate account. Basis of fuzzy logic.


Practical teaching:

Making the set of examples and problems.


General information


Study program: Information Technology, Bachelor degree


Semester: 1

Lectures: 2

Exercises: 2




Berković Ivana, full professor



Course books


1.  Hotomski Petar, Malbaški Dušan, Mathematical Logic and Principles of Programming (in Serbian), Technical Faculty "Mihajlo Pupin", Zrenjanin, 2012.