LENGUAJES Y PARADIGMAS DE PROGRAMACIÓN

of 12 /12
LENGUAJES Y PARADIGMAS DE PROGRAMACIÓN Presentación

Embed Size (px)

description

LENGUAJES Y PARADIGMAS DE PROGRAMACIÓN. Presentación. LPP: Descripción. Carácter: Obligatoria Adaptado por Ing. Otitigbe Obadiah Oghoerore Alegbe Universidad Nacional de Lanús - Argentina Basado en el trabajo de Profesores: María Alpuente (Despacho 240) [email protected] - PowerPoint PPT Presentation

Transcript of LENGUAJES Y PARADIGMAS DE PROGRAMACIÓN

  • LENGUAJES Y PARADIGMAS DE PROGRAMACINPresentacin

    Curso 2003-2004

  • Curso 2003-2004LPP: DescripcinCarcter: ObligatoriaAdaptado por Ing. Otitigbe Obadiah Oghoerore AlegbeUniversidad Nacional de Lans - Argentina

    Basado en el trabajo de Profesores: Mara Alpuente (Despacho 240)[email protected] Jos Ramrez (Despacho 239)[email protected] DSIC, Planta 2Material de la asignatura: microweb

    Curso 2003-2004

  • Curso 2003-2004Por qu estudiar LPP?Para entender el diseo e implementacin de los lenguajes: sintaxis - reglas de construccin de los programas semntica - significado de los programas implementacin - cmo se ejecutan pragmtica - aspectos prcticos de su usoPara saber qu lenguaje es ms apropiado para resolver cierto tipo de problemas imperativo: PascaL/C, OO: C++/Java Funcional: Haskell/LISP/ML Lgico: Prolog/Mercury Para mejorar el conocimiento de los lenguajes que ya utilizamosPara mejorar nuestras tcnicas de programacin Programar = definir nuevas extensiones de un lenguajePara saber proyectar nuevos lenguajesPara poder aprender fcilmente nuevos lenguajes

    Curso 2003-2004

  • Curso 2003-2004LPP: Objetivos docentes Introducir los fundamentos y aplicaciones de los paradigmas clave en que se enmarcan los lenguajes de programacin actuales: funcional lgico objetos imperativo y otros

    Curso 2003-2004

  • Curso 2003-2004LPP: Objetivos de aprendizajeCapacitar a los estudiantes para entender los lenguajes de programacin desde diferentes puntos de vista:segn el modelo subyacente (paradigma)segn las componentes fundamentales presentes en todo lenguaje de programacin (estructuras de datos, modo de ejecucin, ...)como objetos formales dotados de una estructura (sintaxis) y un significado (semntica), segn diversos enfoques (diseador, implementador, programador)

    Curso 2003-2004

  • Curso 2003-2004LPP: Objetivos de aprendizajeAl finalizar el curso, los estudiantes sern capaces de:diferenciar las caractersticas propias de los principales paradigmasconocer las caractersticas deseables en un lenguajeresolver un mismo problema en diferentes estilosescribir pequeos programas en cada lenguaje

    Curso 2003-2004

  • Curso 2003-2004LPP: TemarioIntroduccinConcepto de lenguaje de programacinHistoriaCriterios de diseoPrincipales paradigmas Sintaxis y semntica los lenguajes de programacinSintaxis de los lenguajes de programacin: criterios generales, elementos sintcticos, modelos de traduccinConcepto y necesidad de las descripciones semnticas. Equivalencia de programas. Correccin y Completitud. Semnticas denotacional, axiomtica, operacional.

    Curso 2003-2004

  • Curso 2003-2004LPP: TemarioParadigma funcionaltipos de datos, inferencia de tiposrecursinpolimorfismoevaluacin impaciente y perezosaorden superiorParadigma lgicovariables lgicasunificacin y resolucinbsqueda de soluciones (backtracking)control

    Curso 2003-2004

  • Curso 2003-2004LPP: TemarioParadigma imperativoabstraccin de datosevaluacin de expresionesestructuras de controlsubprogramas, paso de parmetros, excepcionesOtros paradigmasOrientacin a ObjetosConcurrencia...

    Curso 2003-2004

  • Curso 2003-2004LPP: LaboratorioSe realizarn prcticas para ilustrar los conceptos ms relevantes de la asignatura.Se usarn dos lenguajes cuyas caractersticas fundamentales sern presentadas en las clases prcticas:El lenguaje funcional Haskell.El lenguaje lgico SicstusProlog.

    Curso 2003-2004

  • Curso 2003-2004LPP: EvaluacinSe realizar un examen de tipo test con preguntas terico-prcticas referentes al temario de teora explicado en clase y a las caractersticas generales de los lenguajes vistos en el laboratorio. Las prcticas se evaluarn en el laboratorio con la presentacin de los ejercicios propuestos a tal fin. La realizacin y presentacin de las prcticas es un requisito indispensable para poder aprobar la asignatura aunque no contribuyen a la nota de la misma.En caso de proponer alguna prctica voluntaria, su realizacin permitir obtener hasta un punto adicional a sumar a la nota del examen.

    Curso 2003-2004

  • Curso 2003-2004LPP: BibliografaBsica:Apt, K.R. From Logic Programming to Prolog, Prentice Hall, 1996.Bird, R. Introduccin a la Programacin Funcional, Prentice Hall, 2000.Pratt, T.W.; Zelkowitz, M.V. Lenguajes de programacin: diseo e implementacin, Prentice-Hall, 1998Scott, M.L. Programming Language Pragmatics, Morgan Kaufmann Publishers, 2000Complementaria:Horowitz, E. Fundamentals of Programming Languages, Computer Science Press, 1984.Louden, K.C. Programming Languages: Principles and Practice, PWS Publishing, 1993.Sethi, R. Lenguajes de programacin: conceptos y constructores, Addison Wesley, 1992.

    Curso 2003-2004