1. Arhitectura Sistemelor de Calcul Grigore ALBEANU ©galbeanu

2. BAZELE LOGICE ALE SISTEMELOR DE CALCUL Latici şi algebre Boole Latici şi algebre Boole Funcţii booleene. Forme normale Funcţii booleene. Forme normale Aplicaţii Aplicaţii Modelarea sistemelor digitale Modelarea sistemelor digitale Exerciţii Exerciţii ©galbeanu 2

3. Latici şi algebre Boole 2.1 ©galbeanu

7. http://turnbull.mcs.st-and.ac.uk/history/ Mathematicians/Boole.html Logica cuantica George Boole (1815-1864), matematician englez care a propus o nouă abordare a logicii (prin introducerea algebrelor ce astăzi îi poartă numele). S-a mai ocupat de calculul cu diferenţe finite, ecuaţii diferenţiale şi metode specifice teoriei probabilităţilor ©galbeanu Constructive Solid Geometry (games !, Virtual Worlds)

8. ©galbeanu http://www.cis.udel.edu/~pinkham/lattice/ http://graffletopia.com/images/stencils/5.gif

9. Funcţii booleene. Forme normale ©galbeanu 2.2

10. Nu toti operatorii la nivel de bit (C, Java) sunt obtinuti din functii booleene ©galbeanu

11. http://www.labri.fr/perso/strandh/Teaching/AMP/Common/Strandh- Tutorial/computer2.jpg

12. ©galbeanu

13. Functii booleene simple ©galbeanu

14. Exemple ©galbeanu

15. Aplicatii Forma minimala (simplificarea expresiilor booleene) Forma minimala (simplificarea expresiilor booleene) Circuitul sumator Circuitul sumator Comparatorul Comparatorul 2.3 ©galbeanu

16. Simplificarea expresiilor booleene 1.ESPRESSO Algorithm (Univ of California, Berkeley) 2.Algoritmul Quine McCluskey (oricate variabile) 3.Diagrame Karnaugh (maxim 6 variabile) 4.Aplicarea regulilor de calcul ©galbeanu

17. Diagrame Karnaugh ©galbeanu http://www.puz.com/sw/karnaugh/kmap12.exe http://kauai.theoinf.tu-ilmenau.de/~sane/projekte/karnaugh/embed_karnaugh.html

18. Algoritmul Quine McCluskey ©galbeanu http://user.cs.tu-berlin.de/~lordmaik/projects/quinemccluskey/quinemccluskey/quineapplet.htm

19. Algoritmul ESPRESSO MINILOG: http://pico1.e.ft.fontys.nl/publicad.html Minimizator logic euristic

20. Sumatorul (Adder) ©galbeanu

21. Comparatorul ©galbeanu

22. Modelarea sistemelor digitale (§3.1.7) 2.4 ©galbeanu

26. Exercitii ©galbeanu