Упознавање са основама алгебре логике и методама аутоматског резоновања. Упознавање са концепцијом, структуром и функционисањем система базираних на знању, коришћење непроцедурних програмских језика за развој интелигентних система. Упознавање са могућностима фази логичких система. Развој интелектуалних способности за сложеније радне задатке аналитичко-синтетичке и пројектантске природе.
☗ Технички факултет Михајло Пупин (у оквиру Универзитета у Новом Саду) ⚲ Ђуре Ђаковића бб, 23000 Зрењанин ☎ Тел. +381 23 550-515 ☏ Факс: +381 23 550-520 ✉ е-пошта: dekanat@tfzr.uns.ac.rs ПИБ: 101161200 Број жиро рачуна: 840-1271666-43