Sem Nome

É a arte de bem pensar.

Ciência das formas de pensamento – estuda a correção do raciocínio (forma mais complexa do pensamento).

Visa a ordem da razão - Coloca ordem no pensamento.

É a ciência que estuda as leis e critérios de validade que regem o pensamento e a demonstração, ou seja, ciência dos princípios formais do raciocínio.Exemplos:

1) Todo mamífero é um animal. (premissa 1)

Todo cavalo é um mamífero. (premissa 2)

Portanto todo cavalo é um animal. (conclusão)

2) A gaveta está fechada. (premissa 1)

A caneta está dentro da gaveta. (premissa 2)

Precisamos primeiro abrir a gaveta, para depois pegar a caneta. (conclusão)Fatores que influenciam a lógica:

– calma

– conhecimento

– vivência

– versatilidade

– experiência

– criatividade

– ponderação

– responsabilidade e etc.Aplicação na programação Lógica de Programação

 Isto significa o uso correto das leis do pensamento, da ordem da razão e de processos de raciocínio e simbolização formais na programação de computadores, objetivando a racionalidade e o desenvolvimento de técnicas que cooperem para a produção de soluções logicamente válidas e coerentes, que resolvam com qualidade os problemas que se deseja programar.

 O objetivo principal da Lógica de Programação é a construção de algoritmos.É o conceito central da lógica de programação. Pois, ela consiste basicamente da construção de algoritmos.Estão presentes no dia-a-dia. Ex.:

–Tomar banho;

–Instruções para o uso de um aparelho eletrodoméstico;

–Receita de preparo de algum prato;

–Trocar pneu de um carro;

–Sacar dinheiro de um caixa eletrônico;•“Um conjunto finito de regras que provê uma seqüência de operações para resolver um tipo de problema específico”

[KNUTH]

•“Seqüência ordenada, e não ambígua, de passos que levam à solução de um dado problema”

[TREMBLAY]

•“Processo de cálculo, ou de resolução de um grupo de problemas semelhantes, em que se estipulam, com generalidade e sem restrições, as regras formais para a obtenção do resultado ou da solução do problema”

[AURÉLIO]o algoritmo corresponde a uma descrição de um padrão de comportamento, expresso em termos de um conjunto finito, ordenado e não ambíguo de ações, para resolver um problema.

- Para resolver um problema é necessário escolher uma abstração da realidade, ou seja interpretá-la, usando para isso a definição de um conjunto de dados que representa essa situação real.

- A abstração da