University of Novi Sad Technical faculty "Mihajlo Pupin" Zrenjanin



Theoretical study:

Basics of algebra of logic and automated reasoning methods. Introducing the concept, structure and functioning of the system based on knowledge, use of nonprocedural programming languages ​​for the development of intelligent systems. Algebra of logic. Boolean algebra. Formal theories. Automated Reasoning. Nonprocedural programming languages, logic programming. Basics of fuzzy logic and neural networks.


Practical teaching:

Making the set of examples and tasks in the domain of propositional algebra. Boolean functions and their minimization. Resolution rule definition for predicate calculus. The programming language PROLOG. Identify and use specific tools for the development phase of the system logic and fuzzy logic control.


General information


Study program: Industrial Engineering, Bachelor degree


Semester: 6

Lectures: 2

Exercises: 1




Berković Ivana, full professor



Course books


1. Ivana Berković, The Elements of Artificial Intelligence Through Examples and Assignments (in Serbian), Technical Faculty "Mihajlo Pupin", Zrenjanin, 2006. 

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

3. Stuart Russell, Peter Norving, Artificial Intelligence - A Modern Approach, The First and Second Book (translation on Serbian of the third edition), RAF - CET, Belgrade, 2011.