Aulas Teóricas: 78

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 Brasil, 2017. E-book. ISBN 9788522115952. Disponível em: https://integrada.minhabiblioteca.com.br/#/books/9788522115952/. Acesso em: 12 mar. 2024.

Idoeta, Ivan, V. e Francisco Gabriel Capuano. ELEMENTOS DE ELETRÔNICA DIGITAL 42ª edição. Disponível em: Minha Biblioteca, (42nd edição). Editora Saraiva, 2019.


BIBLIOGRAFIA COMPLEMENTAR

CAPUANO, Francisco G. Sistemas Digitais - Circuitos Combinacionais e Sequenciais. [Digite o Local da Editora]: Editora Saraiva, 2014. E-book. ISBN 9788536520322. Disponível em: https://integrada.minhabiblioteca.com.br/#/books/9788536520322/. Acesso em: 12 mar. 2024.

POLETTO, Alex S. R. Souza. Introdução à Lógica. Apostila em PDF, 2024.