Теоријска настава: Алгебра логике. Булова алгебра. Формалне теорије. Аутоматско резоновање. Непроцедурни програмски језици, логичко програмирање. Основи фази логике и вештачке неуронске мреже. Практична настава: Израда постављених примера и задатака из домена исказне алгебре. Булове функције и њихова минимизација. Правило резолуције за предикатски рачун. Програмски језик Пролог. Упознавање и коришћење конкретних алата за развој фази логичких система и фази логичко управљање.
☗ Technical Faculty ,,Mihajlo Pupin" (Within University of Novi Sad) ⚲ Đure Đakovića bb, 23000 Zrenjanin ☎ Tel. +381 23 550-515 ☏ Fax: +381 23 550-520 ✉ е-mail: dekanat@tfzr.uns.ac.rs PIB: 101161200 Giro account number: 840-1271666-43
Accreditation Study Scientific conferences Journal Projects Documents Pricelist Cookie info
Copyright: Technical Faculty ,,Mihajlo Pupin" Zrenjanin, 2022. TFZR WEB TEAM E-mail: web@tfzr.rs
