El oficio y la academia : Apuntes sobre las modalidades de circulación y producción de los libros

Este artículo recorre la relación entre la experiencia en los oficios del libro (traducción, redacción, corrección) y las nuevas disciplinas académicas (traductología, historia del libro) que las transformaciones de los soportes materiales y financieros han suscitado.

El catálogo de próxima generación o NextGen : una herramienta de descubrimiento para el catálogo en línea

La herramienta de descubrimiento que ha dado lugar al llamado catálogo de próxima generación o NextGen es una interfaz ensamblada a la base de datos del catálogo en línea, que proporciona opciones similares a las de los motores de búsqueda de la World Wide Web. Entre las características más importantes se pueden mencionar: búsqueda por palabras claves del usuario, corrección de ortografía, asociación de palabras por prefijos y sufijos, gradación por relevancia, búsqueda booleana guiada, navegación facetada, ofrecimiento de ítems relacionados, servicios personalizados como MiCuenta o MiBiblioteca, opciones de diseño, características de la Web social como etiquetado o folksonomía, inclusión de reseñas, anotaciones o calificaciones por parte de los usuarios, aportes de la producción propia, creación de grupos de interés, etc. El desafío que se presenta es repensar el catálogo de modo que contribuya a descubrir la información del modo más eficiente posible, con inclusión de resúmenes, notas de contenido o vínculo al texto completo de los documentos. Existen experiencias basadas en programas comerciales como el catálogo de las bibliotecas de la North Carolina State University (Sirsi/Dynyx + interfaz Endeca) y otras con recursos open source como la de BRAC University de Bangladesh (Koha + Vufind). Se considera que esta última experiencia puede ser de interés para las bibliotecas de nuestro medio.

Evaluación del impacto de la enseñanza de la perspectiva histórica en los alumnos de primer año de la carrera de psicología de la UNLP

El presente trabajo se inscribe en el marco del proyecto de investigación de las cátedras Psicología I y II, La lectura y la escritura académicas en los primeros años de la carrera de Psicología de la Universidad Nacional de La Plata. Su impacto en el aprendizaje de los estudiantes dirigido por la Dra. Ana María Talak en la Facultad de Psicología de la UNLP. Se focaliza en la propuesta de la asignatura Psicología I. La misma tiene como objetivo indagar los desarrollos de la psicología durante los siglos XIX y XX desde una perspectiva histórico-epistemológica para el abordaje de las distintas tradiciones de investigación, las prácticas profesionales y los discursos teniendo en cuenta su implantación cultural. De esta manera, se busca promover en los alumnos el desenvolvimiento de herramientas metodológicas y conceptuales a partir del estudio histórico-crítico de temas específicos, intentando mostrar que las teorías psicológicas son respuestas a problemas planteados en contextos históricos. Este trabajo es la continuación de un primer escrito (Fernández & otros, 2011) en el cual se describen las implicancias de la adopción de la perspectiva histórica en la enseñanza de la psicología y se expone la propuesta metodológica de enseñanza y evaluación que se implementa al finalizar la cursada de la asignatura, la cual consiste en un trabajo de evaluación correspondiente a la última unidad del programa, realizado por alumnos que cursan la materia Psicología I en calidad de alumnos regulares. El objetivo del presente trabajo es realizar un análisis de carácter cuantitativo y cualitativo de las producciones escritas realizadas por alumnos de primer año de la carrera de psicología de la Universidad Nacional de La Plata al finalizar la cursada de la asignatura, e intenta indagar el grado de aprehensión por parte de los mismos de las herramientas mencionadas. Se toma como material para realizar dicho análisis, el conjunto de trabajos de los alumnos regulares de las 23 comisiones de trabajos prácticos existentes durante el año 2010. Los criterios para evaluar las producciones escritas en el momento de la corrección por parte del docente son la jerarquización, la pertinencia, la extensión, la coherencia y cohesión, el uso de los signos de puntuación y la propiedad conceptual. El desempeño alcanzado en relación a estos criterios determina la calificación final obtenida. En relación a la propiedad conceptual, se valora la corrección de los conceptos utilizados, ya sean de un autor o teoría particular, o para establecer una articulación. A los fines de este trabajo, se tomará solamente el último criterio, delimitando dentro del mismo tres categorías que justifican las diferencias en las calificaciones numéricas (desaprobados, aprobados entre 4 y 7 puntos, y aprobados entre 8 y 10 puntos). Se han seleccionado, en función de estas tres categorías de evaluación, dos trabajos por cada una ellas para ilustrar mediante viñetas extraídas de éstos, de qué manera los alumnos han logrado incorporar la perspectiva histórica. Asimismo se presentan algunos resultados cuantitativos relativos al porcentaje de alumnos que han alcanzado los objetivos mínimos que supone la apropiación de la perspectiva histórica

