Programación básica en lenguaje C.

Este libro está recomendado para la iniciación a la programación de alumnos de los primeros cursos de ingenieros de telecomunicaciones, técnicos y superiores y de industriales. Los programas desarrollados con los conocimienros adquiridos en el libro pueden ejecutarse en cualquier computador sobre cualquier arquitectura, incluso teniendo un compilador para C++. El contenido de los diversos capítulos es el siguiente: 1. Describe la estructura de un programa en lenguaje C, la declaración y tipos de datos escalares, las instrucciones más sencillas y la construcción de expresiones, el capítulo termina con las sentencias para realizar la entrada/salida básica para la ejecución de los primeros programas. 2 y 3. Describen las sentencias clave para la realización de cualquier programa. 4. Describe cómo realizar un programa en partes, que en C se llamarán funciones. 5. Avanza en la declaración de datos: array y string. 6. Describe otros aspectos del lenguaje: preprocesadores, manejo de bits, entrada/salida con ficheros, biblioteca de C y algunas extensiones del mismo. Incluye tres apéndices con la tabla de precedencia de los operadores de C, ejemplos de declaraciones complejas que se pueden hacer en C, y una descripción del compilador de C en un entorno Unix: el cc.

Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

A programming environment having three levels of complexity for mobile robotics = Entorno de programación con tres niveles de complejidad para robótica móvil

This paper presents a programming environment for supporting learning in STEM, particularly mobile robotic learning. It was designed to maintain progressive learning for people with and without previous knowledge of programming and/or robotics. The environment was multi platform and built with open source tools. Perception, mobility, communication, navigation and collaborative behaviour functionalities can be programmed for different mobile robots. A learner is able to programme robots using different programming languages and editor interfaces: graphic programming interface (basic level), XML-based meta language (intermediate level) or ANSI C language (advanced level). The environment supports programme translation transparently into different languages for learners or explicitly on learners’ demand. Learners can access proposed challenges and learning interfaces by examples. The environment was designed to allow characteristics such as extensibility, adaptive interfaces, persistence and low software/hardware coupling. Functionality tests were performed to prove programming environment specifications. UV BOT mobile robots were used in these tests

SPICP : un sistema de programación interactiva aplicado en el contexto de la formación básica de los psicólogos en proceso de datos y simulación.

