Projecto MathIS: Que Matemática para a Sociedade da Informação?


Alguns Marcos

16-20 Julho, 2012 — Terceira workshop Computação sem fronteiras ... Matemática em movimento para alunos do Ensino Secundário.

Junho 2012 — Defesa PhD Alexandra Mendes (Structured Editing of Handwritten Mathematics).

18-22 Julho, 2011 — Segunda workshop Computação sem fronteiras ... Matemática em movimento para alunos do Ensino Secundário.

18 Outubro 2011 — Alexandra Silva recebe o Prémio Científico IBM 2010.

Junho 2011 — Artigo com survey das Lab Training Workshops publicado na TICTTL 2011: Logic training through algorithmic problem solving. Detalhes aqui

Dezembro 2010 — Defesa PhD Alexandra Silva (Kleene Coalgebra).

Dezembro 2010 — Defesa PhD João F. Ferreira (Principles and Applications of Algorithmic Problem Solving).

19-23 Julho, 2010 — Primeira workshop Computação sem fronteiras ... Matemática em movimento para alunos do Ensino Secundário.

Novembro 2009 — Primeiro survey da experiência MathIS publicado na TFM 2009: Which mathematics for the information society?. Detalhes aqui

24 Abril, 2009 — Primeiro artigo do projecto aceite: Students' Feedback on Teaching Mathematics Through The Calculational Method aceite na Frontiers in Education 2009. Detalhes aqui

1 Janeiro, 2009 — Comunicação da homolgação e início oficial do MathIS

14 Abril, 2008 — Primeira versão da página do projecto disponível.

MathIS - Reinvigorating Mathematics for the Information Society


Our Vision

The Information Society requires highly qualified professionals who can design complex systems with increasing levels of safety and reliability. But it also requires a high degree of "mathematical proficiency" from its individuals, meaning the ability to use mathematical language and methods to model situations/scenarios and reason productively through these models in order to solve problems. This literacy and capability has become a key element of democratic citizenship.

This project gathers computer scientists, math teachers, mathematicians and others who recognize the need for new approaches to the teaching and learning of mathematical skills. We aim to exploit and combine the dynamics of algorithmic problem solving and calculational reasoning on both maths education and the practice of software engineering, boosting the abilities students need to overcome the challenges they will encounter through life.

The overall approach stems from two decades of research on correct-by-construction program design which brought to scene a whole discipline of problem-solving and shed light on the underlying mathematical structures, modeling and reasoning principles. A most relevant consequence has been the systematization of a calculational style of reasoning which can greatly improve on the traditional verbose proofs in natural language, proceeding in a formal, essentially syntactic way Read more.



The project aims to produce relevant contributions in the following areas:

  • Design calculi foundations and principles.
  • Calculational methods and the principles of algorithimic problem solving, as a basis for reinvigorating the teaching and practice of Mathematics in the context of modern IT-driven societies.
  • Innovative computer-based tools to support the envisaged methodological shifts.


Project info

Telefone +351 253604463 (direct) or +351 253604430
Fax +351 253604471

Project FCOMP-01-0124-FEDER-007254
Supported by FCT under contract PTDC/EIA/73252/2006 (54 KEuro)
Start Date 1st January 2009
Duration 3 years
Hosted by Departamento de Informática, Universidade do Minho

r8 - 21 Aug 2012 - 14:37:40 - LuisSoaresBarbosa
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM