Algoritmos
Os livros da lista abaixo têm um caráter mais algorítmico
que os outros.
-
Alan Gibbons,
Algorithmic Graph Theory,
Cambridge University Press, 1985.
-
Shimon Even,
Graph Algorithms,
Computer Science Press, 1979.
-
T.H. Cormen,
C.E. Leiserson,
R.L. Rivest,
C. Stein,
Introduction to Algorithms, 2nd edition,
MIT Press & McGraw-Hill, 2001.
[Veja também o
sítio dos autores.]
Não é um livro de teoria dos grafos,
mas as seções 5.4 e 5.5 e os capítulos 23 a 27
podem ser relevantes.
Há uma edição em português
(Algoritmos - Teoria e Prática, Campus, 2002),
mas a tradução não é boa
("loop invariante" no lugar de loop invariant
e outras bobagens).
Software
Os detalhes da implementação dos algoritmos
não receberão muita atenção em MAC5770.
Mas existe excelente material para os interessados no assunto:
-
Robert Sedgewick,
Algorithms in C, 3rd. edition,
part 5: Graph Algorithms,
Addison-Wesley, 2002.
As figuras são excelentes.
A organização do texto — nem tanto.
O código dos programas tem um lamentável defeito:
a documentação não diz
o que
cada função faz.
•
Copiei o código de todos os programas.
-
Donald E. Knuth,
The Stanford GraphBase,
ACM Press e Addison-Wesley, 1993.
O livro documenta o pacote de software
Stanford GraphBase (SGB),
que está instalado nas redes
UNIX e Linux do IME.
Veja o extended abstract
[ps,
pdf]
que descreve o livro e o software.
Veja também
minha página sobre o SGB.
-
LINK: A Software System for Discrete Mathematics.
Desenvolvido no DIMACS.
|
Como escrever matemática
Uma das finalidades secundárias de MAC5770
é desenvolver a habilidade de
argumentar com precisão, ou seja,
a habilidade de
escrever "provas matemáticas".
Eis alguns livros que podem ajudar:
-
Frank M. Steward,
Introduction do Linear Algebra,
Van Nostrand, 1963.
Os apêndices do livro são muito bons!
-
Daniel J. Velleman,
How to Prove It,
Cambridge University Press, 1994.
-
Nicholas J. Higham,
Handbook of Writing for the Mathematical Sciences,
SIAM, 1993.
-
Donald E. Knuth,
Tracy Larrabee,
Paul M. Roberts,
Mathematical Writing,
MAA, 1989.
-
Norman E. Steenrod,
Paul R. Halmos,
Menahem M. Schiffer,
Jean A. Dieudonné,
How to Write Mathematics,
AMS, 1973.
-
E.W. Dijkstra,
"The notational conventions I adopted, and why",
manuscrito.
-
Imre Lakatos,
Proofs and Refutations,
Cambridge University Press, 1976.
Trata da questão "O que é uma prova?".
Vai longe demais para as necessidades de MAC5770,
mas é muito interessante.
Miscelânea
-
Michel Goossens, Sebastian Rahtz,
The LaTeX Web Companion: Integrating TeX, HTML, and XML,
Addison Wesley Longman, 1999.
-
Thomas Merz,
Web Publishing with Acrobat/PDF,
Springer-Verlag, 1998.
|