Introdução a Lógica

Introdução a Lógica

Lógica de Programação, a disciplina básica e indispensável para todos que pretendem trabalhar como desenvolvedores de programas computacionais, os primeiros passos para entender como funciona essa máquina tão poderosa e indispensável quanto o computador e todas as suas variações.
Não pretendo me estender muito nos conceitos computacionais pois isso será discutido em G.S.O.1 porém de forma breve podemos dizer que todos os computadores tem duas divisões principais:
O Hardware, ou toda a estrutura física de um computador que inclui a CPU e seus periféricos.
O Software, ou toda a instrução lógica (esbarramos nesse termo novamente) que serve para orientar e instruir o hardware na execução de tarefa. Isso me faz lembrar uma citação do filme “Piratas do Vale do Silício” que vocês verão ainda nesse ciclo onde Bill Gates diz ao vender o Basic que um computador sem aquela linguagem não passa de uma caixa de luzes piscantes e é bem esse o raciocínio.
Essas instruções ditas acima estão organizadas em arquivos, programas e o próprio sistema operacional.
Um sistema lógico é um conjunto de axiomas e regras de inferência que visam representar formalmente o raciocínio válido. Diferentes sistemas de lógica formal foram construídos ao longo do tempo quer no âmbito escrito da Lógica Teórica, quer em aplicações práticas na computação e em Inteligência artificial.
A computação pode ser definida como a busca de uma solução para um problema a partir de entradas (inputs) e através de um algoritmo.
Um algoritmo é uma sequência finita de instruções bem definidas e não ambíguas, cada uma das quais pode ser executada mecanicamente num período de tempo finito e com uma quantidade de esforço finita.
Então quando falamos de lógica de programação falamos de instruções lógicas ou uma sequência de passos que visam alcançar um resultado lógico que geralmente é a solução de um problema.
Ao estudarmos a lógica de programação se faz necessário estudar as linguagens