Aulas Teóricas: 76

A) EMENTA
Cálculo proposicional. Álgebra de Boole. Portas Lógicas. Circuitos Combinacionais. Comandos condicionais com operadores lógicos, operadores matemáticos. Criação de variáveis.

B) OBJETIVOS / COMPETÊNCIAS
Estudo introdutório da lógica matemática e da teoria dos sistemas formais. Estudo da Álgebra de Boole. Utilização dos conceitos de lógica em Ciência da Computação, principalmente em microprocessadores e de sistemas digitais, criando condições para que o aluno desenvolva pré-requisitos necessários ao desenvolvimento de sua formação como profissional na área de Informática.

C) BASES TECNOLÓGICAS (CONTEÚDO PROGRAMÁTICO)
1. Cálculo Proposicional
1.1. Proposição
1.2. Conectivos Lógicos
1.3. Tabelas Verdade
1.4. Tautologia, Contradições e Contingência
1.5. Implicação e Equivalência
2. Álgebra de Boole
2.1. Operações Lógicas sobre Proposições
2.2. Construção de Tabelas Verdade
2.3. Álgebra de Boole
2.4. Funções Booleanas
2.5. Minimização de Funções
3. Circuitos Digitais
3.1. Portas Lógicas
3.2. Circuitos Combinacionais
3.3. Mapas de Veitch-Karnaugh
4. Sistema de Numeração
4.1. Introdução
4.2. Sistema Decimal
4.3. Sistema Binário e suas conversões
4.4. Sistema Octal e suas conversões
4.5. Sistema Hexadecimal e suas conversões
5. Estudo de problemas e casos de raciocínio lógico através de algoritmos utilizando comandos condicionais operadores matemáticos e lógicos, criação de variância e conceitos algorítmicos.


D) ATIVIDADES DISCENTES
1. Trabalhos extra-classe
2. Exercícios em sala de aula


E) AVALIAÇÃO
O aluno será avaliado na forma de:
1. Provas Semestrais
2. Lista de Exercícios a cada aula
3. Trabalhos Práticos e Teóricos


F) BIBLIOGRAFIA BÁSICA
ALENCAR FILHO, Edgard. Iniciação à Lógica Matemática. Nobel, 1996.
BISPO, Carlos Alberto F.; CASTANHEIRA, Luiz B.; FILHO, Oswaldo Melo S. Introdução à Lógica Matemática. Cengage Learning, 2011.
IODETA, Ivan V. & CAPUANO, Francisco G. Elementos de Eletrônica Digital. 6ª edição. São Paulo: Érica, 1984.
LOURENÇO, Antonio Carlos. Circuitos Digitais - Estude e Use. Érica, 2001.


BIBLIOGRAFIA COMPLEMENTAR
ALENCAR FILHO, Edgard. Teoria Elementar dos Conjuntos. 20ª edição. SãoPaulo: Nobel, 1985.
CASTRUCCI, Benedito. Elementos de Teoria dos Conjuntos. 12ª edição. São Paulo:Nobel, 1986.
COPI, Irving M. Introdução à Lógica. 2ª edição. São Paulo: Mestre Jou, 1978.
DAGHLIAN, Jacob. Lógica e Álgebra de Boole. São Paulo: Atlas, 1986.
ERCEGOVAC, Milós. Introdução aos Sistemas Digitais. Makron Books, 2001.
LANGDON, Glen Georde Jr. Projeto de Computadores Digitais. 2ª edição, 2001.
LIPSCHUTZ, Seymour. Teoria dos Conjuntos. 1ª edição. Rio de Janeiro: McGrawHill, 1970.
MENDELSON, Elliott. Álgebra de Boole e Circuitos de Chaveamento. São Paulo: McGraw
Hill do Brasil, 1977.
Coleção SCHAUM.
POLETTO, Alex S. R. Souza. Introdução à Lógica. Apostila, 2022.