Linguagens E Matematica
Mostrando 13-24 de 56 artigos, teses e dissertações.
-
13. Álgebra de Mapas e Regiões.
Um importante componente de um sistema de informação geográfica (SIG), a álgebra de mapas consiste de uma linguagem e uma estruturação algébrica sôbre mapas em geral. Operações e as expressões que as definem, serão tanto mais algébricas quanto mais reflitam as propriedades típicas de álgebras matemáticas conhecidas, tais como a associatividad
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 03/12/2010
-
14. O uso das tecnologias de informação e comunicação pelos professores de Matemática da Universidade Pedagógica de Moçambique-Delegação de Nampula / The use of information technology and communication for teachers of Mathematics Pedagogical University Delegation of Mozambique-Nampula
A presente dissertação tem por objetivo apresentar a pesquisa desenvolvida no âmbito do Mestrado em Educação em Ciências e Matemática da Universidade Federal de Goiás, tendo como base o fato de que na contemporaneidade, tem-se presenciado transformações sociais e culturais decorrentes das possibilidades que surgem em função das Tecnologias da Inf
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/11/2010
-
15. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
16. Entre atividades, cadernos e portifólios: análise dos saberes e materiais utilizados na educação infantil
De caráter bibliográfico e documental, a investigação teve como objeto de estudo as práticas curriculares realizadas nas turmas de crianças com 5 anos de idade da Educação Infantil, a partir da produção das crianças. A problemática da investigação foi assim enunciada: Que elementos das práticas curriculares da Educação Infantil são possíve
Publicado em: 2010
-
17. Relational approach of graph grammars / Abordagem relacional de gramática de grafos
Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento é essencialmente orientado pelos dados, isto é, eventos são disparados por configurações particulares do estado. Vários siste
Publicado em: 2010
-
18. Uma filosofia do qualquer : a gênese da primeira teoria da denotação de Bertrand Russell
Esta dissertação tem um duplo objetivo. O primeiro deles ¿ e o principal ¿ é a tentativa de verificar uma hipótese acerca das razões de Bertrand Russell para conceber a sua primeira teoria da denotação, apresentada em The Principies of Mathematics (PoM). A teoria da denotação é urna explicação excepcional (no contexto da semântica de Russell)
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2010
-
19. Construindo a linguagem gráfica em uma aula experimental de física
Analisa-se a construção da linguagem gráfica em uma sequência de aulas sobre calor e temperatura, inserida em um laboratório investigativo. A pesquisa foi desenvolvida a partir de filmagens em uma turma do segundo ano do Ensino Médio de escola pública da rede estadual de ensino de São Paulo. Destaca-se o papel do professor na medida em que ele articu
Ciência & Educação (Bauru). Publicado em: 2009
-
20. Os videogames como recursos de ensino-aprendizagem: uma experiência nas aulas de matemática do ensino fundamental da rede pública
Com as novas tecnologias emergiram novas formas de linguagens e consequentemente, novas formas de cultura. O videogame, inserido neste contexto aparece como herói para jovens e adolescente e vilão para pais e educadores. No centro desta questão está a escola, com um duplo desafio: se mantiver como um espaço de construção de conhecimento e ao mesmo tem
Publicado em: 2009
-
21. Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo
O presente trabalho tem por objetivo investigar o papel da negação no âmbito das modalidades, de forma a poder esclarecer até que ponto a negação pode ser atenuada, controlada ou mesmo totalmente eliminada em favor da melhor expressabilidade lógica de certas teorias, asserções ou raciocínios que sofrem os efeitos da negação. Contudo, atenuar ou e
Publicado em: 2009
-
22. Abstraction of infinite and communicating CSPZ processes
Esta tese trata de um problema muito comum em verificaÃÃo formal: explosÃo de estados. O problema desabilita a verificaÃÃo automÃtica de propriedades atravÃs da verificaÃÃo de modelos. Isto à superado pelo uso de abstraÃÃo de dados, em que o espaÃo de estados de umsistema à reduzido usandoumprincÃpio simples: descartando detalhes de tal forma
Publicado em: 2009
-
23. Consistência na indexação em bibliotecas universitárias brasileiras
Objetivou-se avaliar os índices de consistência entre 30 bibliotecas universitárias brasileiras das regiões sul e sudeste por meio de fórmula matemática específica. Como metodologia foi selecionada uma amostra de 30 bibliotecas universitárias que, de acordo com informações em seus sites oficias, dispunham de acervo composto por mais de 100.000 exem
Transinformação. Publicado em: 2008-12
-
24. Concetivos flexiveis : uma abordagem categorial as semanticas de traduções possives
We present a general study of a new formalism of decomposition of logics, the Possible- Translations Coverings (in short PTC s) which constitute a formal version of Possible-Translations Semantics, introduced by W. Carnielli in 1990. We show how the adoption of a more general notion of propositional signatures morphism allows us to define a category Sigω
Publicado em: 2008