Formar a los psicólogos en programación. Servir de introducción en entornos informáticos no clásicos, como el desarrollo de programas con interacción inteligente. Estudio del desarrollo del prototipo de sistema informático SPICP (Sistema de Programación Interactiva en el Campo de la Psicología-, orientado a la formación de los psicólogos. Aplicación del mismo a estudiantes de Psicología de la Universidad de Oviedo. Se basa en el sistema de utilización 'vertical' del software educativo, donde un mismo paquete de programas es utilizado en cursos de diferentes niveles de dificultad. Dicho sistema consta de tres fases: un primer nivel donde los alumnos manejan programas ya creados con objeto de observar las posibilidades que ofrecen en el campo estadístico; un segundo nivel donde se estudian y modifican los programas y subrutinas existentes; y un tercer nivel donde ya desarrollan programas propios. Bibliografía. Ordenadores y programas informáticos en lenguaje Basic y/o Fortran. Estudio de las copias literales de las sesiones mantenidas por cada alumno, generadas por un mecanismo creado ad hoc. En la primera parte de la tesis se describen las aplicaciones del ordenador al campo de la Educación y la Psicología. Con respecto a la Educación, se describen las características de los lenguajes utilizados y algunos sistemas expertos como por ejemplo la base de datos Geobase. Con respecto a la Psicología, se describen: las aplicaciones prácticas del ordenador para hacer análisis estadísticos, controlar, recoger, almacenar y consultar información y hacer diagnósticos psicológicos; sus aplicaciones teóricas y, por último, algunos sistemas y programas que sirven como introductores al uso de la informática dentro del campo de la Psicología de forma general -Eureka, Items, Psychnet, SPSSX-l, etc.-. En la segunda parte se explica cómo crear y utilizar sistemas interactivos en programas estadísticos, en modelos simulados por ordenador y en el uso del paquete SPSS. En los tres casos se describen tanto los programas centrales como los secundarios. Por último se describe el funcionamiento y características de un entorno de programación destinado a crear sistemas expertos, y se añade un listado parcial de programas que constituyen algunos de dichos sistemas: 1st-Class-Advisor, Qnucleo, Qvarlist, Qttest, Se1, Se2. Se comprueba que el uso del sistema interactivo consigue que los alumnos manejen los programas adecuadamente en un lapso de tiempo menor que el que necesitan para hacerse con el manejo de un paquete estadístico tradicional. Durante este estudio se obtuvo además, información sobre la demanda de formación informática por parte de los alumnos de Psicología, comprobándose la incapacidad del Departamento para dar un acceso mayoritario a dicha formación.

Nuevas características del lenguaje OPScript para la creación de aplicaciones educativas.

Resumen tomado del autor. Este trabajo ha sido parcialmente financiado por la Universidad del País Vasco (UPV00141.226-T-15945/2004), el CICYT (TIC2002-03141) y la Diputación Foral de Gipuzkoa en un programa de la Unión Europea

Programación avanzada en Turbo Pascal.

Este manual ofrece los conceptos fundamentales para la programación con el lenguaje de programación Pascal. La obra se estructura en seis partes: 1. Lenguaje de programación de alto nivel : el Pascal. 2. Conceptos avanzados de lenguaje de alto nivel. 3. Diseño y evaluación de algoritmos. 4. Tipos abstractos de datos. 5. Tipos abstractos de datos avanzados. 6. Nuevos conceptos de programación.

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

Resumen del autor

Desarrollo de las unidades temáticas y un tutorial interactivo para la asignatura de Teoría de la Comunicación.

Realizado en la E.T.S.I. de Telecomunicación de Valladolid, por 4 profesores del centro, para la asignatura de Teoría de la Comunicación. El objetivo era desarrollar herramientas que faciliten al alumno el aprendizaje de los conceptos básicos de la asignatura y facilitar al profesor la explicación de esa materia. En primer lugar, se han evaluado los conceptos de la asignatura que se prestan a su aprendizaje mediante materiales multimedia, para posteriormente desarrollarlo mediante esquemas y un tutorial interactivo. Las unidades temáticas se han desarrollado en Power Point y el tutorial interactivo con el lenguaje de programación MATLAB. La primera versión del tutorial y de las unidades temáticas se ha evaluado por un grupo reducido de alumnos de Ingeniería de Telecomunicación y, en base a sus sugerencias, se han realizado cambios. En el curso 2004 se ha seguido evaluando y perfeccionando el programa desarrollado.

Desarrollo de un programa de enseñanza asistida por ordenador sobre Programación Estructurada.

Desarrollo de un programa de enseñanza asistida por ordenador sobre programación estructurada. El contenido son algoritmos, tipos de datos, estructuras de control, estructuras de datos y métodos de programación. Los contenidos prácticos están constituídos por el lenguaje de programación Pascal, tipos de datos, control de flujo, funciones y procedimientos..

El mundo de Karel : un posible puente para la introducción al lenguaje LOGO.

Tras realizar una serie de consideraciones sobre Informática y Enseñanza se analiza el lenguaje LOGO considerado por parte de los autores como el más adecuado para enseñar a programar en EGB. Además se trata la planificación de la enseñanza de la Informática y su utilización como vehículo de transmisión de información.

GEDEON : generador de oraciones en lenguaje natural una aproximación computacional a los procesos de codificación gramatical.

En esta investigación, se procede a la realización de una formalización computacional de los procesos de codificación gramatical.. En el desarrollo de la misma, se integran conocimientos procedentes de la psicología y de la inteligencia artificial. El sistema GEDEON es un generador automático de oraciones individuales en castellano, para un dominio conceptual restringido.. Este sistema constituye la propuesta de modelo teórico y programa de simulación de la codificación gramatical de este trabajo..

Representación mental y programación de ordenadores.

Resúmen tomado del autor. Resumen en inglés y castellano

Scratch y Necesidades Educativas Especiales : programación para todos.

Resumen basado en el de la publicación

Entornos de programación para sistemas distribuidos tolerantes de fallos

[ES] En este artículo se presenta el diseño de una herramienta de configuración para aplicaciones distribuidas cooperativas y tolerantes a fallos escritas en el lenguaje de programación Drago.