Lista întrebărilor pentru examenul la disciplina ”Logica Computaţională ”

1. Noţiune de propoziţie. Operaţii asupra propoziţiilor.

2. Formule în algebra propoziţională. Formule echivalente.
3. Formule identic adevărate, identic false şi realizabile. Problema deciziei.
4. Algebre. Algebre booleene.
5. Formule duale. Legea (principiul) dualitîţii.
6. Forme normale. Proprietăţile formelor normale (teoremele respective).
7. Teoremele de existență a formelor normale ale formulelor.
8. Forme normale perfecte. Teoremele despre existenţa şi unicitatea formei normale perfecte
disjunctive (conjunctive).
9. Funcţiile booleene. Variabilă şi dependenţă fictivă. Echivalenţa funcţiilor.
10. Definirea funcţiilor booleene prin metoda analitică (operaţiile: înlocuirea argumentului,
substituţia şi superpoziţia funcţiilor, definiția formulei).
11. Realizarea funcţiilor booleene prin formule (descompunerea după un argument, după m
argumente; forme normale perfecte).
12. Noţiune de sistem funcţional complet. Teorema despre condiţiile necesare ca un sistem de
funcţii să fie complet. Exemple de sisteme funcţional complete.
13. Reprezentarea polinomială a funcţiei booleene. Teorema despre existenţa şi unicitatea formei
polinomiale a funcţiei booleene.
14. Mulţimi funcţional închise. Definirea funcţiilor din mulţimile T0, T1, S, M, L.
15. Teoremele despre mulţimile T0, T1, S, M, L .
16. Teorema (criteriul) de completitudine funcţională.