Friday, October 31, 2014

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica

Mostrando recursos 141 - 160 de 131,823

141. Resource lambda-calculus: the differential viewpoint - Thomas Ehrhard
Milner’s π calculus features a clear dichotomy between replicable and non-replicable resources, very much in the spirit of Linear Logic (LL). Analyzing Milner’s encoding of the lazy λ-calculus in the π-calculus, Boudol introduced the λ-calculus with resources [1, 2] where functions can be applied to bags made of replicable and non-replicable arguments. This refinement of the syntax required to stick to a lazy reduction strategy implemented with explicit substitutions, used to postpone linear substitutions of non replicable resources. Motivated by the discovery of denotational models of LL such as [3] where all morphisms of the associated cartesian closed category can...

142. Tres lecturas paródicas de la (de) / construcción de la nación - Usandizaga, Helena
En este trabajo, el examen somero de tres relatos que tienen que ver con la relectura de   acontecimientos  “nacionales”  o  “paranacionales”  o  hasta  “contranacionales” apunta al objetivo de observar el doble valor de la lectura paródica, de acuerdo a las distintas  funciones  que  se  le   adjudican,  como  algo  que  despolitiza  las  lecturas (Jameson), o que por el contrario, puede en  ciertos casos politizar la representación (Hutcheon).  Los  relatos  analizados  son,  en  primer  lugar,  “La  soberanía  nacional”, dentro de Historia Argentina (1991), de Rodrigo Fresán (Buenos Aires, 1963), que narra desde  tres  puntos  de  vista  –con  su  correspondiente  narrador  homodiegético-  un...

143. El espacio mitológico en la primera poesía de Diana Bellessi - Martínez Cabrera, Erika
En el año 2002 Diana Bellessi publicó La rebelión del instante, un libro en el que se escuchan los primeros pasos de su ya larga andanza poética. La contemplación mística del detalle, la mirada al pasado del mito y su vocación trascendente conforman el primer polo de la obra de esta poeta argentina, una obra que deja asomar en su segundo extremo –dialogante y contradictorio– una pulsión de cambio, una inquietud histórica, un nervio político que todo lo anima. Impulsado por esa lógica bicéfala, Crucero ecuatorial (1980) traza un largo viaje iniciático, que busca devolver el rostro a lo borrado...

144. Os significados de transgênicos entre graduandos recém-ingressos nos cursos de odontologia e fisioterapia em uma universidade pública no sudoeste da Bahia - Andrade, Jerry Adriane Pinto de; Becker, Maria Luiza Rheingantz; Burnham, Teresinha Froes; Vainstein, Marilene Henning
Este artigo é um recorte de uma pesquisa de doutorado que acompanhou os processos de to-mada de consciência de 46 alunos recém-ingressos nos cursos de Fisioterapia e Odontologia, nas disciplinas de Biologia Básica e Citologia e Genética, as quais foram ministradas pelo pes-quisador. Trata-se de uma pesquisa de natureza quali-quantitativa que utiliza diferentes ins-trumentos de coleta: questionário, mapas conceituais com uso do Cmap Tools e filmagens. En-tretanto, os dados apresentados aqui se referem à análise do questionário na categoria Implica-ção Significante, no primeiro momento da pesquisa. Essa análise tem como objetivo responder a um dos questionamentos da tese: Qual o...

145. De logica Spinozæ. - Lesbazeilles, Paul.
[Thesis].

146. Elementos de lógica. - Mendive, José, 1836-1906.
Mode of access: Internet.

147. Introduzione alla logica. - Ferrari, Ambrogio.
Mode of access: Internet.

148. Fondamenti del calcolo logico; memoria. - Nagy, Albino.
Mode of access: Internet.

149. Love's logic, and other stories, - Hope, Anthony, 1863-1933.
Mrs. Thistleton's princess.--the necessary resources.--Miss Gladwin's chance.--The prince consort.--What was expected of Miss Constantine.--Slim-fingered Jim.--The gray frock.--Foreordained.--Prudence and the bishop.--The opened door.--Love's logic.--"La mort à la mode."--The riddle of Countess Runa.--The lady of the flagon.--The duke's allotment.

150. The logic of socialism, - Claessens, August, 1885-1954.
Mode of access: Internet.

151. Identiska och syntetiska satser; en kritisk-antikritisk undersökning - Cavallin, Paul, 1868-
Akademisk avhandling--Lund.

