The stochastic geometric machine model

This paper introduces the stochastic version of the Geometric Machine Model for the modelling of sequential, alternative, parallel (synchronous) and nondeterministic computations with stochastic numbers stored in a (possibly infinite) shared memory. The programming language L(D! 1), induced by the Coherence Space of Processes D! 1, can be applied to sequential and parallel products in order to provide recursive definitions for such processes, together with a domain-theoretic semantics of the Stochastic Arithmetic. We analyze both the spacial (ordinal) recursion, related to spacial modelling of the stochastic memory, and the temporal (structural) recursion, given by the inclusion relation modelling partial objects in the ordered structure of process construction.

Situações-problema no ensino de matemática financeira

O presente trabalho descreve uma proposta de atividade educacional direcionada para professores de Matemática, envolvendo situações-problema no ensino de Matemática Financeira para ser aplicado com alunos do Ensino Médio. Tais atividades tem como objetivo fornecer um contexto real, no qual o estudante esteja inserido. O trabalho se divide em quatro partes: a introdução de uma situaçãoproblema envolvendo juros simples, o conhecimento matemático, a resolução da situação-problema e a proposta de atividade educacional. Diferenciando-se do que usualmente é encontrado nos livros didáticos, a proposta aqui apresentada propõe estudar conteúdos matemáticos de forma articulada, envolvendo o conceito de porcentagem vinculado com funções lineares e juros simples com função afim e progressão aritmética. Dessa forma, é apresentada uma sequência de aulas envolvendo situações-problema através de atividades, adequadas para os alunos.