2) Quais são As Influências Da Matemática Na Programação lógica?

Assunto: 04/08/2014 20:25 - Paradigma da Lógica de programação

Publicada por: RENAN VIANNA PIEDADE (101419)

Faça uma pesquisa sobre programação lógica e identifique as principais características

desse paradigma.

Nessa pesquisa, você deverá abordar os seguintes aspectos:

1) Quais são os principais fatos históricos da programação lógica?

Resposta: Aristóteles (384 a.C.-322 a.C.), filósofo grego. Produziu uma obra rica e multifacetada. Nela encontramos uma exaustiva compilação dos conhecimentos do seu tempo, mas também uma filosofia que ainda hoje influência a nossa maneira de pensar.

Responsável por escrever os primeiros grandes trabalhos de lógica:

- Coleção de regras para raciocínio dedutivo que pode ser usado em qualquer área do conhecimento.

- Gottfried Wilhelm Leibniz (1646-1716), filósofo e matemático alemão, provavelmente mais conhecido por ter inventado o cálculo integral e diferencial independentemente de Isaac Newton. Propõe o uso de símbolo para mecanizar o processo de raciocínio dedutivo.

- George Boole (1815-1864), matemático e filósofo inglês.

- Augustus de Morgan (1806-1871), matemático inglês.

Propõe em bases da lógica simbólica moderna usando as idéias de Leibniz.

2) Quais são as influências da matemática na programação lógica?

Resposta: O sentido da programação lógica é trazer o estilo da lógica matemática a programação de computadores. Matemáticos e filósofos encontram na lógica uma ferramenta eficaz para desenvolvimento de teorias. Vários problemas são naturalmente expressos como teorias. Dizer que um problema precisa de solução freqüentemente equivale a perguntar se uma nova hipótese é consistente com uma teoria existente ou se é conseqüência dela. A lógica proporciona uma maneira de demonstrar se uma questão é verdadeira ou falsa.

3) O que é Prolog?

4) Enumere cinco aplicações em que a programação lógica pode ser utilizada.

Interaja, comentando as mensagens enviadas pelos seus colegas no Fórum.