Bazele aritmetice si logice ale informaticii
1. Multimi ordonate

2. Latici


3. Algebre Boole


4. Filtre si congruente


5. Teorema de reprezentare a lui Stone


6. Algebre Boole atomice



Sistemul formal al calculului propozitional


1. Sintaxa calculului propozitional

2. Proprietatile sintactice ale lui L

3. Algebra Lindenbaum - Tarski

4. Semantica sistemului formal L

5. Multimi consistente. Teorema de completitudine extinsa

6. De la teorema de completitudine la teorema lui Stone

Realizator: aeneagu, Facultatea de chimie