Introdução a Programação

Introdução à Programação
1ª aula
Prof. José Honorato F.N.

[e-mail]

Resumo da aula
Introdução à lógica de programação
Histórico da programação
Funcionamento do computador
Algoritmos
Representação de algoritmos
Atividades

Prof. José Honorato F. Nunes [e-mail] Conceitos
A lógica é a ciência do pensamento correto. Esta declaração não implica contudo em afirmar que ela seja a ciência da verdade. Mesmo que tudo o que se permita afirmar dentro da lógica seja supostamente verdadeiro em determinado contexto, as mesmas afirmações podem resultar falsas se aplicadas ao mundo real.
Prof. José Honorato F. Nunes [e-mail] Conceitos
Os filósofos da lógica afirmam que,
"para entender o que realmente acontece no mundo, precisamos entender o que não acontece", isto é, as propriedades invariantes das entidades ou objetos que o compõem. Prof. José Honorato F. Nunes [e-mail] Histórico
O uso da lógica na representação dos processos de raciocínio remonta aos estudos de Boole (1815-1864) e de De Morgan (18061871), sobre o que veio a ser mais tarde chamado "Álgebra de
Boole".
Deve-se ao matemático alemão Göttlob Frege (1879) a primeira versão do que hoje denominamos cálculo de predicados, proposto por ele como uma ferramenta para formalizar princípios lógicos.
No final do século passado a matemática havia atingido um estágio de desenvolvimento mais do que propício à exploração do novo instrumento proposto por Frege.

Prof. José Honorato F. Nunes [e-mail] Histórico
Um passo muito importante foi dado em 1930, em estudos simultâneos, porém independentes, realizados pelo alemão Kurt
Gödel e o francês Jacques Herbrand.
Em 1934, Alfred Tarski produziu a primeira teoria semântica rigorosamente formal do cálculo de predicados, introduzindo conceitos precisos para "satisfatibilidade", "verdade" (em uma dada interpretação), "conseqüência

lógica"