¿Hay Lógica en la situación actual de las titulaciones informáticas?

En este artículo se realiza un pequeño estudio del planteamiento seguido para impartir la disciplina Lógica en las titulaciones informáticas de las universidades españolas. Se comparan los tipos de asignaturas que incluyen dicha disciplina, las áreas de conocimiento que la imparten y los contenidos considerados. Finaliza el artículo con una serie de reflexiones generales sobre la situación actual de las titulaciones informáticas y las áreas de conocimiento

Plataforma de enseñanza de lenguajes de programación a través de Internet: Proyecto IDEFIX

En este artículo se describe la arquitectura del proyecto IDEFIX cuyo objetivo es desarrollar una plataforma que facilite la enseñanza de la programación en diferentes lenguajes mediante la utilización de Internet. El sistema permite la realización de prácticas de laboratorio mediante la creación de un entorno dinámico de desarrollo basado en Internet. En este entorno, los estudiantes tienen acceso a través de Internet a los enunciados de los ejercicios de programación escritos en un formato XML, que facilita la presentación en sistemas heterogéneos y que permite la posterior evaluación de forma automática. El sistema facilitará la realización interactiva de los ejercicios monitorizando los resultados parciales, fomentando el desarrollo colaborativo y facilitando la automatización del proceso de evaluación

Using shape expressions (ShEx) to share rdf data models and to guide curation with rigorous validation

International Conference, European Semantic Web Conference, ESWC (16th. 2019. Portorož, Slovenia

Una Experiencia de aprendizaje basado en proyectos utilizando herramientas colaborativas de desarrollo de software libre

En este artículo se describe la experiencia desarrollada en el ámbito de una asignatura optativa sobre programación declarativa en la que se han utilizado herramientas colaborativas habituales en el desarrollo de software libre. Se ha creado un proyecto común entre todos los estudiantes, con el objetivo de facilitar un aprendizaje basado en proyectos

El Mapa de Dependencias como herramienta de validación de la calidad de un plan de estudios

Con el proceso de adaptación al EEES todas las titulaciones se han visto involucradas en una vorágine de elaboración de las Guías Docentes de sus asignaturas. Dichas guías son el resultado de la adaptación de los tradicionales “programas”, añadiendo la descripción de competencias, plan del trabajo, métodos activos, etc. En muchos casos, se ha considerado que con la elaboración de estas guías y el posterior diseño de planes de estudios se concluye el proceso de adaptación. Sin embargo, no se ha planteado una estrategia de coordinación global a la hora de establecer las competencias de cada asignatura en relación con las demás. Este método de trabajo provoca lagunas, solapamientos, competencias irrelevantes, incoherencias temporales, etc. Para evitar este problema, será necesario establecer la relación de dependencias entre competencias de las distintas asignaturas, y analizar la coherencia entre las mismas. En este artículo se pone de manifiesto la importancia del desarrollo de un Mapa de Dependencias como base para asegurar la calidad de un plan de estudios. Este mapa se crea considerando dos tipos de competencias: competencias aportadas y competencias previas

Metodología para el diseño de un plan de estudios basada en competencias previas y aportadas

La incorporación al EEES con la definición de títulos de grado y máster implica el inminente diseño de planes de estudios para todas las titulaciones. El proceso de diseño de un plan de estudios resulta sumamente complejo, por lo que parece muy conveniente la definición de una metodología de trabajo que estructure los pasos a seguir en el proceso de elaboración y que asegure un resultado de calidad. De la experiencia en el desarrollo de un plan de estudios de máster así como en el análisis de las dependencias entre asignaturas de la titulación actual, se ha podido establecer una estrategia para el diseño de planes de estudios basada en el desarrollo de competencias que tenga en cuenta, además, las dependencias entre competencias, y asegure la coherencia del plan de estudios resultante. En este artículo se describe en detalle dicha metodología

Supplementation of Male Pheromone on Rock Substrates Attracts Female Rock Lizards to the Territories of Males: A Field Experiment

Background: Many animals produce elaborated sexual signals to attract mates, among them are common chemical sexual signals (pheromones) with an attracting function. Lizards produce chemical secretions for scent marking that may have a role in sexual selection. In the laboratory, female rock lizards (Iberolacerta cyreni) prefer the scent of males with more ergosterol in their femoral secretions. However, it is not known whether the scent-marks of male rock lizards may actually attract females to male territories in the field. Methodology/Principal Findings: In the field, we added ergosterol to rocks inside the territories of male lizards, and found that this manipulation resulted in increased relative densities of females in these territories. Furthermore, a higher number of females were observed associated to males in manipulated plots, which probably increased mating opportunities for males in these areas. Conclusions/Significance: These and previous laboratory results suggest that female rock lizards may select to settle in home ranges based on the characteristics of scent-marks from conspecific males. Therefore, male rock lizards might attract more females and obtain more matings by increasing the proportion of ergosterol when scent-marking their territories. However, previous studies suggest that the allocation of ergosterol to secretions may be costly and only high quality male

Çédille, revista de estudios franceses

Presentació

Representaciones gráficas y Mundos Virtuales infinitos en las Prácticas de Programación Lógica y Funcional

En el esquema de prácticas de la asignatura de programación lógica y funcional se ha incorporado la generación de representaciones gráficas y de quadtrees y octrees para la enseñanza de las diferentes características de este tipo de lenguajes: funciones de orden superior, evaluación perezosa, polimorfismo, variables lógicas, satisfacción de restricciones, etc. La utilización de vocabularios XML estándar: SVG para gráficos y X3D para realidad virtual permite disponer de numerosas herramientas de visualización. La incorporación de este tipo de ejercicios puede facilitar la enseñanza y motivación de los estudiantes