Slides_Videoaula_1

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

1
Lógica e Estatística
Ms. Eng. Claudio Ferreira de Carvalho
2
AULA 01
Evolução dos conceitos de lógica
Introdução
Segundo Parmênides (530 à 460 a. C. ) e Platão (428 à 348 a. C).
Ms. Eng. Claudio F de Carvalho
Lógica estuda as condições em que podemos 
afirmar que um dado raciocínio é correto.
Parmênides
Platão
3
Introdução
Aristóteles (384 à 322 a. C).
Ms. Eng. Claudio F de Carvalho
Conceituou lógica como uma ciência autônoma.
Aristóteles
A matriz aristotélica persiste até os dias atuais.
Métodos dedutivos e indutivos
Lógica aristotélica baseada em métodos dedutivos.
Ms. Eng. Claudio F de Carvalho
Parte do geral para o particular
Aristóteles
Lógica indutiva.
Parte do particular para o geral
4
Lógica como um cálculo
Meados do século XIX investigadores matemáticos conceberam.
Ms. Eng. Claudio F de Carvalho
Lógica como uma álgebra
Enunciados passaram 
a ser temporais.
Lógica Booleana
Século XIX George Boole apresentou os princípios da Lógica Matemática.
Ms. Eng. Claudio F de Carvalho
Venceu restrições impostas 
por Aristóteles
Podem existir uma infinidade 
de raciocínios válidos e uma 
infinidade de não válidos 
Ernest Schroder no livro “Lições sobre álgebra lógica” deu forma à Lógica 
Booleana.
5
Cálculo proposicional
Apresentado por Frege como evolução dos conceitos da lógica Booleana.
Ms. Eng. Claudio F de Carvalho
Criou um sistema capaz de transformar 
as demonstrações matemáticas em 
raciocínios dedutivos
Aplicações da lógica entre os séculos XVII e XIX
Blaise Pascal 1642 
Ms. Eng. Claudio F de Carvalho
Primeira máquina de somar 
Leibniz 1694 Calculadora com 4 operações e raiz quadrada
Charles Babbage 1847 Máquina analítica
Herman Holletith 1890 Eletronic Tabulating
Apresentou em tempo recorde o 
resultado do censo norte americano
6
Aplicações da lógica entre os séculos XVII e XIX
A Eletronic Tabulating de Herman Hollerith possuía 5 características comuns 
aos atuais computadores:
Ms. Eng. Claudio F de Carvalho
Mecanismo de entrada
Memória para armazenar informações
Unidade lógica aritmética
Unidade de controle
Unidade de saída
Input
Memória
ULA
UC
Output
Aplicações da lógica a partir do século XX
Primeiro computador (eletromecânico) 
Ms. Eng. Claudio F de Carvalho
IBM – Havard – Mark 1
Eniac
Não era eletrônico.
Primeiro computador eletrônico 
EDVAC Com ampla utilização 
da lógica Booleana.
Primeiro computador a trabalhar na base binária
Não trabalhava na 
linguagem binária.
7