Introdução à Lógica Matemática

Ementa

Bem vindo ao curso Introdução à Lógica Matemática

Objetivo
Capacitar o aluno a entender a Lógica Clássica e Lógica Matemática.

Nível do curso
Superior.

Pré-requisito
Ensino Médio Completo.

Programa
Lógica clássica e matemática.

História e desenvolvimento da Lógica.

Cálculo proposicional.

Álgebra dos conjuntos e booleana.

Circuitos lógicos.

Árvores de refutação.

Cálculo de Predicados.

Obrigatório

Nas Ciências da Computação para disciplinas de Prolog, Programação e Estrutura de Dados.

Índice de aulas