Um modelo algébrico do quantificador da ubiquidade

Pós-graduação em Filosofia - FFC

A produção lexical de adjetivos no português brasileiro

Ce travail a le but de quantifier les formes les plus courantes d’adjetifs en portuguais brésilien, il s’agit d’un travail qui porte sur les usages synchroniques de la langue. Notre objetif c’est d’indentifier les formations lexicales propres aux adjetifs et de quantifier les usages de ces fomations pour en découvrir les tendances synchroniques de ces usages en portuguais brésilien. Le corpus est de base écrite, composé des lettres des lecteurs de magazine, ce qui permet plus de stabilité pour l’analyse. Vu qu’il s’agit d’un suport d’expression populaire le corpus nous a possibilité de faire un approche au langage plus informelle dont la façon d’expression permet la formation de vocabulaires les plus insolites et les plus récentes, tandis que l’écrite formelle résiste plus aux changements. La recheche des formes nous a donné des résultats quantitatifs des formes déjà connues, les plus nouvelles aussi et des usages des mots appartenants à d’autres classes gramaticales qui avaient une valeur d’adjetive dans quelques contextes spécifiques, en expressions typiques de langage informel. Ce travail, donc, contribue comme um petit portrait de la réalité lexicale brésilienne dans l’usage dynamique de la langue

Modelagem fuzzy aplicada a políticas públicas: proposta de um indice municipal de qualidade ambiental

Pós-graduação em Ciências Ambientais - Sorocaba

Sobre a compacidade lógica e topológica

Os ambientes da L´ogica e da Topologia tˆem a compacidade como uma propriedade importante. Nos dois diferentes contextos as no¸c˜oes de compacidade s˜ao diversas. Na l´ogica, dizemos que um conjunto de f´ormulas ∆ ´e compacto quando a existˆencia de modelo para todo subconjunto finito de ∆ implica que tamb´em ∆ tem modelo. A l´ogica ´e compacta, se o conjunto de suas f´ormulas v´alidas ´e compacto. Na topologia, um conjunto A ´e compacto, caso qualquer cobertura de A por abertos admita uma subcobertura finita. Neste trabalho, mostramos uma maneira de relacionar tais no¸c˜oes de compacidade.

O princípio da Indução Finita e jogos para o ensino de funções

Pós-graduação em Matemática em Rede Nacional - IBILCE

O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained