Sunteți pe pagina 1din 2

Teme referate LOGICA MATEMATICA SI APLICATII IN INFORMATICA 1) Refaceti constructia limbajului in scrierea fara paranteze (cu toate rezultatele

corespondente celor din curs) avand drept operatori logici negatia si conjunctia 2) Refaceti constructia limbajului in scrierea fara paranteze (cu toate rezultatele corespondente celor din curs) avand drept operatori logici negatia si implicatia 3) Refaceti constructia limbajului in scrierea cu paranteze (cu toate rezultatele corespondente celor din curs) avand drept operatori logici negatia si conjunctia 4) Refaceti constructia limbajului in scrierea cu paranteze (cu toate rezultatele corespondente celor din curs) avand drept operatori logici negatia si implicatia 5) Algebre Boole (definitii echivalente; proprietati) 6) Algebra Boole a functiilor booleene (inclusiv forma normala disjunctiva si conjunctiva) 7) Retele electrice 8) Exemplu de sistem axiomatic neechivalent cu cel al lui Hilbert; sistemul lui Tarski si Lukasiewicz 9) Demonstratia teoremei de existenta si unicitate a interpretarilor booleene 10) Problemele 6, 7 din fisierul probleme_1.pdf de pe grupul Yahoo: verificarea validitatii in versiune semantica (inclusiv cu ajutorul MAPLE); in caz afirmativ, verificare si in versiune sintactica 11) Problemele 8, 9 din fisierul probleme_1.pdf de pe grupul Yahoo: verificarea validitatii in versiune semantica (inclusiv cu ajutorul MAPLE); in caz afirmativ, verificare si in versiune sintactica 12) Problemele 10, 11 din fisierul probleme_1.pdf de pe grupul Yahoo: verificarea validitatii in versiune semantica (inclusiv cu ajutorul MAPLE); in caz afirmativ, verificare si in versiune sintactica 13) Problemele 12, 13 din fisierul probleme_1.pdf de pe grupul Yahoo: verificarea validitatii in versiune semantica (inclusiv cu ajutorul MAPLE); in caz afirmativ, verificare si in versiune sintactica 14) Problemele 6, 8, 14 din fisierul probleme_1.pdf de pe grupul Yahoo: verificarea validitatii in versiune semantica (inclusiv cu ajutorul

MAPLE); in caz afirmativ, verificare si in versiune sintactica 15) Sistemul axiomatic al lui Lukasiewicz 16) Sistemul axiomatic al lui Mendelson 17) Problema independentei axiomelor unui sistem axiomatic 18) Echivalenta a doua sisteme axiomatice 19) Tautologii remarcabile (minim 10 tautologii; verificare semantica si cu ajutorul MAPLE) 20) Versiunea semantica in scrierea fara paranteze 21) Cu ajutorul MAPLE, sa se indice care sunt concluziile posibile ale unui rationament cu urmatoarele ipoteze: Intr-un grup de 4 persoane fiecare afirma despre toate celelalte ca spun adevarul (respectiv ca mint). Verificare semantica pentru o varianta de rationament valid la alegere 22) Cu ajutorul MAPLE, sa se indice care sunt concluziile posibile ale unui rationament cu urmatoarele ipoteze: Intr-un grup de 5 persoane fiecare afirma despre toate celelalte ca spun adevarul (respectiv ca mint). Verificare semantica pentru o varianta de rationament valid la alegere 23) Cu ajutorul MAPLE, sa se indice care sunt concluziile posibile ale unui rationament cu urmatoarele ipoteze: Intr-un grup de 6 persoane fiecare afirma despre toate celelalte ca spun adevarul (respectiv ca mint). Verificare semantica pentru o varianta de rationament valid la alegere 24) Un algoritm/program pentru verificarea faptului ca un asamblaj in scrierea fara paranteze este echilibrat 25) Clasificarea operatorilor logici binari 26) Metateorema lui Herbrand importanta; istoric; demonstratie 27) Metateoreme din curs (demonstratie la cele care au doar enunt in curs minim trei metateoreme) 28) Metateoreme din curs (demonstratie la cele care au doar enunt in curs minim trei metateoreme) 29) Atomi; algebre Boole atomice 30) MV-algebre (definitie; proprietati) 31) Algebra Lindenbaum semantica 32) Algebra Lindenbaum sintactica 33) Multimi fuzzy 34) Numere fuzzy (definitie; operatii cu numere fuzzy; exemple)