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

Fonte: Wikiversidade
Explorar interativamente o histórico
← Edição anteriorEdição posterior →
Conteúdo apagado Conteúdo adicionado
VisualTexto wiki
m r2.7.3) (Robô: A adicionar: es:Lógica Matemática A remover: fr:Département:Logique mathématique
conflit d'interwiki
Linha 19: Linha 19:


[[Categoria:Lógica Matemática|*{{SUBPAGENAME}}]]
[[Categoria:Lógica Matemática|*{{SUBPAGENAME}}]]

[[en:Elementary logic]]
[[es:Lógica Matemática]]

Revisão das 13h39min de 6 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

Obtida de "https://pt.wikiversity.org/w/index.php?title=Introdução_à_Lógica_Matemática&oldid=55027"