Buscar recursos académicos

Materias / palabras clave: Logic, Symbolic and mathematical; Set theory; Lógica matemática; Teoría de conjuntos

Materias / palabras clave: Set theory; Logic, Symbolic and mathematical; Teoría de los conjuntos; Lógica matemática

Materias / palabras clave: Computer science; Mathematics; Logic, Symbolic and mathematical; Set theory; Lógica matemática; Teoría de los conjuntos

The concept of individuality in quantum mechanics shows radical differences from the concept of individuality in classical physics, as E. Schrödinger pointed out in the early steps of the theory. Regarding this fact, so...

Abstract We review Linnebo's Philosophy of Mathematics, briefly describing the content of the book.

En el presente artículo analizamos la manera en que diferentes grupos e instituciones en las Sierras Chicas de la provincia de Córdoba, Argentina, despliegan una serie de estrategias de planificación territorial para ...

India’s strategic community has long been preoccupied with conventional military threats, but the security implications of environmental change remain underexplored. This paper examines the depletion of natural springs...

The main objective of this Campbell systematic review was to provide a systematic review of the evidence on the effects of microcredit on women's control over household spending in developing countries. More specifically...

Materias / palabras clave: Rough set; Fuzzy set; Mathematics; Set theory; Fuzzy logic; Computer science; Discrete mathematics; Set (abstract data type); Algebra over a field; Algorithm; Pure mathematics; Artificial intelligence

El objetivo principal de esta tesis es estudiar la teoría de prueba de la Programación en Lógica Rebatible (P.L.R.) y brindar una caracterización declarativa equivalente. La P.L.R. es una herramienta valiosa para la ...

Our usual representations of the opposition between the "civilized" and the "primitive" derive from willfully ignoring the relationship of distance our social science sets up between the observer and the observed. In fac...

The increase in the number of large data sets and the complexity of current probabilistic sequence evolution models necessitates fast and reliable phylogeny reconstruction methods. We describe a new approach, based on th...

SUMMARY: The program MODELTEST uses log likelihood scores to establish the model of DNA evolution that best fits the data. AVAILABILITY: The MODELTEST package, including the source code and some documentation is availabl...

"Relation algebras are algebras arising from the study of binary relations. They form a part of the eld of algebraic logic, and have applications in proof theory, modal logic, and computer science. An interesting problem...

Currently, Mathematical Morphology (MM) has become a powerful tool in Digital Image Processing (DIP). It allows processing images to enhance fuzzy areas, segment objects, detect edges and analyze structures. The techniqu...

Traffic congestion is one of the growing urban problem with associated problems like fuel wastage, loss of lives, and slow productivity. The existing traffic system uses programming logic control (PLC) with round-robin s...

In this article we will introduce certain considerations that must be taken into account while implementing the change operations of the belief change theory. The abstract models of bellief change make no considerations ...

Este artículo intenta responder algunos interrogantes sobre la Praxiología Motriz, tales como: ¿qué es?, ¿cuáles son sus conceptos claves? ¿qué aportes ha realizado a la Educación Física? Por último, ahondará...

Con el objeto de iniciarme en la tarea de realizar investiación en Matemáticas y Lógica Matemática, Aldo V. Figallo, mi pa-dre y director de este trabajo, me sugirió comenzar con el análisis de un sistema proposici...

Materias / palabras clave: algebraic logic, boolean-valued fuzzy sets, fuzzy model theory, l-fuzzy sets, rough sets, states of fuzzy structures; Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics....