Description
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
ECTS: 6
Semester: 6
Lectures: 2
Exercises: 1
Lecturer
Berković Ivana, full professor
Email: berkovic@tfzr.uns.ac.rs
Course books
