Lógica para Computação - Ementa e pré-requisitos

Ementa

• Lógica Proposicional.
• Linguagem e Semântica.
• Sistemas Dedutivos.
• Aspectos Computacionais.
• O Princípio da Resolução.
• Lógica de Predicados.
• Substituição e Resolução.
• Introdução ao PROLOG.
• Aplicações em Computação: Introdução à Especificação e Verificação de Programas.

Pré-requisitos

• Conhecimentos básicos de matemática do ensino médio, principalmente álgebra matemática.

Ou, baseado em http://portal.mec.gov.br/index.php?option=com_docman&task=doc_download&gid=841&Itemid= :

• Eixo cognitivo:
  • Dominar linguagens (DL): dominar a norma culta da Língua Portuguesa e fazer uso da linguagem matemática.

• Competência exigida:
  • Modelar e resolver problemas que envolvem variáveis socioeconômicas ou técnico-científicas, usando representações algébricas.
    • H19 - Identificar representações algébricas que expressem a relação entre grandezas.
    • H20 - Interpretar gráfico cartesiano que represente relações entre grandezas.
    • H21 - Resolver situação-problema cuja modelagem envolva conhecimentos algébricos.
    • H22 - Utilizar conhecimentos algébricos/geométricos como recurso para a construção de argumentação.
    • H23 - Avaliar propostas de intervenção na realidade utilizando conhecimentos algébricos.

• Objetos de conhecimento:
  • Conhecimentos algébricos: gráficos e funções; funções algébricas do 1.º e do 2.º graus, polinomiais, racionais, exponenciais e logarítmicas; equações e inequações; relações no ciclo trigonométrico e funções trigonométricas.
  • Conhecimentos algébricos/geométricos: plano cartesiano; retas; circunferências; paralelismo e perpendicularidade, sistemas de equações.