Lógica matemática – Wikipédia, a enciclopédia livre http://pt.wikipedia.

org/wiki/Lógica_matemática

Lógica matemática
Origem: Wikipédia, a enciclopédia livre.

A lógica matemática é uma disciplina relacionada a lógica e a matemática,

consiste no estudo matemático da lógica e na aplicação deste estudo a outras
áreas da matemática. A lógica matemática guarda estritas conexões com a
ciência da computação. Foi também chamada de lógica simbólica. Inclui a
lógica clássica (de Aristóteles), mas com uma notação diferente, mais abstrata,
tomada da álgebra. Tradicionalmente dividida em Teoria dos Conjuntos, Teoria
dos Modelos, Teoria da Prova e Teoria da Recursão, inclui as partes da lógica
que podem ser modeladas e estudadas matematicamente.

Obtida de "http://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica"
Categoria: Lógica

Esta página foi modificada pela última vez às 15h03min de 25 de novembro

de 2010.
Este texto é disponibilizado nos termos da licença Atribuição-
Compartilhamento pela mesma Licença 3.0 Unported (CC-BY-SA); pode
estar sujeito a condições adicionais. Consulte as Condições de Uso para mais
detalhes.

Política de privacidade
Sobre a Wikipédia
Avisos gerais

1 de 1 10-02-2011 16:06