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

• Program Construction: Calculating Implementations from Specifications, Roland Backhouse
  ( Publisher link , E-book link, Amazon link , ACM link )

• On the Shape of Mathematical Arguments, Antonetta J.M. van Gasteren
  ( Publisher Link , E-book link ; Amazon link , ACM link )

• Predicate Calculus and Program Semantics, Edsger W. Dijkstra and Carel S. Scholten
  ( ACM link , Amazon link )

• A Discipline of Programming, Edsger W. Dijkstra
  ( ACM link , E-book link , Amazon link )

• Logical Approach To Discrete Math, David Gries and Fred B. Schneider
  ( Author link , Publisher link , ACM link , Amazon link )

• The Science of Programming, David Gries
  ( 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:

• JAWxxx - Jeremy Weissmann
• JFFxxx - João Fernando Ferreira
• WFxxx - Wim Feijen

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

• A Calculational Presentation of Impartial Two-Person Games, Roland Backhouse and Diethard Michaelis, Abstract presented at RelMiCS8?

• 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

• The Associativity of Equivalence and the Towers of Hanoi Problem, Roland Backhouse and Maarten Fokkinga, Information Processing Letters, 77 (Feb. 2001) pp 71--76.

• 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.

• A Calculation Approach to Mathematical Induction, Henk Doornbos, Roland Backhouse and Jaap van der Woude, In Theoretical Computer Science 179 (1997) 103--10

• 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.

• Roland Backhouse
• Luís Soares Barbosa
• Lex Bilsma
• Edsger Dijkstra (1930 - 2002)
• Wim Feijen
• Joao Ferreira
• Eric Hehner
• David Gries
• Eric Macaulay
• Apurva Mehta
• Alexandra Mendes
• Arjan Mooij
• José Nuno Oliveira
• Tom Verhoeff
• Jeremy Weissmann

Palestras e seminários

• Towards "middle school MPC", by J.N. Oliveira. Talk at IFIP WG 2.1 #64 Meeting, Weltenburg Abbey, Bavaria, Germany. (slides)

Ferramentas

• MathSpad

Outras Páginas

• mathmeth.com
• funmath.be

-- JoaoFerreira - 10 Apr 2008