Ir para a página inicial
UFAC
Início » Licenciatura em Matemática » Currículo » Lógica para Computação
Licenciatura em Matemática
04
Informações Gerais
Disciplina
Lógica para Computação ( CCET010 )
Unidade
Centro de Ciências Exatas e Tecnológicas
Tipo
Optativa
Período Ideal no Curso
Não consta
Nota Mínima para Aprovação
5.0
Carga Horária
60
Nº de Créditos
3
Docentes
Wilker Luis Gadelha Maia
Objetivos
Não consta
Ementa

Lógica proposicional. Lógica sentencial e de primeira ordem. Sistemas dedutivos e axiomáticos. Completeza, consistência e coerência. Formalização de problemas. Notação. Prova de Teoremas. Resolução e refutação. Noções de Programação em lógica.

Programa
Não consta
V.2.0.201705161513 - Copyright © 2013 ASTEN.