Logica Simbolica E Matematica
Mostrando 1-12 de 45 artigos, teses e dissertações.
-
1. WITTGENSTEIN, FORMALISM, AND SYMBOLIC MATHEMATICS
RESUMO Em um recente artigo, Sören Stenlund procura alinhar a abordagem de Wittgenstein em relação aos fundamentos e à natureza da matemática com a tradição da matemática simbólica. A caracterização da matemática simbólica feita por Stenlund, de acordo com a qual a matemática é logicamente separada de suas aplicações externas, a aproxima da
Kriterion. Publicado em: 2020-04
-
2. Modelo computacional para valoração e avaliação de redações baseado em lógica Fuzzy
A avaliação de redação de vestibular é tida como uma tarefa complexa e subjetiva. Em primeira análise, somente os humanos têm a capacidade de realizá-la. Com o advento de novas técnicas e a capacidade do ser humano de aplicar aquelas já desenvolvidas em novos problemas, é possível automatizar o processo de avaliação e valoração de redação.
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/09/2011
-
3. Torna tua a herança de teu pai: o Nome-do-Pai na psicanálise lacaniana
Este artigo percorre alguns momentos no desenvolvimento do conceito lacaniano do Nome-do-Pai. Toma como ponto de partida os escritos de Freud sobre o recalque e demonstra a importância do pensamento freudiano para a elaboração deste conceito. Três períodos deste trajeto teórico são abordados: o Nome-do-Pai como interdição simbólica ao incesto; o No
Psicologia Clínica. Publicado em: 2011
-
4. Uma nova abordagem para a noção de quase-verdade / A new approach to the concept of quase-truth
Newton da Costa and his collaborators have introduced the notion of quasi-truth by means of partial structures, and for this purpose, they conceived the predicates as ordered triples: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively (the latter represents lack of information). This approach provides a con
Publicado em: 2011
-
5. Aprendizagem do adolescente : reconstituição do expoente 1 ¿ na forma invisível
Este estudo procura investigar a aprendizagem de adolescentes do ensino fundamental, especificamente, dos matriculados na 7a série ou 8º ano. Minhas preocupações dirigem-se à verificação das relações de aprendizagem entre os sujeitos desta pesquisa com um conteúdo específico da álgebra na multiplicação de monômios: o expoente 1 ¿ na forma inv
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011
-
6. Interpretação pragmática: uma contribuição para a análise do discurso jurídico
Apresenta a análise de uma interpretação do discurso jurídico pondo em relevo os aspectos da pragmática, com destaque para uma abordagem tópica-retórica do texto normativo. A discussão empreendida toma em conta aspectos teóricos do âmbito da pragmática, analisando sua presença como preocupação do homem desde há muito tempo. Para isto apresenta
Publicado em: 2011
-
7. 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
-
8. Verificação automática de lógicas finitas multivalentes
Nos últimos anos tem crescido o interesse nas denominadas lógicas multivalentes: no ramo da computação, em áreas como prova automática de teoremas, raciocínio aproximado, sistemas multi-agente e vericação de programas; na engenharia elétrica como em circuitos digitais; na área da matemática pura, como em provas de independência ou consistência,
Publicado em: 2010
-
9. A lógica da descoberta nos jogos digitais
The present study into the perspective of development the reasoning logicalmathematical by means of the ontological structures in the digital games happens on a specific modality of digital games that present many structures narratives, and its structural development in the form of logical puzzles, practical, related with the idea Greek of mathéma. The meth
Publicado em: 2010
-
10. Paraconsistency and modality / Paraconsistencia e modalidade
O presente trabalho tem por objetivo examinar, sob a perspectiva lógico- filosófica da paraconsistência e da modalidade, as relações entre os conceitos lógico-filosófico-formais de negação paraconsistente e o conceito de modalidade. Nosso objetivo central consiste no exame de um operador modal de negação paraconsistente. Examinamos conhecidos resu
Publicado em: 2009
-
11. 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
-
12. Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos / The foudations of mathematical thought in the twentieth century and the foundational relevance of model theory
The aim of the present Thesis is to bring some light to the question about the status and relevance of Model Theory to a reflection about the mathematical knowledge in the twentieth century. To pursue this target, we will, first of all, try to reach a comprehension of the reflection about the mathematical knowledge, itself, what will be designated as Foundat
Publicado em: 2009