Nr 3 era asa:

1) a) Sa se scrie definitia la FNCP .

b) Sa se studieze monotonia unei functii (data de ei )
2) a) Definitia constructiva a subformulelor (ceva de genu)
b) o formula pe care sa aplici algoritmul lui horn
3) a) ( nu mai stiu :D)
b) sa aplici pe o formula Julia Robinson
4) a) Definitia Teoriei Logice
b) un exercitiu cu SD ( o gramada de implicatii )