Introdução à Lógica Matemática

Ementa

Objetivo

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

Departamento Responsável

• Departamento de 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

• Definições sobre Lógica e Lógica Matemática
• Cálculo Proposicional
• Álgebra dos Conjuntos
• Álgebra Booleana
• Circuitos
• Árvores de Refutação
• Cálculo de Predicados