Implicaciones didácticas de la teoría del esquema en el aprendizaje y entrenamiento de la técnica deportiva

En todas las disciplinas deportivas, la técnica representa un factor determinante de la preparación. El aprendizaje y el perfeccionamiento técnico constituyen un objetivo primario del entrenamiento. El entrenador debe de proporcionar información a los deportistas que faciliten la comprensión del proceso de aprendizaje, de programar adecuadamente las sesiones de entrenamiento dirigidas a la adquisición de la técnica, de implementar estrategias adecuadas e individualizadas de corrección de los errores. Para incrementar la comprensión del aprendizaje es esencial referirse a la teoría básica. Las diversas teorías del movimiento se proponen como modelo para elaborar predicciones verificables a nivel empírico y extraer indicaciones aplicables para estructurar adecuadamente la enseñanza de las habilidades motrices. En el presente trabajo se ilustran y discuten las principales líneas teóricas y didácticas de la teoría del esquema de Richard Schmidt. Los constructos innovadores, presentados desde el punto de vista teórico, son: el programa motor generalizado y el esquema motor, fundamentado en el procesamiento de informaciones relativas a condiciones iniciales, parámetros utilizados para la respuesta, feedback sensorial y resultados obtenidos. Partiendo de estos conceptos se dan indicaciones para aplicar en la práctica, entre otras, la comprensión del movimiento, la reconsideración de los errores y la importancia de la variabilidad de la práctica

Importancia del control postural para las A.V.D. en personas con secuelas neurológicas

El ser humano tiene la necesidad de adaptarse a la actividad que se propone, a sus propios desajustes por el movimiento y a los cambios internos. Todo en un entorno determinado y para que ocurra, el cuerpo debe estar preparado para anticiparse, mantenerse y reaccionar ante estas situaciones. Las personas con secuelas neurológicas tienen dificultades para mantenerse en una posición estática y más aún en poder pasar de una postura a otra. No solamente tienen problemas para tomar objetos o levantarse de una silla; por ejemplo, sino que presentan serios inconvenientes para mantener el equilibrio y controlar la postura para poder alcanzar cualquiera de las maniobras referidas anteriormente; de lo que se desprende, que el desarrollo de un buen control postural es requisito indispensable para cualquier manejo de las actividades de la vida diaria (A.V.D.). Y la atención, entendida como uno de los procesos cognitivos que hay que activar para que todo esto suceda, juega un papel importante en éste reaprendizaje motriz. Todas estas habilidades motoras necesitan aprenderse y luego llevarlas al plano de la automatización con un mínimo de dirección consciente. La corteza cerebral necesita relajarse y ocuparse de las estrategias y no tanto ya de la postural, al menos que se requiera una corrección

Políticas correctivas del comportamiento social indígena y formas de resistencia en las reducciones de Baradero, Tubichaminí y del Bagual (primeras décadas del siglo XVII)

Este trabajo se ocupa de las relaciones inter étnicas entre "blancos" e "indios", a partir del estudio de las reducciones creadas en la región pampeana como parte de los dispositivos de poder y dominación implementados por la sociedad colonial, y desde donde se pusieron en práctica políticas de corrección del comportamiento social indígena. A su vez, considerando a las sociedades indígenas como sujetos activos en dichos procesos, se indagan las múltiples respuestas o estrategias de resistencia generadas frente a las imposiciones de la vida en las reducciones.

Cambaceres, lector de Potpourri : 1882-1883

Las dos primeras ediciones de Potpourri. Silbidos de un vago aparecieron en octubre y noviembre de 1882; la tercera se publicó en diciembre del 83. Para la segunda, salvo la corrección de cinco erratas, el autor no introdujo ningún cambio. Sí lo hizo para la publicación de la tercera; el más importante: el agregado de un prólogo. En cuanto al resto del texto, el tipo de intervenciones -sustituciones léxicas y modificaciones formales que en ocasiones involucran transformaciones semánticas, ajustes que benefician la coherencia de la trama y la legibilidad- revela una preocupación evidente por el detalle

La práctica dialéctica y el advenimiento de la filosofía platónica

