Introdução à Lógica Matemática: diferenças entre revisões

Explorar interativamente o histórico

← Edição anterior Edição posterior →

Conteúdo apagado Conteúdo adicionado

VisualTexto wiki

Em linha

Revisão das 11h19min de 4 de janeiro de 2013

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

@@ Linha 21: / Linha 21: @@
 [[en:Elementary logic]]
+[[es:Lógica Matemática]]
-[[fr:Département:Logique mathématique]]