Monografia
| 10622 | ID.88 |
MYERS, Thomas J.
Equations, models and programs : a mathematical introduction to computer science / Thomas J. Myers.- Englewood Cliffs : Prentice-Hall, 1988.- XVI,512p. ; il. ; 24cm
ISBN 0-13-283284-4 : COMPRA
MODELOS DE DADOS, CONCEPÇÃO DE PROGRAMAS, ALGEBRA DE BOOLE, ESTRUTURAS DE DADOS, TEORIA DOS ALGORITMOS, MATEMATICA APLICADA
Equações. Uma panoramica algebrica da computação. Trabalhar com descrições formais. Estruturas. Modelos. Modelos, mapas e tipos. Modelos, coisas e tempo. Resolução de problemas com "state-spaces". Provas: raciocinar cuidadosamente atraves da concepção de programas. Programas. Indução, recursividade e iteracção. Representações alternativas. Como e que isso funciona? Bibliografia.