Provas Formais
Mostrando 1-12 de 17 artigos, teses e dissertações.
-
1. As concepções de professores pós-graduandos sobre provas formais
Este estudo de caso, realizado com professores pós-graduandos em cursos universitários nos quais atua o autor, na Turquia, é parte de uma pesquisa de grande escala. O objetivo principal do estudo é identificar as concepções desses pós-graduandos sobre a prova formal e a atividade de implementá-la. Este artigo explicita os resultados preliminares da p
Bolema: Boletim de Educação Matemática. Publicado em: 2012-04
-
2. Criação, aplicação e avaliação de aulas com jogos cooperativos do tipo RPG para o ensino de biologia celular / Creation, application and evaluation of RPG-based classes for cell biology teaching
O aluno que se envolve com seu processo de aprendizagem aprende melhor. A partir dessa premissa, nosso objetivo no presente estudo foi desenvolver, aplicar e avaliar uma nova ferramenta didática em disciplinas de Biologia Celular, baseada em aulas com RPG (roleplaying game). O RPG é um sistema de jogo cooperativo onde os participantes têm objetivos comuns
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/08/2011
-
3. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010
-
4. NARRATIVAS JUVENIS BRASILEIRAS: EM BUSCA DA ESPECIFICIDADE DO GÊNERO / Narratives Juvenile Brazilian: in search of specificity of gender
Este trabalho investiga a especificidade das narrativas juvenis brasileiras contemporâneas, apoiandose na hipótese inicial de que há, nas obras voltadas para jovens, uma preocupação de configurar um processo de educação para a vida. A ideia de educação se fundamenta no Bildungsroman (romance de formação), um gênero que tem como paradigma Os anos
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/10/2009
-
5. Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
O presente trabalho é baseada em dois aspectos fundamentais: (i) o estudo de procedimentos de normalização para sistemas de provas, especialmente para a lógica clássica com dedução natural; e (ii) a investigação de técnicas da perspectiva geométrica aplicadas em propriedades da teoria da prova. Com isso, a motivação específica deste trabalho re
Publicado em: 2009
-
6. Interoperabilidade lógica via mapeamentos entre instituições / Logical interoperability via maps
A integração estruturada e consistente de diversas especificações (ou visões) de um sistema é hoje uma questão essencial na moderna abordagem para especificação e desenvolvimento de software. Neste contexto, precisamos de uma teoria que fale sobre formalismos de especificação e que ao mesmo tempo nos ofereça conceitos e construções para estabel
Publicado em: 2008
-
7. Um estudo sobre propriedades do paralelogramo envolvendo o processo de argumentação e prova
O presente trabalho, vinculado ao projeto AprovaME, desenvolvido na Pontifícia Universidade Católica de São Paulo, tem por objetivo verificar os avanços e as dificuldades apresentadas pelos alunos na elaboração de provas sobre as propriedades dos paralelogramos. Os procedimentos dessa pesquisa foram fundamentados nas teorias de Parzysz (2001) sobre pro
Publicado em: 2007
-
8. Concepções de alunos sobre provas e argumentos matemáticos: análise de questionário no contexto do Projeto AProvaME
Nosso trabalho insere-se no contexto do ensino e aprendizagem de provas e argumentos matemáticos por alunos da Escola Básica e foi desenvolvido no âmbito do Projeto Argumentação e Prova na Matemática Escolar (AProvaME). O principal objetivo de nosso estudo refere-se ao mapeamento das concepções de alunos sobre prova, a partir dos resultados de um que
Publicado em: 2007
-
9. Identificação de nomes ativos em agentes-π baseada em tipos
Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algo
Publicado em: 2007
-
10. Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π
O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes s
Publicado em: 2007
-
11. A framework for the specification and validation of Real Time Systems using Circus Action / A framework for the specification and validation of Real Time Systems using Circus Action
Circus à uma linguagem de especificaÃÃo e programaÃÃo que combina CSP, Z, e construtores do CÃlculo de Refinamento. A semÃntica de Circus està baseada na Unifying Theories of Programming (UTP). Neste trabalho estendemos um subconjunto de Circus com operadores de tempo. A nova linguagem à denominada de Circus Time Action. Propomos um modelo novo do t
Publicado em: 2006
-
12. A inversão do ônus da prova no processo civil do consumidor
RESUMO Este trabalho analisa a técnica de inversão do ônus da prova no processo civil do consumidor, a partir da conceituação dos seus requisitos e da identificação dos problemas práticos para sua aplicação. A pesquisa adota uma linha dogmática e utiliza metodologia dialética. Apóia-se em fontes imediatas jurídico-formais de pesquisa documental
Publicado em: 2005