Abstracao E Teoria Dos Tipos
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. An assessment of structure types present in the third section of Begriffsschrift in light of the lambda calculus / Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
O tema da nossa dissertação é a idéia de que, por trás da idiossincrática notação lógica utilizada por Frege, podemos encontrar a noção de abstração como componente fundamental de sua Begriffsschrift. Tal posição vai contra a concepção ordinária, como, por exemplo, a que encontramos na introdução de Van Heijenoort àquela obra. Ela contra
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/11/2010
-
2. Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda / An assessment of structure types present in the third section of Begriffsschrift in light of the lambda calculus
O tema da nossa dissertação é a idéia de que, por trás da idiossincrática notação lógica utilizada por Frege, podemos encontrar a noção de abstração como componente fundamental de sua Begriffsschrift. Tal posição vai contra a concepção ordinária, como, por exemplo, a que encontramos na introdução de Van Heijenoort àquela obra. Ela contra
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/11/2010
-
3. Argumentação em salas de aula de biologia sobre a teoria sintética da evolução
Esse trabalho discute ações que permeiam o discurso dos alunos quando inseridos em processos de ensino e de aprendizagem de ciências. O nosso foco é a argumentação de alunos do terceiro ano do ensino médio durante a discussão de questões sobre evolução, mais especificamente, relativas a aspectos da teoria sintética da evolução. Nossa principal
Publicado em: 2009
-
4. Modelos de consistencia entre fluxos e estoques e aplicação para o caso brasileiro : uma possivel leitura critica / Stock-flow consistent models and application for the Brazilian case: a suggested critical appraisal
A dissertação tem como objetivo avaliar que tipos de constrangimentos a trajetória da dívida pública e o ajuste patrimonial privado impuseram ao crescimento da economia brasileira. Tal preocupação leva ao questionamento sobre a relação entre as variáveis de estoques e o comportamento dos fluxos. O ponto de partida desta discussão é a montagem de
Publicado em: 2005