Tcc squid

SISTEMA DE ENSINO PRESENCIAL CONECTADO ANÁLISE E DESENVOLVIMENTO DE SISTEMAS ADSON JOSÉ HONORI DE MELO FLÁVIO MÁRCIO SILVA GERISVALDO DA COSTA MACEDO VALDEMIA SOUSA OLIVEIRA WANDERLEY SOARES DA SILVA

PROGRAMAÇÃO PRÁTICA E LÓGICA

Palmas 2011

ADSON JOSÉ HONORI DE MELO FLÁVIO MÁRCIO SILVA GERISVALDO DA COSTA MACEDO VALDEMIA SOUSA OLIVEIRA WANDERLEY SOARES DA SILVA

PROGRAMAÇÃO PRÁTICA E LÓGICA

Trabalho interdisciplinar (Fundamentos de Lógica e Matemática Discreta, Organização de Computadores, Educação a Distância, Fundamentos da Administração da Informação e Linguagem e Tec. de Programação I) apresentado a Universidade Norte do Paraná - UNOPAR Professores: Denise Dias Eliane Araman Éverson Morais José R. Passini Veronice de Freitas

Palmas 2011

SUMÁRIO 1 2 2.1 2.2 3 INTRODUÇÃO .....................................................................................................3 DESENVOLVIMENTO .........................................................................................4 PARTE 1 – PROGRAMAÇÃO PRÁTICA, ALGORITMOS ................................4 PARTE 2 – TRADUÇÃO PARA LINGUAGEM LÓGICA .................................13 CONCLUSÃO ....................................................................................................15

REFERÊNCIAS .........................................................................................................16

3

1 INTRODUÇÃO O homem por natureza é um ser lógico. Aprender a usar e aperfeiçoar a Lógica são pré-requisitos essenciais para a formação de um bom programador, servindo-lhe como base sólida na utilização de qualquer linguagem de programação. O objetivo principal do estudo da Lógica de Programação é demonstrar técnicas para resolução de problemas ou ainda para automação de tarefas.

As conexões entre a Lógica e a Informática crescem e se aprofundam rapidamente. Ao lado da demonstração automática, da programação em lógica, da especificação e verificação de programas, outros setores