Din cartea de Inteligenta artificiala vom primi:- o problema din calcul propozitional;- o problema cu logica de ordinul 1 - cu metoda 6;- o problema cu labirint;- 1-2 subiecte de teorie; (Cap.2 - pg.38-45, pg.75-82; Calcul propozitional, Logica de ordinul 1, Procedura de transfer a formulelor in forma normala, Logica polivalenta, Cap.4 - pg.167-183);