Logica Matematica

CENTRO UNIVERSITÁRIO CARIOCA
CURSO DE ANÁLISE E DESENVOLVIMENTO DE SISTEMAS
Lógica Matemática

ATIVIDADE SUPERVISIONADA 2014.2
CONTEXTUALIZAÇÃO DE LÓGICA MATEMÁTICA PARA A GRADUAÇÃO EM COMPUTAÇÃO

Eberson Fernandes Cardoso
Novembro/2014

SUMÁRIO

1. INTRODUÇÃO...................................................................................................... 1.1 Apresentação do tema e sua contextualização

2. DESENVOLVIMENTO...........................................................................................

2.1 Explicações
2.2 Exemplo

3. CONCLUSÃO......................................................................................................

4. FONTES BIBLIOGRÁFICAS................................................................................

Capítulo 1
INTRODUÇÃO......................................................................................................

1.1 Apresentação do tema e sua contextualização

Nos dias atuais, a principal ferramenta utilizada para auxiliar no pensamento é o computador. Este instrumento foi desenvolvido, basicamente, por engenheiros, físicos e matemáticos. Na primeira metade do século XX, a história das máquinas de computação envolveu estatísticos, físicos e engenheiros elétricos em maior número que matemáticos. Máquinas de calcular de mesa e sistemas de cartões perfurados eram indispensáveis para negócios, bancos e para as ciências sociais. A régua de calcular tornou-se o símbolo do engenheiro; integradores de vários tipos eram usados por físicos e estatísticos. A situação mudou por volta de 1940, devido ao envolvimento de matemáticos no esforço de guerra. Embora a maior parte do esforço viesse de físicos e engenheiros, numerosos matemáticos jovens desempenharam um papel no desenvolvimento do computador eletrônico digital automático. Três desses matemáticos são destaques: John Von Neumann