Matisse

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

Navegação

MathIS Project

Área Privada

Novidades

20 Abril, 2010 — Lançamento da inicitiva Computação sem fronteiras ... Matemática em movimento para alunos do Ensino Secundário integrado no Verão no Campus 2010, detalhes aqui

20 Fevereiro, 2010 — Artigo Designing an Algorithmic Proof of the Two-Squares Theorem aceite na MPC'10 (Tenth International Conference on Mathematics of Program Construction), detalhes aqui

9 Janeiro, 2010 — Artigo Should Mathematics remain invisible? aceite na EIMI Study Conference “Educational Interfaces between Mathematics and Industry, detalhes aqui

4 Janeiro, 2010 — Artigo On Euclid's Algorithm and Elementary Number Theory aceite aceite para publicação na Science of Computer Programming, detalhes aqui

1 Julho, 2009 — Artigo Which Mathematics for the Information Society? aceite na TMF'09 (2nd Int. FME Conference on Teaching Formal Methods), detalhes aqui

22 Junho, 2009 — Artigo Galois: A Language for Proofs Using Galois Connections and Fork Algebras aceite na PLMMS'09(ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems), detalhes aqui

24 Abril, 2009 — Artigo Students' Feedback on Teaching Mathematics Through The Calculational Method aceite na Frontiers in Education 2009, detalhes aqui

2 Março, 2009 — Call pública para 2 BI (bolsas de investigação FCT)no âmbito do projecto MathIS

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.

Research » Matisse » MatisseEventos

Eventos

Próximo evento: "Computação sem fronteiras ... Matemática em Movimento" (19-23 Julho 2010)

Descrição e inscrições (PDF)

Eventos Passados

Primeiro Encontro do Projecto Matisse (29 Março 2008)

Proposta, anúncios e imprensa

Objectivos

Numa sociedade onde é crescente a iliteracia matemática, mas que, paradoxalmente, da Matemática depende cada vez mais, propomo-nos a reflectir sobre o significado que tem "pensar matematicamente" no contexto aberto da Sociedade da Informação;

Pretendemos fazê-lo a partir de um corpo de princípios e métodos que nos parece possível destilar de vários anos de investigação e ensino em Ciências de Computação e que serão porventura relevantes para partilhar com as comunidades mais vastas da Educação e da Matemática;

Pretendemos, por fim, lançar um desafio a colegas professores de Matemática em diversos níveis do Ensino para um diálogo que sentimos urgente.

Programa

Clique no título da apresentação para ver os slides correspondentes.

09.30 -- 10.15	Matemática e Cidadania Luís S. Barbosa (Dep. Informática, UM)
10.15 -- 11.15	"Quien sabe por Algebra sabe scientificamente" José Nuno Oliveira (Dep. Informática, UM)
11.15 -- 11.30	Café
11.30 -- 12.00	A matemática dos algoritmos: um exemplo João Ferreira (Univ. Nottingham e UM)
12.00 -- 12.30	Discussão em grupo
12.30 -- 14.00	Almoço (livre)
14.00 -- 14.45	Cálculo, prova e invariantes João Ferreira (Univ. Nottingham e UM)
14.45 -- 15.15	Puzzles lógicos revisitados João Ferreira (Univ. Nottingham e UM)
15.15 -- 15.45	café
15.45 -- 16.30	Ferramentas de suporte Alexandra Mendes (Univ. Nottingham e UM)
16.30 -- 17.00	Discussão em grupo

-- 26 Mai 2010

r4 - 26 May 2010 - 09:45:20 - LuisSoaresBarbosa

Syndicate this site RSS ATOM