Da Computabilidade Formal às Máquinas Programáveis

Abstract

(0) O Embrião da Ciência da Computação; (1) Calculadoras Macânicas, a pré-história dos computadores; (2) Alonzo Church, funções computáveis; (3) Alan Turing, a computação sem computador; (4)A Computabilidade de Emil Post; (5)Funções Recursivas Computáveis; (6)O Legado de von Neumann; (7) Shannon, da álgebra de Boole à matemática da comunicação; (8)Breve história dos primeiros computadores; (9)História da Teoria da Complexidade; (10)Modelos de computação em grafos ; (11)Lógicas Clássicas e Não-Clássicas; (12)Visão Abstrata de Dados; (13)O paradigma da computação ubíqua; (14) O Futuro, a computação quântica.