Fundamentos de Lógica e Algoritmos

  • Curso: Técnico Integrado em Informática

  • Disciplina: Fundamentos de Lógica e Algoritmos

  • Carga-Horária: 75h (100h/a)

EMENTA

Apresentar os conceitos, métodos e técnicas que guiam a construção de algoritmos.

PROGRAMA

Objetivos

  • Compreender a lógica de programação;
    
  • Elaborar algoritmos;
    
  • Conhecer as estruturas de dados básicas;
    
  • Compreender e saber utilizar os operadores da álgebra booleana;
    
  • Interpretar problemas de lógica proposicional.
    

Bases Científico-Tecnológicas (Conteúdos)

  1. Introdução a Lógica Matemática 1.1. Proposições e conectivos 1.2. Operações lógicas sobre proposições 1.3. Construção de tabelas-verdade 1.4. Tautologias, contradições e contingências.

  2. Implicação Lógica

  3. Equivalência Lógica

  4. Álgebra das proposições

  5. Métodos para determinação da validade de fórmulas da Lógica Proposicional

  6. Conceitos e implementações de algoritmos 6.1. Conceitos fundamentais 6.2. Tipos primitivos de dados 6.3. Memória, constantes e variáveis. 6.4. Operadores aritméticos, lógicos e relacionais. 6.5. Comandos básicos de atribuição e de entrada e saída de dados 6.6. Funções primitivas 6.7. Estruturas condicionais 6.8. Estruturas de repetição

Procedimentos Metodológicos

  • Aulas teóricas expositivas;
    
  • Aulas práticas em laboratório;
    
  • Desenvolvimento de projetos;
    

Recursos Didáticos

  • Quadro branco, computador, projetor multimídia.
    

Avaliação

  • Avaliações escritas e práticas,
    
  • Trabalhos individuais e em grupo (listas de exercícios, estudos dirigidos, pesquisas),
    
  • Apresentação dos trabalhos desenvolvidos.
    

Bibliografia Básica

  1. ALENCAR FILHO, Edgard de. Iniciação à Lógica Matemática. Ed. Nobel, 2002.

  2. LAGES & GUIMARAES. Algoritmos e Estrutura de dados. Ed. LTC, 1994.

  3. PINTO, Wilson Silva. Introdução ao desenvolvimento de algoritmos e estrutura de dados. Ed. Érica, 1991.

Bibliografia Complementar

                                             Software(s) de Apoio:
  • Visualg.