Historia da Computacao: O caminho do pensamento e da tecnologia

Capa......Page 1
Título......Page 4
Copyright......Page 5
Prefácio......Page 6
Do autor......Page 8
Índice......Page 9
1 – Introdução......Page 13
1.1 Ordenação dos assuntos......Page 14
2 – Uma reflexão sobre a História......Page 16
2.1 A História e suas interpretações......Page 17
2.2 A História da Ciência......Page 19
2.3 Enfoque histórico adotado......Page 21
3.1 Necessidade de discernir fundamentos......Page 23
3.2 Incentivo à educação para a qualidade do software......Page 24
3.3 Tornar claros e ligar os fatos......Page 26
3.5 Revalorizar o fator humano......Page 27
4.1.1 A evolução do conceito de número e da escrita numérica......Page 29
4.1.2 Desenvolvimentos iniciais da ciência do cálculo......Page 35
4.1.3 A Lógica de Aristóteles......Page 36
4.1.4 A contribuição dos megáricos e estóicos......Page 39
4.1.5 Euclides e o Método Axiomático......Page 40
4.1.6 Diophantus, al-Kharazmi e o desenvolvimento da Álgebra......Page 42
4.1.7 A automatização do raciocínio......Page 45
4.2.1 Leibniz, o precursor da Lógica Matemática moderna......Page 49
4.2.2 O problema da notação......Page 53
4.3 A lógica matemática no século XIX......Page 54
4.3.1 Boole e os fundamentos da Lógica Matemática e da Computação......Page 56
4.3.2 A importância de Frege e Peano......Page 58
4.4 O desenvolvimento da Lógica Matemática......Page 61
4.5 A crise dos fundamentos e as tentativas de superação......Page 62
4.5.1 A figura de David Hilbert......Page 64
4.6.1 Um pouco de história......Page 68
4.6.2 Verdade e demonstrabilidade......Page 71
4.6.3 Outras conquistas......Page 73
4.7 Alan Mathison Turing: o berço da Computação......Page 74
4.7.1 A Máquina de Turing......Page 75
4.7.2 O problema da parada e o problema da decisão......Page 76
4.7.3.1 Decifrando códigos de guerra......Page 77
4.7.3.2 O computador ACE e inteligência artificial......Page 78
4.7.3.3 Programação de computadores......Page 79
4.8 A tese de Church-Turing e outros resultados teóricos......Page 80
5.2 Logaritmos e os primeiros dispositivos mecânicos de cálculo......Page 85
5.3 Charles Babbage e suas máquinas......Page 86
5.3.1 A máquina de Jacquard, inspiração de Babbage......Page 89
5.3.2 Uma Lady como primeira programadora......Page 90
5.4 Outras Máquinas Diferenciais e Máquinas Analíticas......Page 91
5.5 A última contribuição do século XIX: Herman Hollerith......Page 92
5.6 Computadores analógicos......Page 93
5.6.1 Primeiras evoluções: século XV......Page 95
5.6.2 Michelson e seu analisador harmônico; I Guerra Mundial......Page 96
5.6.3 Computadores analógicos eletromecânicos......Page 97
5.7 Circuitos elétricos e formalismo lógico: Claude Elwood Shannon......Page 98
6.1.1 Konrad Zuse......Page 101
6.1.2 As máquinas da Bell e as máquinas de Harvard......Page 102
6.2 O início da era da computação eletrônica......Page 103
6.2.1 Estados Unidos: ENIAC, EDVAC e EDSAC......Page 104
6.2.3 Outras contribuições......Page 105
6.3.1 Alguns aspectos teóricos......Page 109
6.3.3 As primeiras tentativas......Page 111
6.3.4 Konrad Zuse e seu ‘Plancalculus’......Page 112
6.3.5 O diagrama de fluxos......Page 113
6.3.6 A contribuição de Haskell......Page 115
6.5 Os primeiros ‘compiladores’......Page 116
6.6 A figura de von Neumann......Page 117
6.6.1 O conceito de programa armazenado......Page 119
6.6.2 A arquitetura de von Neumann......Page 122
7.2 O desenvolvimento das linguagens......Page 123
7.3 Arquiteturas de computadores e sistemas operacionais......Page 127
7.4 Uma nova mentalidade......Page 130
7.5 A Computação como Ciência......Page 131
7.6 A inteligência artificial......Page 134
7.7 Uma nova disciplina: a cibernética......Page 137
8.1 O domínio e o controle das informações......Page 139
8.2 O equilíbrio entre o toque humano e a tecnologia......Page 140
9 – Conclusão......Page 145
A-B......Page 147
C-D......Page 148
F-G-H-I......Page 149
K-L......Page 150
M-N-P-R......Page 151
S-T......Page 152
U-V-W-Z......Page 153
Cronologia (até o ano 2007)......Page 154
O método axiomático e as ciências dedutivas......Page 174
Dedução e Indução na Matemática......Page 175
 A aritmética de Peano......Page 179
O Método das Diferenças......Page 180
A concepção formalista da Matemática......Page 182
O problema da decisão na Matemática......Page 186
A numeração de Gödel......Page 187
O Teorema de Incompletude......Page 188
Máquinas de Turing......Page 191
Funcionamento do Astrolábio......Page 195
Usos do Astrolábio......Page 196
Turing e a Máquina Enigma......Page 199
Índice de Figuras......Page 204