Results 11 to 20 of about 194,004 (105)
O objetivo da obra é abordar os temas centrais da Lógica Clássica, desde a silogística de Aristóteles até o cálculo dos predicados de primeira ordem.
Soares, Edvaldo
core +1 more source
On the Directly and Subdirectly Irreducible Many-Sorted Algebras
A theorem of single-sorted universal algebra asserts that every finite algebra can be represented as a product of a finite family of finite directly irreducible algebras.
Climent Vidal J., Soliveres Tur J.
doaj +1 more source
Os Estados Relativos de Hugh Everett III e o Realismo Científico na Mecânica Quântica
O presente trabalho tem como objetivo explorar o tipo de realismo prevalecente na interpretação mais usualmente adotada para a Mecânica Quântica, qual seja, a Interpretação de Copenhague, e contrapô-lo ao realismo da Interpretação dos Estados Relativos ...
Tiago Cunico Camara, Samuel Simon
doaj +1 more source
This article presents an interdisciplinary experience that brings together two areas of computer science; didactics and philosophy. As such, the article introduces a relatively unexplored area of research, not only in Uruguay but in the whole Latin ...
Sylvia da Rosa +2 more
doaj +1 more source
El vapor en el laboratorio: una memoria sobre la ebullición del Abate Nollet
En este artículo se presentan las investigaciones del abate Nollet sobre el agente responsable del fenómeno de la ebullición. Estas investigaciones constituyen un ejemplo destacado de las concepciones y métodos de la física experimental francesa a ...
Manuel A. Sellés
doaj +1 more source
Educación Física: la lógica interna y la lógica externa en la enseñanza de las prácticas corporales
El proyecto busca indagar en cómo es abordado el conocimiento de la lógica interna de las prácticas corporales en los procesos de enseñanza de la Educación Física en escuelas primarias, secundarias y CEF (Centros de Educación Física).Nuestro punto de ...
Saraví, Jorge Ricardo
core +8 more sources
Lógica de las tautologías. [PDF]
Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las ...
Manuel Sierra Aristizabal
core +1 more source
La lógica híbrida como extensión de la lógica temporal [PDF]
El objetivo de este trabajo consiste en explicar el origen de la lógica híbrida a partir de la modal/ temporal para mostrar qué añade a ambos sistemas en la representación de información, porqué es más potente que ellos y qué relación guarda con el ...
Álvarez Domínguez, Daniel
core
Papel del método experimental en la formación del antropólogo
RESUMEN: La relevancia adquirida por el uso de las técnicas experimentales en la investigación antropológica contemporánea, particularmente en la arqueología y en la antropología biológica, no guardan correspondencia con la formación de los futuros ...
Eduardo R. Scarano +2 more
doaj +2 more sources
Sistematización del descubrimiento y la explicación: la elaboración de una lógica abductiva
Atocha Aliseda, Abductive Reasoning. Logical Investigations into Discovery and Explanation, Springer, Dordrecht, 2006 (Synthese Library, 330), xvi + 225 pp.
Ángel Nepomuceno Fernández
doaj +1 more source

