Biblioteca Matisse
A Biblioteca Matisse lista recursos úteis relacionados com metodologia matemática e resolução de problemas algorítmicos. Também disponibiliza ligações para
outras páginas e para
pessoas envolvidas nesta área.
Livros
- Predicate Calculus and Program Semantics, Edsger W. Dijkstra and Carel S. Scholten
( ACM link , Amazon link )
- Program Construction (International Summer School), Edsger W. Dijkstra and David Gries, LNCS Springer
E-book link
Artigos e Notas
Documentos com nome EWDxxx, onde xxx é um número natural positivo, são notas escritas por Edsger W. Dijkstra. Da mesma forma, temos:
Metodologia Matemática
Documentos introdutórios
Os seguintes documentos introduzem alguns dos princípios e técnicas que defendemos:
- Mathematics and Programming. A Revolution in the Art of Effective Reasoning, Roland Backhouse, Inaugural lecture, School of Computer Science and IT, University of Nottingham, 24th October 2001.
- EWD619 - Essays on the nature and role of mathematical elegance (1) (HTML, PDF)
- EWD641 - On the interplay between mathematics and programming (HTML, PDF)
- EWD655 - Essays on the nature and role of mathematical elegance (3): On notation (A sequel to EWD619) (HTML, PDF)
- EWD1059 - 0 Preface (Mathematical Methodology) (HTML, PDF)
- EWD1063 - An introductory example (Mathematical Methodology) (PDF)
- EWD1067 - A very first introductory example (Mathematical Methodology) (HTML, PDF)
- The Calculational Method, Information Processing Letters, Volume 53, Issue 3, 10 February 1995, Page 121
Notações e Formatos de Prova
- EWD1068 - On the quality criteria for mathematical writing (Mathematical Methodology) (HTML, PDF)
- EWD999 - Our proof format (PDF)
- EWD1070 - For brevity's sake (Mathematical Methodology) (HTML, PDF)
- EWD1300 - The notational conventions I adopted, and why (HTML, PDF)
Vários Exemplos
- Exercises in Quantifier Manipulation, Roland Backhouse and Diethard Michaelis, In Mathematics of Program Construction 2006, Tarmo Uustalu (Ed.), Springer-Verlag, LNCS 4014, pp. 70--81 © Springer-Verlag
- Galois Connections and Logical Relations, Kevin Backhouse and Roland Backhouse, Int. Conf. on Mathematics of Program Construction, Dagstuhl, Germany, July 2002. Springer Verlag LNCS 2386, pp. 23--39. © Springer-Verlag
- Fixed Point Calculus, Roland Backhouse, Presented at the Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Oxford, April 11--14, 2000.
- JAW44 - Different types of symbol dynamics for Leibniz and monotonicity (PDF)
- JFF0 - Distributivity and the greatest common divisor (PDF)
Resolução de Problemas Algorítmicos
- Lecture notes on Algorithmic Problem Solving, Roland Backhouse
- Find (Refined), Roland Backhouse, Unpublished
- Proving Program Correctness, Apurva Mehta, Undergraduate project
- Calculating a Path Algorithm., Roland C. Backhouse and A.J.M. van Gasteren., R.S. Bird, C.C. Morgan, and J.C.P. Woodcock, editors, Mathematics of Program Construction. 2nd International Conference, June/July 1992, volume 669 of Lecture Notes in Computer Science, pages 32--44. Springer Verlag, 199
- Recounting the Rationals: Twice!, Roland Backhouse and Joao Ferreira
Pessoas (ordem alfabética, por apelido)
Lista de pessoas interessadas em metodologia matematica e, em particular, no metodo calculacional.
Palestras e seminários
Ferramentas
Outras Páginas
--
JoaoFerreira - 10 Apr 2008