FATEC FACULDADE DE CINCIAS ADMINISTRATIVAS E DE TECNOLOGIA DEPARTAMENTO DE SISTEMAS DE INFORMAO

1. 1.1 1.2 1.3 1.4 1.5 2. 2.1 2.2 2.3 2.4 2.5 2.6 2.7 Sistemas de Numerao Os Sistemas: Binrio, Decimal, Octal e hexadecimal. Converses entre os Sistemas. Soma, Multiplicao e Subtrao em Binrio. Nmeros BCD8421. Adio em BCD8421 Circuitos Lgicos Digitais As portas lgicas AND, NAND, OR, NOR e o INVERSOR. Tabelas verdades e expresses obtidas de portas lgicas. Expresses booleanas geradas pelas portas lgicas. Obteno de circuitos atravs das expresses. Equivalncia entre blocos lgicos Digitais. Obteno de Inversores. Tabelas verdades p/ circuitos com: 2, 3, 4 ou mais variveis.

3. lgebra de Boole 3.1 Postulados e Propriedade da lgebra booleana. 4. 4.1 4.2 4.3 4.4 5. 5.1 5.2 5.3 6. 6.1 6.2 6.3 6.4 7. 7.1 7.2 7.3 7.4 7.5 Diagramas de Veitch Karnaugh Karnaugh para 2, 3, 4 e 5 variveis. Tabelas, expresses e circuitos maximizados Tabelas, expresses e circuitos minimizados. Casos em que no se admite simplificao. Lgica Simblica (Matemtica) Sentido lgico matemtico dos conectivos. NO, OU, E, SE .... ENTO...., SE E SOMENTE SE e a NEGAO. Linguagens simblicas. Lgica Sentencial Regras de formao de frmulas. Sistemas dedutivos. Decidibilidade da lgica sentencial. Valores verdades. O clculo Proposicional Enunciados simples e compostos. Os conectivos lgicos do clculo proposicional. Tabelas verdades geradas pelos conectivos lgicos. Tabelas verdades para enunciados do clculo proposicional. Tabelas verdades para WFFs.

7 Bibliografia Livro texto e referncia. IDOETA, Ivan valeije. Elementos de Eletrnica Digital. 25 ed. So Paulo: rica MONTEIRO, Mrio A. Introduo Organizao de Computadores. 3 ed. Rio de Janeiro LTC Leitura Complementar: COPI, Irving m. Introduo Lgica. 2 ed. So Paulo. Editora Mestre Jou DAGHLIAN, Jacob. LGICA E LGEBRA DE BOOLE. 4 Ed. So Paulo. Editora Atlas.