En los albores mismos de su filosofía, Platón muestra especial interés por determinar en qué consiste la indagación filosófica o dialéctica. En este trabajo intentaremos reconstruir el proceso mediante el cual Platón lleva a cabo su propósito, centrándonos en el examen de los comienzos de este proceso, que ciertamente se extiende hasta los últimos escritos platónicos. A partir del análisis de la Apología, el Laques y el Cármides, sostendremos que para Platón lo que se espera del auténtico indagador-filósofo -al menos en lo que toca a estos tres diálogos socráticos- es que sea capaz de definir con claridad y corrección qué es cada cosa, conjuntamente con un otro, en el seno de una discusión que dé a la vez que reciba razones bien fundamentadas. De este modo, esperamos poner de manifiesto la notable identificación que opera Platón entre el propio advenimiento de su pensamiento y la instauración de lo que él presenta como práctica dialéctica

El escrito en la oralidad: el texto intentado

A partir de una breve presentación de los trabajos realizados por el grupo GREAL en la línea de establecer relaciones entre el uso y los conocimientos lingüísticos, el artículo se centra en la investigación realizada sobre la interacción oral para la composición escrita en colaboración. La producción de textos en grupo se encuadra en el modelo de secuencia didáctica (SD), desarrollado y experimentado por los autores para la enseñanza y el aprendizaje de la composición escrita, cuyas características se describen sucintamente. En este marco se presentan, ejemplifican y analizan los conceptos de texto intentado (Ti), en contraposición al texto escrito (Te), y de reformulación como constructos teórico-metodológicos aptos para la interpretación de las operaciones y factores sociocognitivos que intervienen en los procesos de escritura y también para analizar la actividad lingüística y metalingüística de los participantes en la actividad de composición escrita. La aplicación de los instrumentos de análisis citados ofrece información relevante sobre: a) las operaciones de planificación, textualización y revisión durante el proceso de elaboración del texto; b) las posibles causas de las modificaciones que experimenta el texto a lo largo del proceso: mecanismos de cohesión textual, posición enunciativa, corrección normativa y adecuación de los escritos. Permite, asimismo, avanzar la hipótesis que la elaboración de textos en colaboración contribuye a potenciar la actividad metalingüística y el aprendizaje.

Campo Acústico en Recintos de Planta en I En L y en U. Aplicación al Diseño Acústico en Restauración

