MathIS

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

Navegaçã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.

Two BI grants are available:

BI1: Refactoring School Mathematics (6 months)

This BI-supported project intends to compare calculational techniques developed in the context of the "correct-by-construction" approach to systems design, to common practice in general maths contexts (both in discrete or continuous mathematics and applications, including physics). In particular, we want to inspect and, in a sense, "re-factor" proofs found in middle school and high-school textbooks "along such techniques". Example areas are the vectorial calculus, the diferential calculus, analytical geometry, and so on.

The task will consist of

  • collecting proof specimen from textbooks and classify them according several parameters such as kind of proof (eg. reductio ad absurdum), level of informality (eg. graphical, textual, symbolic), level of completeness (eg. relying on "obvious" steps), etc
  • re-factoring such proofs constructively and calculationally, with an eye on genericity
  • evaluating the outcome (best if with the feedback of maths teachers, students - cf. intended interaction with maths clubs and so on)
  • drawing conclusions about the feasibility of such techniques outside computer science
  • writing one or two papers about the whole experiment, one more inclined to the education theorist and the other to the information scientist.

BI2: Recognition of Handwritten Mathematics (6 months)

The main goal of this project is to create a C# application for recognition of handwritten mathematics as part of a Tablet PC tool for structured editing handwritten mathematics. The project will be developed in close connection to AlexandraMendes at Nottingham University.

Read a brief project description here (in portuguese)

r1 - 03 Mar 2009 - 00:47:15 - LuisSoaresBarbosa
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM