Tcc squid

Disponível somente no TrabalhosFeitos
  • Páginas : 2 (455 palavras )
  • Download(s) : 0
  • Publicado : 10 de novembro de 2011
Ler documento completo
Amostra do texto
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 SILVAPROGRAMAÇÃ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 ELÓ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. deProgramaçã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 3INTRODUÇÃ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ólidana 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.

Asconexõ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...
tracking img