152. La resolución de problemas de Matemática I y II para ingenieros agrónomos: una experiencia pedagógica - Mazarío Triana, Israel; Mazarío Triana, Ana Cecilia
Partiendo da las dificultades que presentan los estudiantes que ingresan a la especialidad de Agronomía en al desarrollo de habilidades en la resolución da problemas, al presente trabajo realizado en al Departamento de Matemática da la Universidad da Matanzas, Cuba, constituye un aporta orientado a contribuir a la superación de la problemática planteada. En la experiencia pedagógica desarrollada durante varios cursos, se ha podido comprobar que los estudiantes han mejorado la expresión oral, pensamiento lógico y aplicación de lea conocimientos; lo que estimula la creatividad que necesita desarrollar al futuro egresado para enfrentar los problemas que debe resolver en su...

153. A Convex Powerdomain over Lattices: its Logic and λ-Calculus - Fabio Alessi; Mariangiola Dezani-Ciancaglini; Ugo de' Liguoro
To model at the same time parallel and nondeterministic functional calculi we define a powerdomain functor P such that it is an endofunctor over the category of algebraic lattices. P is locally continuous and we study the initial solution D∞ the domain equation D = P([D ! D]? ). We derive from the algebras of P the logic of D∞, that is the axiomatic description of its compact elements. We then define a λ-calculus and a type assignment system using the logic of D∞ as the related type theory. We prove that the filter model of this calculus, which is...

154. A relational semantics for parallelism and . . . - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto
We recently introduced an extensional model of the pure λ-calculus living in a canonical cartesian closed category of sets and relations [6]. In the present paper, we study the non-deterministic features of this model. Unlike most traditional approaches, our way of interpreting non-determinism does not require any additional powerdomain construction. We show that our model provides a straightforward semantics of non-determinism (may convergence) by means of unions of interpretations, as well as of parallelism (must convergence) by means of a binary, non-idempotent operation available on the model, which is related to the mix rule of Linear Logic. More precisely, we...

155. The Impact of the Lambda Calculus in Logic and Computer Science - Henk Barendregt
One of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems of computer mathematics on the other hand.

156. A relational semantics for parallelism and non-determinism in . . . - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto
We recently introduced an extensional model of the pure λ-calculus living in a canonical cartesian closed category of sets and relations [6]. In the present paper, we study the non-deterministic features of this model. Unlike most traditional approaches, our way of interpreting non-determinism does not require any additional powerdomain construction. We show that our model provides a straightforward semantics of non-determinism (may convergence) by means of unions of interpretations, as well as of parallelism (must convergence) by means of a binary, non-idempotent operation available on the model, which is related to the mix rule of Linear Logic. More precisely, we...

157. Cuerpos femeninos, políticas y maternidad en Francia del s. XVIII - Yutzis, Daniela
El presente trabajo surge a partir de una investigación realizada para mi tesis de Maestría que toma como fuente el primer texto que se publica de ortopedia infantil escrito por Nicolás Andry en el siglo XVIII en Europa. Analizar las políticas que administran el cuerpo infantil implicó necesariamente estudiar las lógicas que se construyen en torno al cuerpo femenino: las políticas, el Estado, la medicina, las normativas hacia la madre, la relación maternidad/situación económica; problemáticas que serán los ejes centrales de esta ponencia. (Párrafo extraído del texto a modo de resumen)

158. Incorporating electronics in the architecture track of computer science, a comparative study - Farhat, Hassan
The latest draft report of the ACM/IEEE Joint Task Force on computer science makes several recommendations. Of these, for computer architecture: a) a shift towards more use of Programmable Logic Devices (PLDs), and b) more emphasis on the study of power constraints. While the shift towards use of PLDs requires minimal electrical knowledge, the study of power constraints requires better understanding of the electrical topics. With further constraints placed on the number of credit hours, detailed study the electrical topics may be skipped. The contribution of the paper is to propose a set of electrical topics compiled so as to include under...

159. Dinámica de Conocimiento: implementación computacional de Operaciones de Contracción Múltiples Horn - Valdez, Néstor Jorge; Falappa, Marcelo Alejandro
Esta línea de investigación tiene como objetivo estudiar, en el marco de la teoría de cambio de creencias, algoritmos para la obtención de contracciones múltiples con cláusulas Horn, considerando las operaciones de contracción bajo lṕgica Horn como lenguaje de representación de conocimiento. Para ello, estudiamos los resultados generales realizados en la adaptación al marco AGM a lógicas no clásicas, como Orderly Maxichoice Horn Contraction, Partial Meet Horn Contraction, e Infra Horn Contraction. Se analizan, algoritmos conocidos en el campo de base de creencias para el c´alculo de sus conjuntos de restos y kernels en sus diversas variantes con una sola...

160. A system of logic, ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation / - Mill, John Stuart, 1806-1873.
Mode of access: Internet.

 

Busque un recurso