El software matemático y los lenguajes de programación

Se lleva a cabo un análisis de los lenguajes de programación desde el punto de vista de sus relaciones con el software matemático. Para ello se comienza con una definición bastante flexible de software matemático, para continuar con un análisis metodológico de los lenguajes de programación, estudiando los paradigmas imperativo, funcional, la programación lógica y la orientación a objetos. Por último se realiza un estudio histórico de los lenguajes de programación, así como de los lenguajes de programación más adecuados para la implementación de algoritmos matemáticos.

Fundamentos lógicos de la programación declarativa

El objetivo del artículo es el estudio de los fundamentos lógicos que están en la base de gran cantidad de sistemas de razonamiento automático, y que suponen una estrategia computacionalmente viable para la demostración de teoremas o el diseño de motores inferenciales (Prolog). En concreto se presenta la forma clausal. en tanto que formalismo para la representación de conocimiento, y el principio de resolución, como mecanismo inferencia! que asegura la completud y corrección lógicas.

An Enactive Approach to the Design of New Tangible Musical Instruments

In this paper, we propose a theoretical framework for the design of tangible interfaces for musical expression. The main insight for the proposed approach is the importance and utility of familiar sensorimotor experiences for the creation of engaging and playable new musical instruments. In particular, we suggest exploiting the commonalities between different natural interactions by varying the auditory response or tactile details of the instrument within certain limits. Using this principle, devices for classes of sounds such as coarse grain collision interactions or friction interactions can be designed. The designs we propose retain the familiar tactile aspect of the interaction so that the performer can take advantage of tacit knowledge gained through experiences with such phenomena in the real world.

‘Med Hondo’s Sarraounia: The musical articulation of cultural transformation’

This article examines music in Med Hondo’s Sarraounia, considering how it contributes to the dramatic form of the movie while concurrently articulating narratives regarding cultural transformation through both its extrinsic (cultural) and intrinsic (formal) dimensions. Examining how the use of traditional and contemporary African music politicises diegetic space by referring us to the relationships between indigenous musical forms and their global, culturally hybrid descendents, it then demonstrates the complex manner in which the film uses the formal specificities of African and Western musical idioms to articulate a narrative regarding the cultural transformations that occur when an oral culture (Africa) encounters a literate, modernised culture (the West).

Exploring Children's Stereotypes Through Drawings: The Case of Musical Performance

Drawings of 'a person' and of 'a person playing music' were collected from children aged seven to eight years and 10-11 years to discover whether children's musical representations would reflect gender differences evident in musical learning and performance, and the increased gender rigidity with age found in instrument preferences. As in previous drawing studies, same sex figures were overwhelmingly portrayed, although older girls drew more opposite sex figures than the other children. All except the older girls overwhelmingly drew same sex musicians irrespective of the gender stereotype of the instrument portrayed. The older girls drew similar numbers of male and female figures playing masculine instruments. Fewer feminine instruments were drawn by older than by younger boys. The increased gender rigidity with age accords with the results of the preference studies, but gender stereotyping was much weaker. This is discussed in relation to what the different methodologies measure.