Predikaatloogika.
Loengu materjal õpikutes: [AIMA] 8.1-8.3, 9.4.2 [ARTINT]13 (kõike pole kindlasti tarvis lugeda, aga teemaga seotud osad on kuni 13.8-ni välja)
Päris hea eestikeelne loogikaõpik: PDF
Loenguslaidid: PDF