Introdução à Lógica Computacional - TIN0105

Obrigatória - 60 horas - 4 créditos
Pré-requisitos: nenhum
Professor Responsável: Alexandre Andreatta

OBJETIVOS DA DISCIPLINA

Capacitar o aluno a utilizar as linguagens proposicional e de predicados para expressar conhecimento. Prepara o aluno para aplicar métodos de teste de consistência de conjuntos de proposições compostas ou de sentenças nas duas linguagens. Qualificar o aluno na demonstração a validade de argumentos. Habilitar o aluno a fazer demonstrações simples por indução matemática. Capacitar o aluno a reconhecer e realizar definições recursivas, e a calcular as formas fechadas de funções recursivas simples.

EMENTA

Lógica proposicional e álgebra booleana. Lógica de predicados. Indução. Recursão.

CONTEÚDO PROGRAMÁTICO

METODOLOGIA

Aulas expositivas de conteúdo teórico, com a realização de exercícios ao longo das aulas.

AVALIAÇÃO

São três ao longo do período constando dos assuntos ministrados até o momento da prova. Se esta média M for maior ou igual a 7,0 (sete) o aluno estará aprovado, caso contrário deverá realizar prova final (PF). Neste caso, a nota final será composta pela média entre PF e M. Se a média final for inferior a 5,0 (cinco) o aluno estará reprovado, sendo superior ou igual, estará aprovado.

BIBLIOGRAFIA BÁSICA

BIBLIOGRAFIA COMPLEMENTAR