Lógica para Computação - Ementa e pré-requisitos
De Wiki DAINF
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.
- Modelar e resolver problemas que envolvem variáveis socioeconômicas ou técnico-científicas, usando representações algébricas.
- 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.
Voltar a Lógica para Computação