grupa 131

1. Morfisme de algebre Boole si subalgebre Boole . 2. Semantica calculului cu predicate.

grupa 132

1. Teorema de completitudine. 2. Inchiderile relatiilor de congruenta.

grupa 133

1. Alg Lindenbaum Tarski a calculului propo itional. 2. Semantica calculului cu predicate.

grupa 1!1

1. Definitiile echivalente ale laticilor. 2. Teorema de completitudine a calculului propozitional.

grupa 1!2

1. La teorie am a"ut algebra Lindenbaum#Tarski. 2. Sinta$a calculului propo itional.

grupa 1%1

1. &ltrafiltre. 'iltre proprii. 2. Teorema deductiei.

grupa 1%2

1. &ltrafiltre. (nunt) demonstratie) e$emple) th de caracteri are si th de e$istenta. 2. Semantica calcului propo itional.

grupa 1%3 Teorema lui Stone. Limbajul calculului cu predicate. Inchideri. Alg Lindenbaum#Tarski.

1. nr. 1
o o

2. nr. 2
o o