Escolar Documentos
Profissional Documentos
Cultura Documentos
Lógica de Programação - Algoritmos
Lógica de Programação - Algoritmos
O que é lógica?
A lógica, derivada do grego "logos", abrange dois significados principais: a aplicação do raciocínio
em atividades e o estudo normativo e filosófico do raciocínio válido. É discutida nas áreas de
filosofia, matemática e ciência da computação, destacando a harmonia de raciocínio e a
concordância entre termos. Na filosofia, abrange metafísica, ontologia, epistemologia e ética; na
matemática, estuda formas válidas de inferência em linguagem formal; na ciência da computação, é
essencial; e na teoria da argumentação também é explorada.
Origina-se de civilizações antigas como a Índia e a China, com marcos na Grécia Antiga,
especialmente com Aristóteles e sua obra Organon. Aristóteles distinguiu entre lógica formal e
material. Tradicionalmente, a lógica é dividida em três partes: raciocínio indutivo, raciocínio abdutivo
e raciocínio dedutivo.
Estudo da Lógica
O conceito de forma lógica é central à lógica, que se baseia na ideia de que a validade de
um argumento é determinada pela sua forma lógica, não pelo seu conteúdo.
• Lógica formal: Estudo da inferência com conteúdo puramente formal. Baseado no trabalho
inicial de Aristóteles. Inferência lógica e inferência com conteúdo puramente formal são
frequentemente consideradas a mesma coisa.
• Lógica matemática: Extensão da lógica simbólica. Aplicada em áreas como teoria dos modelos,
teoria da demonstração, teoria dos conjuntos e teoria da recursão.
Lógica e Computadores
A lógica desempenha um papel fundamental na computação, permeando todas as suas áreas. Ao
traduzir nossas atividades diárias em algoritmos, seguindo uma ordem lógica e produzindo
resultados específicos, a lógica formal se torna essencial para que os computadores executem
sequências de ações.
Nos anos 50 e 60, a ideia de que expressar o conhecimento humano em termos lógicos poderia levar
à criação de máquinas pensantes surgiu, inaugurando a era da inteligência artificial. No entanto, a
complexidade do raciocínio humano tornou essa tarefa mais desafiadora do que se previa.
Além disso, na lógica simbólica e matemática, os computadores podem ser utilizados para auxiliar na
demonstração de teoremas, encontrando e verificando provas, especialmente em casos de
demonstrações extensas. Enquanto isso, na ciência da computação, a álgebra booleana serve como
a base do projeto de hardware, destacando-se como uma ferramenta essencial neste campo em
constante evolução.
O que é algoritmo?
Algoritmo está presente em nossa vida, em nosso dia a dia, seja acessar um
site, realizar uma busca na internet, acessar redes sociais, assistir vídeos no
youtube, e muito mais.
O que é algoritmo? Definição
Algoritmos são criados a partir de uma lógica de programação, que seria nada
mais do que a sua ideia, pensamentos lógicos e organizados, algo que faça
sentido.
Algoritmos computacionais – Como
são criados?
Criando o primeiro
Algoritmo