Mostrando recursos 1 - 20 de 118.416 
1.
Experimenting with independent and-parallel prolog using standard prolog
- Hermenegildo Salinas, Manuel Vicente; Carro Liñares, Manuel
This paper presents an approximation to the study of parallel systems using sequential tools. The Independent And-parallelism in Prolog is an example of parallel processing paradigm in the framework of logic programming, and implementations like
2.
Los espacios virtuales de aprendizaje permiten quebrar barreras de acceso a la docencia a personas con capacidades diferentes
- Álvarez, Anibal Pedro
En los procesos de enseñanza aprendizaje mediante Entornos Virtuales de Aprendizaje (E.V.A) se conjugan diversos roles atento al medio que se utiliza para realizar los mismos. Se centra esta propuesta en el docente Tutor, el cual es uno de los principales responsables de orientar, acompañar y motivar a los estudiantes a distancia. Es el responsable del contacto directo con el alumno utilizando las TIC’s. La propuesta, sujeta a discusión, es visualizar que los EVA posibilitan el acceso a la docencia como Tutores de los cursos a personas calificadas para la docencia pero con capacidades diferentes, cuyo límite es que debe contar...
3.
Semántica formal a través de una teoría de la interpretación = Formal semantics through interpretation theory: las partículas negativas la-pal en Ugarítico = the negative paticles la-pal in Ugaritic
- Barés Gómez, Cristina
El tema fundamental de esta tesis doctoral es el análisis y la propuesta de una semántica formal para las partículas ugaríticas negativas . La semántica formal clarifica la semántica de una lengua y usa para ello herramientas lógicas que ayudan a su estructuración. Esta semántica entraría a formar parte de uno de los niveles diferenciados en el Laboratorio de Hermeneumática (LH), el nivel de Semántica Formal situado entre la sintaxis y la literatura. En los proyectos de este laboratorio, esta tesis se ha realizado en torno a los últimos proyectos, no se cuenta con este nivel de semántica formal, ésta...
4.
Notices, Bull. Symbolic Logic 19, iss. 2 (2013)
5.
Twelfth Asian Logic Conference, Victoria University of Wellington, Wellington, New Zealand, December 15—20, 2011, with Student Day on December 14, 2011
6.
2012 North American Annual Meeting of the Association for Symbolic Logic, University of Wisconsin, Madison, WI, USA, March 31—April 3, 2012
7.
2011—2012 Winter Meeting of the Association for Symbolic Logic, John B. Hynes Veterans Memorial Convention Center Boston Marriott Hotel, and Boston Sheraton Hotel, Boston, MA, January 6—7, 2012
8.
Reviews, Bull. Symbolic Logic 19, iss. 2 (2013)
9.
The foundational problem of logic
- Sher, Gila
The construction of a systematic philosophical foundation for logic is a notoriously difficult problem. In Part One I suggest that the problem is in large part methodological, having to do with the common philosophical conception of “providing a foundation”. I offer an alternative to the common methodology which combines a strong foundational requirement (veridical justification) with the use of non-traditional, holistic tools to achieve this result. In Part Two I delineate an outline of a foundation for logic, employing the new methodology. The outline is based on an investigation of why logic requires a veridical justification, i.e., a justification which involves the world and not just the mind, and what...
10.
Notices, Bull. Symbolic Logic 19, iss. 1 (2013)
11.
2011 Winter Meeting of the Association for Symbolic Logic, Washington Marriott Wardman Park Hotel, Washington, DC, December 27—29, 2011
12.
Reviews, Bull. Symbolic Logic 19, iss. 1 (2013)
13.
The Horn theory of Boole's partial algebras
- Burris, Stanley N.; Sankappanavar, H. P.
This paper augments Hailperin's substantial efforts (1976/1986) to place Boole's algebra of logic on a solid footing. Namely Horn sentences are used to give a modern formulation of the principle that Boole adopted in 1854 as the foundation for his algebra of logic—we call this principle The Rule of 0 and 1.
14.
CARACTERIZAÇÃO DOS PRODUTORES FAMILIARES DE LEITE DE MONÇÕES (SP)
- TAVARES, FRANCINEI BENTES; MELLO, MÁRCIO ANTONIO
A partir da identificação de um sistema trinitário de regulação social (a reciprocidade, a redistribuição e o intercâmbio), uma gama muito variada de autores vem discutindo ultimamente quais as conseqüências do domínio cada vez mais amplo do intercâmbio mercantil nas sociedades contemporâneas, principalmente para as práticas dos espaços locais baseadas em lógicas de reciprocidade, que estruturam a organização social e produzem valores humanos, como a confiança e a justiça. Para a construção desse artigo, consideramos que a reciprocidade foi e continua sendo uma dimensão importante de ser levada em consideração, principalmente nas áreas rurais, mesmo na atualidade, e que a configuração de redes locais – parentesco, amizade, compadrio,...
15.
REDES SOCIAIS DE RECIPROCIDADE NOS ESPAÇOS LOCAIS DO MEIO RURAL E INICIATIVAS DE DESENVOLVIMENTO: ALGUMAS POSSIBILIDADES DE INTERAÇÃO
- TAVARES, FRANCINEI BENTES; MELLO, MÁRCIO ANTONIO
A partir da identificação de um sistema trinitário de regulação social (a reciprocidade, a redistribuição e o intercâmbio), uma gama muito variada de autores vem discutindo ultimamente quais as conseqüências do domínio cada vez mais amplo do intercâmbio mercantil nas sociedades contemporâneas, principalmente para as práticas dos espaços locais baseadas em lógicas de reciprocidade, que estruturam a organização social e produzem valores humanos, como a confiança e a justiça. Para a construção desse artigo, consideramos que a reciprocidade foi e continua sendo uma dimensão importante de ser levada em consideração, principalmente nas áreas rurais, mesmo na atualidade, e que a configuração de redes locais – parentesco, amizade, compadrio,...
16.
Transistor logic circuits.
- Hurley, Richard B.
363 p. :
17.
Modelling a linguistic variable as a hierarchical family of partitions induced by an indistinguishability operator
- Soto, De A R; Recasens Ferrés, Jorge
This work shows a method to obtain a hierarchy of partitions on the universe [0,1] in such a way that each of them is compatible with a refinement of Lukasiewicz indistinguishability operator. The classes of the partition at a given level present a relation of antonymy between them. Moreover, the partition at a certain level can be seen as the refinement of a previous level by means of a class of linguistic modifiers. Due to this fact, they seem appropriate for modeling linguistic labels of a linguistic variable. The associated indistinguishability operators show the increasing granularity when the number of...
18.
A reformulation of entropy in the presence of indistinguishability operators
- Recasens Ferrés, Jorge; Hernández, E
This paper deals with the measurement of entropy when an indistinguishability relation on the set of events has been defined. Our approach states that entropy could be measured in terms of the observed distinguishability of the set of events. In this sense, the “observer paradigm” is introduced, and definitions for joint and conditional entropy under this paradigm are given. We also present some interesting properties and relationships with Shannon's entropy measure.
19.
On a geometric combinatorial problem
- Recasens Ferrés, Jorge
The study of the betweenness relations defined by metrics leads to a geometric problem that yields an upper bound to Turán's number T(n,5,3).
20.
Finite-valued indistinguishability operators
- Mayor, Gaspar; Recasens Ferrés, Jorge
Fuzzy equality relations or indistinguishability operators generalize the concepts of crisp equality and equivalence relations in fuzzy systems where inaccuracy and uncertainty is dealt with. They generate fuzzy granularity and are an essential tool in Computing with Words (CWW). Traditionally, the degree of similarity between two objects is a number between 0 and 1, but in many occasions this assignment cannot be done in such a precise way and the use of indistinguishability operators valued on a finite set of linguistic labels such as small, very much, etc. would be advisable. Recent advances in the study of finite-valued t-norms allow... | |
|
