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
conflit d'interwiki
m r2.7.3) (Robô: A adicionar: en:Elementary logic, es:Lógica Matemática
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 21h11min de 7 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=55029"