Lógica de Programação - Prof. Edson Pedro Ferlin

27/01/2014
Lógica de Programação
(Definições)
Prof. Edson Pedro Ferlin
1
by Prof. Edson Pedro Ferlin
Lógica
¡
¡
¡
¡
¡
¡
Uso corriqueiro (coerência e racionalidade)
Correção do pensamento
Arte de bem pensar
Correção do raciocínio
Ordem da razão
Ordem do pensamento
2
1
27/01/2014
by Prof. Edson Pedro Ferlin
Lógica Proposicional
¡
Todo o mamífero é um animal.
Todo cavalo é um mamífero.
Portanto, todo cavalo é um animal.
¡
Objetivo:
¡
¡
l
l
l
Estudo de técnicas de formalização;
Dedução;
Análise que permitam verificar a validade de
argumentos.
3
by Prof. Edson Pedro Ferlin
Lógica de Programação
¡
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 racionalidade e o desenvolvimento de
técnicas que cooperem para a produção de soluções
logicamente válida e coerente, que resolvam com
qualidade os problemas que se deseja programar.
Foberllone e Eberspacher
4
2
27/01/2014
by Prof. Edson Pedro Ferlin
Lógica e Algoritmos
¡
¡
¡
Raciocínio é algo abstrato, intangível e pode ser
expresso em qualquer idioma;
Lógica de programação pode ser representada por
inúmeras linguagens de programação, mas que são
atreladas a detalhes computacionais e que perdem o
raciocínio original;
Os algoritmos são utilizados para representar mais
fielmente o raciocínio da lógica de programação.
5
by Prof. Edson Pedro Ferlin
Algoritmos
(Objetivos)
¡
¡
¡
O objetivo principal do estudo da Lógica de
Programação é a construção de algoritmos coerentes
e válidos;
Algoritmo pode ser definido como uma sequencia de
passos que visam atingir um objetivo bem definido;
Na medida em que é necessário especificar uma
sequencia de passos, precisa-se pensar com ordem
ou seja com lógica;
6
3
27/01/2014
by Prof. Edson Pedro Ferlin
Algoritmos
(Conceitos)
¡
¡
¡
São comuns em nosso cotidiano;
Deve-se especificar ações claras e precisas, que a
partir de um estado inicial, após um período de
tempo, produzem um estado final previsível e bem
definido;
Estabelece um padrão de comportamento e que
sempre sob as mesmas condições, produza o
mesmo resultado;
7
by Prof. Edson Pedro Ferlin
Algoritmos
(Construção)
¡
Representar o raciocínio na Lógica de Programação;
¡
Abstrair detalhes computacionais;
¡
Pode ser traduzida para qualquer linguagem de
programação e ser agregada das funcionalidades
disponíveis nos diversos ambientes (processo de
codificação);
8
4
27/01/2014
by Prof. Edson Pedro Ferlin
Algoritmos
(Exemplos)
¡
Receitas
¡
Bulas
¡
Instruções
¡
Manuais
9
by Prof. Edson Pedro Ferlin
Algoritmos
(Definições)
¡
¡
É a descrição de um padrão de comportamento,
expressado em termo de um repertório bem definido
e finito de ações (comandos);
Deve ser determinístico, ou seja, as mesmas
condições iniciais deve produzir os mesmos
resultados.
10
5
27/01/2014
by Prof. Edson Pedro Ferlin
Algoritmos
(Representação)
Textual
¡
¡
¡
Português coloquial
Portugol
Pseudo-Código
Gráfica
¡
¡
¡
¡
Fluxograma Tradicional
Chapin
Máquina de estados
Tabela de estados
11
6