Nomenclatura Unesco > (11) Lógica http://biblioteca.universia.net/html_bura/vernivel/params/nivel/11.html Mostrando recursos 1 - 20 de 118.416 es es Universia Recursos de Aprendizaje http://biblioteca.universia.net/img/logotipo.jpg http://biblioteca.universia.net/ Los espacios virtuales de aprendizaje permiten quebrar barreras de acceso a la docencia a persona... http://biblioteca.universia.net/html_bura/ficha/params/title/espacios-virtuales-aprendizaje-permiten-quebrar-barreras-acceso-docencia-personas-capacidades/id/56682872.html 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 do... http://biblioteca.universia.net/html_bura/ficha/params/title/espacios-virtuales-aprendizaje-permiten-quebrar-barreras-acceso-docencia-personas-capacidades/id/56682872.html Álvarez, Anibal Pedro Semántica formal a través de una teoría de la interpretación = Formal semantics through interpret... http://biblioteca.universia.net/html_bura/ficha/params/title/semantica-formal-traves-teoria-interpretacion-formal-semantics-through-interpretation-theory/id/56682538.html 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... http://biblioteca.universia.net/html_bura/ficha/params/title/semantica-formal-traves-teoria-interpretacion-formal-semantics-through-interpretation-theory/id/56682538.html Barés Gómez, Cristina Notices, Bull. Symbolic Logic 19, iss. 2 (2013) http://biblioteca.universia.net/html_bura/ficha/params/title/notices-bull-symbolic-logic-19-iss-2-2013/id/56681123.html http://biblioteca.universia.net/html_bura/ficha/params/title/notices-bull-symbolic-logic-19-iss-2-2013/id/56681123.html Twelfth Asian Logic Conference, Victoria University of Wellington, Wellington, New Zealand, Decem... http://biblioteca.universia.net/html_bura/ficha/params/title/twelfth-asian-logic-conference-victoria-university-of-wellington-wellington-new/id/56681122.html http://biblioteca.universia.net/html_bura/ficha/params/title/twelfth-asian-logic-conference-victoria-university-of-wellington-wellington-new/id/56681122.html 2012 North American Annual Meeting of the Association for Symbolic Logic, University of Wisconsin... http://biblioteca.universia.net/html_bura/ficha/params/title/2012-north-american-annual-meeting-of-the-association-for-symbolic/id/56681121.html http://biblioteca.universia.net/html_bura/ficha/params/title/2012-north-american-annual-meeting-of-the-association-for-symbolic/id/56681121.html 2011—2012 Winter Meeting of the Association for Symbolic Logic, John B. Hynes Veterans Memorial C... http://biblioteca.universia.net/html_bura/ficha/params/title/2011—2012-winter-meeting-of-the-association-for-symbolic-logic-john/id/56681120.html http://biblioteca.universia.net/html_bura/ficha/params/title/2011—2012-winter-meeting-of-the-association-for-symbolic-logic-john/id/56681120.html Reviews, Bull. Symbolic Logic 19, iss. 2 (2013) http://biblioteca.universia.net/html_bura/ficha/params/title/reviews-bull-symbolic-logic-19-iss-2-2013/id/56681119.html http://biblioteca.universia.net/html_bura/ficha/params/title/reviews-bull-symbolic-logic-19-iss-2-2013/id/56681119.html The foundational problem of logic http://biblioteca.universia.net/html_bura/ficha/params/title/the-foundational-problem-of-logic/id/56681117.html 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 fo... http://biblioteca.universia.net/html_bura/ficha/params/title/the-foundational-problem-of-logic/id/56681117.html Sher, Gila Notices, Bull. Symbolic Logic 19, iss. 1 (2013) http://biblioteca.universia.net/html_bura/ficha/params/title/notices-bull-symbolic-logic-19-iss-1-2013/id/56681116.html http://biblioteca.universia.net/html_bura/ficha/params/title/notices-bull-symbolic-logic-19-iss-1-2013/id/56681116.html 2011 Winter Meeting of the Association for Symbolic Logic, Washington Marriott Wardman Park Hotel... http://biblioteca.universia.net/html_bura/ficha/params/title/2011-winter-meeting-of-the-association-for-symbolic-logic-washington/id/56681114.html http://biblioteca.universia.net/html_bura/ficha/params/title/2011-winter-meeting-of-the-association-for-symbolic-logic-washington/id/56681114.html Reviews, Bull. Symbolic Logic 19, iss. 1 (2013) http://biblioteca.universia.net/html_bura/ficha/params/title/reviews-bull-symbolic-logic-19-iss-1-2013/id/56681111.html http://biblioteca.universia.net/html_bura/ficha/params/title/reviews-bull-symbolic-logic-19-iss-1-2013/id/56681111.html The Horn theory of Boole's partial algebras http://biblioteca.universia.net/html_bura/ficha/params/title/the-horn-theory-of-boole-s-partial-algebras/id/56681110.html 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. http://biblioteca.universia.net/html_bura/ficha/params/title/the-horn-theory-of-boole-s-partial-algebras/id/56681110.html Burris, Stanley N.; Sankappanavar, H. P. CARACTERIZAÇÃO DOS PRODUTORES FAMILIARES DE LEITE DE MONÇÕES (SP) http://biblioteca.universia.net/html_bura/ficha/params/title/caracterização-dos-produtores-familiares-leite-monções-sp/id/56680654.html 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 d... http://biblioteca.universia.net/html_bura/ficha/params/title/caracterização-dos-produtores-familiares-leite-monções-sp/id/56680654.html TAVARES, FRANCINEI BENTES; MELLO, MÁRCIO ANTONIO REDES SOCIAIS DE RECIPROCIDADE NOS ESPAÇOS LOCAIS DO MEIO RURAL E INICIATIVAS DE DESENVOLVIMENTO:... http://biblioteca.universia.net/html_bura/ficha/params/title/redes-sociais-reciprocidade-nos-espaços-locais-do-meio-rural-iniciativas/id/56680651.html 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 d... http://biblioteca.universia.net/html_bura/ficha/params/title/redes-sociais-reciprocidade-nos-espaços-locais-do-meio-rural-iniciativas/id/56680651.html TAVARES, FRANCINEI BENTES; MELLO, MÁRCIO ANTONIO Transistor logic circuits. http://biblioteca.universia.net/html_bura/ficha/params/title/transistor-logic-circuits/id/56680512.html 363 p. : http://biblioteca.universia.net/html_bura/ficha/params/title/transistor-logic-circuits/id/56680512.html Hurley, Richard B. Modelling a linguistic variable as a hierarchical family of partitions induced by an indistinguis... http://biblioteca.universia.net/html_bura/ficha/params/title/modelling-linguistic-variable-as-hierarchical-family-of-partitions-induced-by/id/56679713.html 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... http://biblioteca.universia.net/html_bura/ficha/params/title/modelling-linguistic-variable-as-hierarchical-family-of-partitions-induced-by/id/56679713.html Soto, De A R; Recasens Ferrés, Jorge A reformulation of entropy in the presence of indistinguishability operators http://biblioteca.universia.net/html_bura/ficha/params/title/reformulation-of-entropy-in-the-presence-of-indistinguishability-operators/id/56679709.html 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. http://biblioteca.universia.net/html_bura/ficha/params/title/reformulation-of-entropy-in-the-presence-of-indistinguishability-operators/id/56679709.html Recasens Ferrés, Jorge; Hernández, E On a geometric combinatorial problem http://biblioteca.universia.net/html_bura/ficha/params/title/on-geometric-combinatorial-problem/id/56679708.html 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). http://biblioteca.universia.net/html_bura/ficha/params/title/on-geometric-combinatorial-problem/id/56679708.html Recasens Ferrés, Jorge Finite-valued indistinguishability operators http://biblioteca.universia.net/html_bura/ficha/params/title/finite-valued-indistinguishability-operators/id/56679707.html 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... http://biblioteca.universia.net/html_bura/ficha/params/title/finite-valued-indistinguishability-operators/id/56679707.html Mayor, Gaspar; Recasens Ferrés, Jorge Fixed points and generators of fuzzy relations http://biblioteca.universia.net/html_bura/ficha/params/title/fixed-points-and-generators-of-fuzzy-relations/id/56679704.html The fixed points of a T-indistinguishability operator are characterized as its generators in the sense of the Representation Theorem of Valverde. The geometric description of the set of fixed points of a reflexive and symmetric fuzzy relation based on this characterization gives a way to explicitly calculate it. http://biblioteca.universia.net/html_bura/ficha/params/title/fixed-points-and-generators-of-fuzzy-relations/id/56679704.html Jacas Moral, Juan; Recasens Ferrés, Jorge