Programación lógica

Treballs Finals de Grau d'Enginyeria Informàtica, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2015, Director: Juan Carols Martínez AlonsoThis text aims to collect the research work done in a very specific field of programming, logic programming. Therefore, I have focused my work on the study of first-order logic and specific language for this paradigm: Prolog. Dr. Peña Marí wrote in bis book "De Euclides a Java", about the history of algorithmics: «This story begins almost at very same time that the history of mankind... ». But this study does not go that far. Since the purpose of the work is programming -or rather, a part of it-, we must move forward in time a bit... The aim of this work is to expand the knowledge received in the course of "Logica i llenguatges, Grade Computer Engineering" at UB. In previous editions more study material was dealt with, so that the course had to be divided in two different matters. My work has consisted on studying all materials that are no longer a topic within the course, extending them when necessary, namely the study of Prolog language. I want to start my presentation by putting, both in historical and scientific context, everything connected with what I'm going to talk about in this work. In this introductory chapter I will try to provide you with some historical details. I will cite the most basic, necessary elements that make possible programming, the programmable machines. I will give a context to our programming paradigm, that is, logic programming. In chapter 2 I will explain the first-order logic, in full detail. I will review the basic and most characteristic predicate language concepts, interpretations in these languages and some logical equivalences. At the end we'll see the unification algorithm and the method of resolution specifics for languages with declarative paradigm, and more specifically, the logical one. In chapter 3 we will see the programming language Prolog. We will see its relationship with the declarative and logic languages, its evolution throughout history, the way we use it, its basic elements, and how it makes it possible to unify terms. We'll see the way lists are dealt with, arithmetic expressions are used, cut is used, etc. We will finish in chapter 4 with a few solved exercises to exemplify all the the information in this work, either related to predicate logic, or to fundamentals of Prolog

Programming GPUs with CUDA

El documento contiene el material de un tutorial impartido en el congreso. No es una artículo científico en formato tradicional.Analizamos las prestaciones y características de las distintas generaciones de procesadores gráficos desarrollados por Nvidia para la programación de aplicaciones de propósito general bajo CUDA, un paradigma nuevo que aporta en la vertiente hardware y software de forma simultánea.Universidad de Málaga, Campus de Excelencia Internacional Andalucía Tec

Programación y acontecimiento

The human impulse towards order seems to lead to a struggle to program that, beforehand, designs on a sort of ideal map the sense that the material reality is expected to adopt. In this way any tentative contact with a contingent and consistent reality would be excluded. Only those qualities easy to quantify would find room here. And this general automatization would impoverish the unpredictable flux of all the existent, tending to render invisible the unexpected, heterodox or impossible to classify at the time of its irruption or attempt to take placeEl impulso humano hacia el orden parece acabar por instalarse en un afán de programación que, de manera anticipada, traza sobre una suerte de plano �ideal� el sentido que lo �material� ha de adoptar. De esta manera vendría a excluirse todo contacto tentativo con una realidad contingente y dotada de su propia consistencia. Sólo las cualidades más fácilmente reductibles a número tendrían cabida aquí. Y esta automatización generalizada empobrecería el flujo impredecible de lo existente tendiendo a hacer invisible lo inesperado, lo heterogéneo, lo imposible de clasificar en el instante de su irrupción y pugna por acontecer

Programación orientada a objetos con Java y UML

Uno de los estándares de programación es el paradigma de la Programación Orientada a Objetos que modela situaciones del mundo real en forma de objetos con características y funcionalidades. El éxito de este paradigma consiste en la aceptación de los lenguajes, tanto en diseño como en el soporte para su implementación. En este libro, se aborda la Programación Orientada a Objetos amalgamando dos secciones importantes. Por un lado, se utiliza el Lenguaje Unificado de Modelado (UML) para describir objetos; y por otro, se presenta el lenguaje de programación denominado Java para la implementación de los modelos presentados. Las diferentes concepciones teóricas son tratadas de forma práctica mediante ejercicios resueltos y modelos de objetos que permiten al lector ir creciendo en sus conocimientos de manera estructurada, ya que partiendo desde conceptos generales de algoritmos es posible tratar nociones abstractas de las propiedades inherentes a los objetos. Finalmente, y no menos importante, es el hecho de que este libro fue concebido como una guía práctica para que las personas interesadas en la programación puedan determinar claramente cuáles son los principios fundamentales y, por ende, acceder a los conocimientos básicos sobre la Programación Orientada a Objetos

Mejores soluciones del conjunto de instancias Nissan-9Eng.I para el problema MMSP-W/pmr/free

