Logica de Programação: Técnica de encadear pensamentos para atingir determinado objetivo

Lógica: Técnica de encadear pensamentos para atingir determinado objetivo.

Para atingir esses objetivos consideramos o sistema logico mais simples:

Logica Proposicional fundamentada em três passos básicos:

1; Especialização de uma linguagem, a partir da qual o conhecimento _e

Representado, considerando os conceitos de sintaxe e semântica

Associados _a linguagem;

2; Estudo de métodos que produzam ou verifiquem as sentenças ou os

Argumentos validos.) semântica e sintática das sentenças;

3: Definição de sistemas de dedução formal em que são considerados as

Noções de prova e consequência lógica.

Sentença = uma sequência de palavras que obedecem a certas regras

Gramaticais;

Proposição) _e uma sentença declarativa que pode ser interpretada

Como verdadeira ou falsa;

Lógica de programação: Significa o uso correto das leis do pensamento, da ordem da razão" de

Processos de raciocínio e simbolização formais na programação de

Computadores. (Forbellone e Eberspacher)

Objetivo: Racionalidade e o desenvolvimento de técnicas que cooperem para a

Produção de soluções logicamente validas e coerentes que resolvam

Com qualidade os problemas que se deseja programar.

O objetivo central do estudo da lógica de programação e a construção

De algoritmos coerentes e validos.

Algoritmo: Uma sequência de passos que visam atingir um objetivo bem definido.

Conjunto ordenado e nao-ambiguo de passos executáveis que definem uma

Atividade finita

Um conjunto de passos bem definidos para solução de um problema, como

Uma expressão matemática ou instruções num programa.

Todo algoritmo deve ter um nome que identique-o;

Possui um estado inicial; Possui sequencia lógica; Contem ações claras e precisas; Deve ser testável; Estar correto; Deve especificar as entradas esperadas; Deve produzir uma saída; Possui um estado final previsível; Deve ser eficaz;

Regras para construção de Algoritmos: Usar somente uma ação por frase; Imaginar que você está desenvolvendo um algoritmo para pessoas não técnicas; Usar sentenças curtas e simples; Especificar ações claras e precisas, que a partir de um estado inicial, após um período de tempo finito, produzem um estado final previsível e bem definido; Garantir que sempre que executado, sob as mesmas circunstâncias produza o mesmo resultado.