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