Estado del arte 2016/06 MMSP-W/pmr/freeEn este documento se recogen las mejores soluciones actuales de las instancias Nissan-9Ing.I, para el problema de secuenciación de modelos mixtos con mínima sobrecarga, restricciones sobre el mix de producción y libre interrupción de operaciones. Dichas soluciones proceden de 3 fuentes: programación dinámica acotada mediante programación lineal, programación lineal entera mixta y algoritmos GRASP hibridizados con programación lineal (GRASP-LP). El documento recoge también las 23 mejores secuencias, correspondientes a las instancias Nissan-9Ing.I, que ofrecen los algoritmos híbridos GRASP-LP.Postprint (published version

La importancia de la labor del programador. ¿Qué se espera? ¿Cómo se prepara? Análisis desde los lenguajes de programación

A partir de los datos extraídos de una encuesta realizada a través de Novática, este trabajo pretende analizar, por un lado, los principales valores que perciben los diferentes actores profesionales (empresas, PYMEs, spin-offs, y Administraciones Públicas), con respecto a los valores que poseen los actores de formación (Universidades). Por otro lado, y desde el punto de vista de los lenguajes de programación, cuales son los lenguajes de programación más demandados profesionalmente, y cuales son los lenguajes de programación que se imparten o utilizan en las universidades españolas. Creemos que este análisis, tomado como una medida de la tendencia, puede servir para poner de manifiesto las posibles discrepancias que pueden existir entre el mundo profesional y la Universidad desde el punto de vista de la formación de profesionales con respecto a los lenguajes de programación. Las principales conclusiones del estudio son dos. Por un lado la principal visión que se tiene de un programador en el ámbito profesional es la de un técnico-integrador cuya labor es percibida con una importancia similar a la del resto de profesionales que participan en el desarrollo de proyectos informáticos. Por otro lado, los lenguajes de programación demandados en el mundo profesional se orientan hacia el desarrollo de aplicaciones web (Java, VB/.Net , JavaScript y PHP), mientras que en la Universidad la orientación es hacia los lenguajes de programación orientados a objetos, siendo Java y C++ son los que cuentan con un mayor peso específico

Acercamiento histórico epistemológico de la optimización

El discurso escolar del contenido de programación lineal, en los establecimientos educacionales chilenos, se ha convertido en un proceso mecánico y sin sentido para el estudiante. Para revertir esta mirada, se intenta dar respuesta a la siguiente interrogante ¿Cuáles son los significados reales que emergen y dan fuerza a la programación lineal? Se evidenciará el estudio del rol actual de la programación lineal y los procesos históricos de su surgimiento, con el fin de identificar aquellos factores que le dan fuerza a su desarrollo y construcción

La Política de Cohesión Europea en dos regiones españolas : configurando las redes de políticas y el capital social

El artículo analiza la fase de programación de la política europea de cohesión centrándose en el nivel autonómico de gobierno. Sostiene que los Fondos Estructurales han afectado de manera esencial la configuración de las políticas de desarrollo regional. En particular, la europeización de la política regional en España ha implicado un papel creciente de los gobiernos autonómicos, que han ido adoptando un conjunto de prácticas y procedimientos homogéneos en los procesos de programación e implementación de la política de cohesión. No obstante, la evidencia empírica recogida en las comunidades autónomas de Galicia y de Murcia, en relación con la programación del período financiero 2007-2013 (PORs), prueba la existencia de diferentes configuraciones de la red de política regional que lleva a cabo las tareas de programación. Al mismo tiempo, también las características de capital social de los actores implicados en cada red de política regional presentan diferencias significativas. Estos resultados sugieren que, a pesar de que los procedimientos formales de programación son prácticamente idénticos, los procesos políticos son bastante distintos en cada comunidad autónoma, lo que plantea nuevos interrogantes sobre las causas de dichas variaciones

Documento guía para la enseñanza de la programación funcional en el programa ISC-UTP

En este documento se presenta una monografía que reúne el estado del arte de la programación funcional para que sirva como documento de consulta para los estudiantes del curso de programación I del programa de Ingeniería de Sistemas y Computación de la Universidad Tecnológica de Pereira. En él se relaciona el paradigma de programación que se fundamenta en el uso de funciones para la construcción de programas de computadora y que representa una de las alternativas a partir de las cuales, se puede orientar el pensamiento para encontrar soluciones a problemas. También se hace referencia a algunos de los lenguajes que han sido parte de la evolución de la programación funcional y a la fundamentación lógica-deductiva que da origen a la evaluación de las funciones de tal manera que puedan ser consideradas como factibles para ejecutarse apropiadamente en un sistema computacional