Логичка парадигма¶
- Логичка парадигма
- Исказна логика
- SAT решавачи
- Исказна логика - квиз
- Предикатска логика
- Примена аутоматских доказивача теорема
- Предикатска логика - квиз
- Програмски језик Prolog
- Дрво извођења
- Сечење (рез)
- Аритметичка израчунавања у језику Prolog
- Листе
- Логичке загонетке
- Prolog - задаци за самостални рад