Este trabajo aborda el estudio de la calidad acústica de restaurantes y propone la inteligibilidad como magnitud adecuada para su valoración. La conversación en el entorno de cada mesa se considera como señal de interés para quienes la ocupan, mientras que las conversaciones de los comensales de las restantes mesas se consideran ruido perturbador junto con el procedente de otras fuentes interiores o exteriores, ruido este que por otra parte suele estar limitado por ordenanzas o reglamentaciones ad hoc, a niveles muy por debajo del nivel de conversación medio y se suele tratar como un ruido estacionario homogéneamente distribuido en todo el restaurante. Las condiciones de inteligibilidad en cada mesa del restaurante deben ser equivalentes. La relación señal-ruido juega un papel primordial en todos los modelos objetivos de predicción de la inteligibilidad en recintos comúnmente aceptados en la actualidad. La calificación de la inteligibilidad de un recinto de restauración requiere un mapa de inteligibilidad en una retícula suficientemente fina que cubra la zona de público, en cuyos puntos se necesita calcular los niveles de señal y de ruido, así como el tiempo de reverberación u otro parámetro relacionado con la señal recibida en el tiempo de integración auditiva. Esto conlleva una cantidad ingente de potencia computacional tanto en memoria como en tiempo. Si se dispone de ecuaciones sencillas y fiables de distribución del nivel sonoro en función de la distancia a la fuente sonora los enormes requerimientos de cálculo mencionados podrían reducirse en un factor importante. La teoría estadística clásica de recintos presenta justamente este escenario, pero trabajos relativamente recientes de Barron y colaboradores indican la mejor adecuación de ecuaciones empíricas algo más complejas, dentro de la sencillez, las cuales a su vez han sido cuestionadas en parte por otros autores. La importancia de estas ecuaciones ha condicionado que en esta tesis se haya planeado un programa de exploraciones experimentales ambicioso, a la par que lo mas simplificado posible, para obtener distribuciones de campos sonoros en recintos prismáticos de plantas en forma de I, L y U; en donde se exploran trayectorias axiales y diagonales. En paralelo se exploro el tiempo de reverberación y se completo con estudios análogos en recintos acoplados formados a partir del recinto de planta en U, por su utilidad actual en recintos de interés arquitectónico rehabilitados para restaurantes. Por su facilidad operativa la experimentación se planteo en maquetas a escala reducida asegurando el cumplimiento de los requisitos en este tipo de estudios. Los resultados experimentales directos se corrigieron de los efectos alineales derivados de las descargas eléctricas usadas como señales de excitación, tanto en el tiempo de reverberación como en la distribución de niveles. Con este fin se desarrollaron ecuaciones de corrección de ambas magnitudes en función del parámetro de alinealidad en el rango de débil alinealidad. También se aplicaron correcciones del exceso de absorción sonora en el seno del aire a los valores de humedad relativa, temperatura y presión atmosféricas reinantes en el interior de las maquetas durante la experimentación, para las frecuencias transpuestas por el factor de escala, en relación con la escala real. Como resultado se obtuvo un paquete de archivos de datos experimentales correspondientes a condiciones lineales. Se ha mostrado que una generalización de la ecuación de Barron consigue un buen ajuste a los valores experimentales en todos los casos considerados, lo que apoya el gran fundamento de esta ecuación tipo. El conjunto de ecuaciones empíricas que ajusta cada caso particular solamente difiere en el valor de una de las tres constantes del tipo funcional: el factor ligado al término exponencial. Un valor de esta constante cercano al valor medio de la serie de casos estudiados se ha usado en el cálculo de los mapas de inteligibilidad en recintos prismáticos que se comentaran más adelante Los resultados experimentales del nivel sonoro a lo largo de trayectorias axiales y diagonales comparados a los calculados numéricamente con las ecuaciones empíricas presentan disminuciones justamente detrás de las esquinas de los recintos con plantas en forma de L y de U. Las aéreas de estas zonas afónicas son función de la frecuencia de manera bastante coincidente con las encontradas en las barreras de ruido por efecto de la difracción. A distancias superiores los valores experimentales caen de nuevo sobre las curvas empíricas. Se ha estudiado la influencia en los mapas de inteligibilidad del ruido de fondo, de la absorción sonora, de la distribución de las mesas, de la densidad de mesas por unidad de superficie, del porcentaje de ocupación y su distribución espacial así como de la posición de la mesa de señal. El ruido conversacional resulta ser el factor más adverso a la inteligibilidad. Al aumentar la densidad de mesas (ocupadas) la valoración de la inteligibilidad disminuye e inversamente. La influencia negativa de las mesas de ruido conversacional disminuye rápidamente al aumentar la distancia a la mesa de señal: pudiendo afirmarse que las 4 a 8 mesas mas próximas a la de señal, junto con la absorción total del recinto, constituyen los dos factores que condicionan la inteligibilidad influyendo negativamente el primero y positivamente el segundo. Este resultado difiere del ofrecido por la teoría geométrico estadística clásica donde todas las mesas tienen la misma influencia con independencia del sitio que ocupen en el recinto, y también con la teoría derivada de la ecuación de Barron, que ocupa una posición intermedia. Mayor absorción y menor densidad de mesas (ocupadas) mejoran la inteligibilidad en todos los casos pero la absorción no siempre puede neutralizar el efecto adverso de la densidad de mesas de la cual parece existir un valor frontera imposible de neutralizar en la práctica con incrementos de absorción. El grado de inteligibilidad en torno a la mesa de señal es poco sensible a la posición de esta dentro del recinto, resultado que simplifica el enunciado de criterios de calidad acústica de utilidad práctica tanto en diseño como en reglamentaciones de control. La influencia del ruido de fondo estacionario y homogéneo resulta de escasa o nula influencia en la inteligibilidad para niveles de hasta 50-55 dB, si se admite que los niveles normales de conversación se sitúan de 65 a 70 dB. La subdivisión del restaurante en subespacios menores mediante septa de separación parcial media y alta, presenta ventajas ya que dentro de cada subespacio la inteligibilidad no depende más que de las características de este

Caracterización Dinámica de Partículas Magnéticas y su Uso en Aplicaciones Biomédicas

