Factoriality and the pin-reutenauer procedure

We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. We prove that, under relatively simple hypotheses on a pseudovariety V of semigroups, the finitely generated free algebra for the largest such signature is closed under taking factors within the free pro-V semigroup on the same set of generators. Furthermore, we show that the natural analogue of the Pin-Reutenauer descriptive procedure for the closure of a rational language in the free group with respect to the profinite topology holds for the pseudovariety of all finite semigroups. As an application, we establish that a pseudovariety enjoys this property if and only if it is full.

Da modelação matemática à simulação computacional: a experimentação matemática no ensino

Tese de Doutoramento em Ciências (área de especialização em Matemática).

Da modelação matemática à simulação computacional: a experimentação matemática no ensino

Tese de Doutoramento em Ciências (área de especialização em Matemática).

Educação bilingue em Moçambique: um estudo de caso, na Província de Gaza, centrado nas práticas pedagógicas do ensino básico

Em contextos como o de Moçambique que apresenta uma diversidade linguística, o uso de mais de uma língua no ensino é quase que obrigatório. Assim, urge a necessidade de formalizar a Educação Bilingue (EB) nas escolas moçambicanas. A modalidade de EB em Moçambique é de transição e manutenção, nas primeiras classes (1ª, 2ª e 3ª) usa-se a língua local como meio de instrução e o Português é uma disciplina, a partir da 4ª classe há uma inversão. Dessa estratégia o aluno deve estar em condições na 5ª classe de enfrentar o exame nacional, que é feito em língua oficial Portuguesa, para transitar do 1º para o 2º grau. O trabalho tem como problema esta interrogação: De que modo o programa curricular de Educação Bilingue se traduz nas práticas pedagógicas nas escolas do Ensino Básico que usam a língua Portuguesa e Changana no distrito de Bilene, na província de Gaza? O estudo empírico é de natureza qualitativa e quantitativa, com a utilização de técnicas de recolha de dados como a análise documental, entrevistas, questionário e provas escrita e oral aos alunos. Do estudo conclui-se: i) Não existe um programa de base especificamente para EB; ii) Há incongruência entre o programa e as práticas pedagógicas e iii) Os alunos apresentam maior dificuldades de compreensão, na escrita do que na oralidade, nas provas de conhecimento nas disciplinas básicas (Português e Matemática) em língua Portuguesa.

José Anastácio da Cunha e o projeto MAT² : no trilho de uma história extraordinária

A ideia de que as Matemáticas de Portugal (e de Espanha) atravessaram, depois de um período áureo nos Descobrimentos, um longo deserto onde não foi possível florescerem Mestres, nem escolas, nem cultura científica, nem investigação de relevo foi, durante muito tempo, reiteradamente veiculada, inclusivé através de alguns dos nossos mais referenciados historiadores da Matemática, como é o caso de Gomes Teixeira ou de Rey Pastor. Mas a verdade é que o estudo da História das Matemáticas em Portugal tem, na última década, vivido um interesse crescente onde sobressaem, em particular, uma leitura menos enviesada sobre, por exemplo, o papel educativo dos Jesuítas ou a publicação das obras completas de Pedro Nunes. Está-se assim a contribuir para uma compreensão mais completa da História geral de Portugal, de que a História da Ciência e da Cultura faz parte. José Anastácio da Cunha (1744-1787) foi figura de proa no século XVIII português. Sabíamo-lo matemático que, sem nunca ter saído de Portugal, havia sido capaz de antecipar, em mais de 50 anos, os esforços de matemáticos franceses e alemães para fundar a Matemática com rigor. Sabíamo-lo também autor de uma vasta e diversificada obra de inegável importância matemática mas, igualmente, autor de textos poéticos. Agora, com o projecto que denominámos de MAT2, centramo-nos em José Anastácio da Cunha e pretendemos, se possível, ir ainda mais além. Partimos de uma descoberta, árdua mas com final feliz, em um Arquivo de família: o da Casa de Mateus. Sentimo-nos, com esta “sorte”, privilegiados e gratos por nos ter sido gentilmente concedido o acesso a um vasto conjunto de documentos únicos (diários de viagens, notas de aulas e correspondência) que incluem memórias autógrafas e inéditas de Anastácio da Cunha. Organizámo-nos, cientes do trabalho árduo que temos pela frente, multi e interdisciplinarmente englobando a Matemática (nas suas múltiplas especializações) e a História (incluindo a da Matemática) mas também contando com a Física, a Informática, os estudos militares ou a Arquivística e as Humanidades; reunimos académicos, mais e menos veteranos, com investigadores jovens e juntámos valências nacionais e estrangeiras. No presente artigo daremos conta do percurso trilhado, até agora, pelo projecto MAT2.

Recurrence relations for Clifford algebra-valued orthogonal polynomials

The theory of orthogonal polynomials of one real or complex variable is well established as well as its generalization for the multidimensional case. Hypercomplex function theory (or Clifford analysis) provides an alternative approach to deal with higher dimensions. In this context, we study systems of orthogonal polynomials of a hypercomplex variable with values in a Clifford algebra and prove some of their properties.

Logificação da Psicologia o itinerário intelectual de Edmundo Curvelo sobre a Mente, a Lógica e a Filosofia

Tese de Doutoramento em Filosofia - Especialidade de Filosofia da Mente

Relatório de atividade profissional

Relatório de atividade profissional de mestrado em Ciências – Formação Contínua de Professores (área de especialização em Matemática)

Azulejaria portuguesa e a valorização do património: interpretação de fontes patrimoniais iconográficas por alunos do 1º e 2º ciclo do ensino básico

Relatório de estágio de mestrado em Ensino do 1.º e 2.º Ciclo do Ensino Básico