http://pleiad.cl/ 2026-04-11T23:57:25+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2010-07-15T15:28:19+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc41c text/html 2010-10-04T17:53:02+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc68s Resumen: Grandes empresas con una importante necesidad de extender sus software a menudo se encuentran con problemas de mantenimiento. Un software es muy dependiente del hardware sobre el que funciona, de las necesidades de los clientes y del ambiente. Un ejemplo de esto es lo que ocurre con el cambio a un nuevo milenio o con los software de bancos cuando tienen que cambiar una moneda a Euros. Las razones a esta situación son varias: falta de diseño, de unit tests, pobre conocimiento de program… text/html 2013-10-09T15:31:12+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc71p CC6101/CC71P Objetos y Aspectos Objetivo General El curso trata tópicos avanzados en lenguajes (mayoritariamente orientado a objetos) utilizados para obtener una mejor ingeniería de software. La primera parte trata de técnicas de modularizacion avanzados, enfocando mayoritariamente en aspectos, pero también tratando otras técnicas como traits y mixins. La segunda parte se ve lenguajes full orientado a objetos, reflexión y meta-programmación. text/html 2018-12-04T10:57:58+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc71y CC71Y - Lenguajes de Programación II Objetivo general El curso entrega los elementos técnicos y formales necesarios para entender la problemática de garantizar que los programas cumplen con sus objetivos, limitando efectos indeseados, lo más temprano posible. Se estudian las nociones de programas válidos, errores y excepciones, contratos, y sobre todo, tipos. En particular, se describen los conceptos fundamentales de los sistemas de tipos, permitiendo entender porque los lenguajes de hoy sigue… text/html 2013-05-13T16:02:40+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc3002 Este curso entrega los fundamentos necesarios para desarrollar software orientado a objetos fácil de entender, extender y mantener en el tiempo. En particular, enseña a diseñar y programar buenos objetos, a usar la herencia sólo cuando ésta provee ventajas reales, a integrar objetos para resolver un problema complejo, a diseñar y resolver problemas usando patrones de diseño, a evaluar diseños usando métricas y a enfrentar desarrollo de software de pequeña y mediana complejidad usando metodología… text/html 2026-03-18T14:19:23+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc4101 CC4101 - Lenguajes de Programación Material de referencia * PrePLAI, breve introducción a la programación funcional, Racket, y #lang play * PLAI (S. Krishnamurthi) - capítulos 1 a 14 (para macros, capítulos 35-37) ([copia local del libro]) * OOPLAI, para la parte sobre objetos text/html 2012-10-26T17:26:02+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc4301 Ojo: Este curso ya no se dicta por un integrante de Pleiad. Resultados de Aprendizaje Al término del curso, el alumno demuestra que diseña circuitos digitales, a base de sus propios circuitos y circuitos estándar. Identifica y escribe código ensemblador x86, lee código ensemblador SPARC. Explica el funcionamiento de un chip de memoria y una CPU moderna. Y comprende el funcionamiento de los dispositivos de Entrada/Salida e interfaces de comunicación. text/html 2014-05-30T11:48:04+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc5104 CC71Y - Lenguajes de Programación II Objetivo general El curso entrega los elementos técnicos y formales necesarios para entender la problematica de garantizar que los programas cumplen con sus objetivos, limitando efectos indeseados, lo más temprano posible. Se estudian las nociones de programas válidos, errores y excepciones, contratos, y sobre todo, tipos. En particular, se describen los conceptos fundamentales de los sistemas de tipos, permitiendo entender porque los lenguajes de hoy sigue… text/html 2013-05-15T03:50:23+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc5111-print Programación Avanzada en <http://www.scala-lang.org/> Scala es un lenguaje de programación diseñado para expresar patrones comunes de programación de manera concisa, elegante, y tipada. Scala integra en forma armoniosa los mecanismos de los lenguajes orientado a objetos y funcionales, controlados por un poderoso sistema de tipos. text/html 2015-12-10T19:46:23+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc5111 Programación Avanzada en <http://www.scala-lang.org/> Scala es un lenguaje de programación diseñado para expresar patrones comunes de programación de manera concisa, elegante, y tipada. Scala integra en forma armoniosa los mecanismos de los lenguajes orientado a objetos y funcionales, controlados por un poderoso sistema de tipos. text/html 2020-02-18T18:12:05+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc5115 Programación funcional (CC5115) Motivación, objetivos y contenido El objetivo de este curso es introducir la programación funcional a través del lenguaje Haskell. La programación funcional es reconocida por dar lugar a un estilo mucho más declarativo –y elegante– de programación, y tres características que la hacen particularmente atractiva son su conveniencia para text/html 2012-10-26T17:20:50+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc6403 Grandes empresas con una importante necesidad de extender sus software a menudo se encuentran con problemas de mantenimiento. Un software es muy dependiente del hardware sobre el que funciona, de las necesidades de los clientes y del ambiente. Un ejemplo de esto es lo que ocurre con el cambio a un nuevo milenio o con los software de bancos cuando tienen que cambiar una moneda a Euros. Las razones a esta situación son varias: falta de diseño, de unit tests, pobre conocimiento de programación con … text/html 2023-12-18T19:45:11+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc7110 CC7110 - Lenguajes de Programación II Objetivo general El curso entrega los elementos técnicos y formales necesarios para entender la problemática de garantizar que los programas cumplen con sus objetivos, limitando efectos indeseados, lo más temprano posible. Se estudian las nociones de programas válidos, errores y excepciones, contratos, y sobre todo, tipos. En particular, se describen los conceptos fundamentales de los sistemas de tipos, permitiendo entender porque los lenguajes de hoy sigu… text/html 2024-05-22T15:50:17+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc7125 CC7125 / MA7125 - Introducción a Coq: Lógica, Tipos, y Verificación ---------- Este curso introduce los fundamentos matemáticos de la construcción de software confiable. Esto incluye conceptos básicos de lógica, demostraciones de teoremas asistidas por computador, el asistente de pruebas Coq, programación funcional, semántica operacional, lógica de Hoare, y sistemas de tipos estáticos. text/html 2018-01-31T19:19:45+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc7126 Análisis y Verificación de Programas (CC7126) Motivación y Objetivos Los problemas en las piezas de software pueden acarrear consecuencias catastróficas, tanto a nivel económico como de la seguridad de las personas. La validación y verificación de software juegan, por lo tanto, un rol fundamental en el proceso de desarrollo. En particular, para el proceso de verificación se ha recurrido históricamente a diversas técnicas de text/html 2007-07-30T02:32:55+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/courses Courses * Programming Languages (CC41A) * Objects and Aspects (CC71P) text/html 2010-08-30T16:07:06+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/formal-latex-how-to En el presente ejemplo vamos a escribir en latex la formalización del simply typed λ-calculus. Puedes descargarte el ejemplo completo en . Primero necesitamos listar que paquetes (packages) de latex necesitamos: * AmsMath.sty (incluido en texlive-2009, si no lo tiene, pueden descargar lo de: text/html 2016-06-13T13:54:28+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/primitivas Como definir un lenguaje con conjunto de primitivas extensible Pasos preliminares Consideren el siguiente conjunto de primitivas, para operaciones sobre números y booleanos. ;;; primitives (define *primitives* `((+ ,+) (- ,-) (* ,*) (/ ,/) (= ,=) (< ,<) (> ,>) (zero? ,zero?) (not ,not) (and ,(lambda args (apply (lambda (x y) (and x y)) args))) (or ,(lambda args (apply (lambda (x y) (or x y)) ar… text/html 2007-07-30T02:31:08+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/research_proposal Research Proposal text/html 2007-10-19T12:24:37+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/thesis_proposal Thesis Proposals