El uso de las partículas magnéticas ha venido a más durante los últimos 10 años. Lo anterior ha estado condicionado por factores como la amplia investigación en materiales a nivel atómico, los retos propuestos por las diferentes áreas de investigación donde los niveles nanométricos cobran importancia, la inherente innovación tecnológica que pueden aportar a la industria dichas escalas y finalmente, el impacto socioeconómico que pueden tener estos avances tecnológicos. Sin embargo, la traslación a la industria de los avances tecnológicos se ha visto limitada por la falta de estrategias, ya que el 88% del conocimiento se queda en Universidades y Centros de Investigación y el resto, 12%, pasa a la industria o es obtenido en ella. En este trabajo de investigación se ha tratado de completar el círculo de idea, conceptualización, generación de conocimiento, prototipo, prueba in vitro y prueba in vivo; todo ello para dejar el menor espacio posible entre Investigación e Industria. Se ha fabricado un recinto que permite la observación del comportamiento de las partículas magnéticas cuando están inmersas en un medio con viscosidad controlada y con una fuente magnética estática. De la observación experimental se han encontrado fenómenos magnéticos como la aglomeración y la autoorganización, que han sido aprovechados, no solo para ofrecer una solución alternativa a la corrección del desprendimiento de retina, sino también para promover las mejoras de métodos de separación y/o filtrado celular, ayuda en correcciones ortopédicas o en el diagnóstico y tratamiento de enfermedades degenerativas. Particularizando en la corrección del desprendimiento de retina, se ha desarrollado y patentado un Dispositivo Ocular cuya función es la de tapón del agujero retiniano, ayudando en la cicatrización de la retina. Dicho dispositivo ha sido evaluado en conejos albinos neozelandeses obteniéndose un éxito en la reaplicación de la retina del 80% y resultando su toxicidad en condición difusa tras evaluación anatomopatológica. Así mismo, el ferrofluido diseñado y fabricado se ha localizado en la zona de interacción magnética siempre y su disposición ha sido en el mayor de los casos en forma de placa pero también se han formado anillos; lo anterior no ha afectado en ningún sentido el éxito en la reaplicación de la retina. Por otro lado, no se han encontrado indicios de siderosis en la zona de interacción magnética, sus alrededores o el resto del globo ocular; ni las células han presentado apoptosis inducida por los materiales introducidos en el ojo. Sin embargo, se ha encontrado una fuerte necrosis inducida por la presión ejercida sobre la retina por el dispositivo ocular, evidenciando la necesidad de un mejor control de dicha presión. Tras la caracterización de los copos y la presión que éstos ejercen, se ha podido identificar que el dispositivo ocular se puede sintonizar para inducir una presión entre 0.5 y 2.5 mmHg; por tanto se puede vislumbrar que es posible minimizar la muerte celular causada en las células retinianas. Finalmente, tras la experimentación con conejos se ha observado que el dispositivo ocular resuelve los problemas inducidos por las siliconas o los gases e inclusive aporta ventajas competitivas de alto valor añadido como: no requerir de posiciones incómodas en el post-operatorio, no modifica las propiedades ópticas del ojo ya que no es necesario dejar silicona o gases en el interior del ojo, se pueden sellar múltiples agujeros retinianos, corrección de desprendimiento de retina inferior sin complicaciones asociadas, etc.; en definitiva mejora la calidad de vida domiciliaria del paciente además de solventar los problemas inducidos por las soluciones actuales. The using of magnetic particles has become more important during last 10 years. This event has been conditioned by several factors like a wide researching on materials at atomic level, the challenges proposed by different research areas where nanometric levels became important, the inherent technological innovation to the industry and finally, the socioeconomic impact of these kinds of technologies. However, the nanotechnological advances have not been well addressed to the industry since 88% of the acknowledge keeps on Universities and Research Centers, and the remaining 12% goes through the industry or is obtained in it. In this research work, we have tried to complete the entire process about idea, concept, acknowledge generation, prototyping and in vitro and in vivo testing; all to leave as little space as possible between Research and Industry. We have built an experimental hall which allows us the observation of magnetic particles' behavior when are immersing in a controlled viscous medium and under a static magnetic field. The experimental observation has been useful to identify and use two magnetic phenomena: agglomeration and self-organization; no only for retinal detachment, but also to improve cellular separation and/or filtered methods, orthopedic solutions or the diagnostic and treatment of degenerative diseases. Particularizing on retinal detachment, we have developed and patented an Ocular Device which its function is acting like a tampon of the retinal hole for helping with the scarring retina. The device has been evaluated in animals and the results show that we can achieve a success of 80% before rabbit’s death and non cell apoptosis, only necrosis, over the retina attached by the ocular device after anatomopathological evaluation. Also we have identified a diffuse toxicity after anatomopathological evaluation, so more experimenting must be proposed. Otherwise, the ferrofluid has been localized where the magnetic interaction area is located and its deposition has been in most cases plaque shape like but rings have also been observed; this has not affected in any way the successful reattachment of the retina. On the other hand, we have not found any evidence of siderosis in the magnetic interaction zone, near of or some other place of the ocular globe; and we did not find any apoptosis induced by the materials inserted within the eye. However full necrosis, exactly on the magnetic interaction zone, has been found and induced by the pressure exerted over the retina by the ocular device, evidencing the needing of its better control. After flakes’ characterization and its pressure exerted, we identified that the ocular device can be tuned in order to induce a pressure between 0.5 and 2.5 mmHg; therefore we can perceive that death caused to the retinal cells can be minimized. Finally, the experimentation has shown that the ocular device solves all problems induced by silicone or gases an even contributes with some other competitive advantages of high added value like: no uncomfortable postoperative positions, it does not modify any optical property of the eye because there is no needing of leaving silicone or gases inside the eye, many holes can be sealed, the inferior retinal detachment can be solve without any complications, etc.; definitively the ocular device improves patients’ quality of life.

Velero de competición capacitado para la regata alrededor del mundo “Volvo Ocean Race.”

TIPO DE BUQUE: Velero de competición capacitado para la regata alrededor del mundo “Volvo Ocean Race.” REGLAMENTOS: Reglas de la clase: Volvo Ocean 60 rule 2000 + changes CLASIFICACIÓN: ABS Guide for Building and Classing Offshore Racing Yachts 1994 incorporating Notice #1 DESPLAZAMIENTO MÁXIMO: 15000 KG CALADO MÁXIMO: 3.75 m ESLORA MÁXIMA: 23.5 m CONSTRUCCIÓN: Casco: Materiales compuestos. Mástil: materiales compuestos sin núcleo o aluminio. INSTALACIÓN ELÉCTRICA: 24V DC con un motor auxiliar y al menos dos alternadores independientes. SISTEMA DE PROPULSIÓN: Vela, aparejo tipo Sloop. Motor propulsivo de emergencia con hélice plegable de dos palas capaz de dar 7 nudos en condiciones de mar en calma ALOJAMIENTO: para 12 tripulantes REQUERIMIENTOS: Desaladora-potabilizadora, radar, GPS, GMDSS, comunicaciones por satélite Inmarsat B y C, sistema de gobierno de emergencia, calefacción, bombas de lastre, sistema de corrección de escora mediante tanques de lastre liquido.

Contaminación microbiana ruminal de la fibra en gramíneas y efectos sobre sus estimas de degradación ruminal in situ.

La concentración de las fracciones de fibra en las muestras de contenido digestivo se asume como real, al no existir componente endógena para estas fracciones. Sin embargo, si las técnicas de aislamiento de estos residuos no permiten una extracción completa de los microorganismos adherentes podrían ocurrir errores de cierta importancia. En este trabajo se examina la contaminación microbiana ocurrida en el rumen en la fibra neutro (FND) y ácido (FAD) detergente y sus fracciones nitrogenadas (N-FND y N-FAD) de henos de ray-grass (HRG) y avena (HA), así como el efecto de su corrección sobre su degradabilidad efectiva (DE).

Relational and Allegorical Semantics for Constraint Logic Programming

El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.

Experiencias docentes con la coevaluación en la asignatura de Materiales de Construcción

La motivación de los alumnos es fundamental para el estudio-aprendizaje, y el sistema de evaluación juega un papel básico en la misma. El planteamiento de actividades coevaluadas puede ayudar a que los alumnos tengan un mayor interés al ser evaluados por un igual. Por otro lado, el incremento de las reclamaciones que hemos observado últimamente, hace pensar que los criterios aplicados en la corrección y el grado de exigencia en los exámenes no han sido asumidos por el alumnado. En esta experiencia se han propuesto dos tipos de ejercicios a realizar y coevaluar por dos grupos el primero realizó una pregunta teórica a desarrollar y un problema, el segundo siete preguntas teóricas cortas. Los alumnos tenían total libertad para la elección de los criterios de corrección en todos los apartados y en el peso de cada apartado. Una vez corregidos por los alumnos, los ejercicios fueron corregidos por los profesores de la asignatura. Los resultados obtenidos muestran que los criterios de corrección de los alumnos son menos exigentes que los de los profesores, especialmente en ejercicios abiertos. Además se han comprobado que en grupos donde hay poca interacción entre alumnos, éstos no muestran preocupación por quedar bien ante los compañeros