Teaching GuideTerm Faculty of Computer Science |
Grao en Enxeñaría Informática |
Asignaturas |
Diseño de los Lenguajeses de Programación |
Resultados de aprendizaje |
|
|
Datos Identificativos | 2014/15 | |||||||||||||
Asignatura | Diseño de los Lenguajeses de Programación | Código | 614G01065 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Periodo | Curso | Tipo | Créditos | |||||||||
Grado | 1º cuatrimestre |
Cuarto | Obligatoria | 6 | ||||||||||
|
Competencias de materia (Resultados de aprendizaje) | Competencias de la titulación | ||
Manejar los principios de diseño de las principales estructuras de control de los lenguajes de programación y sus implicaciones en el desarrollo de programas | A39 A40 |
B1 B3 |
C3 C6 C7 |
Manejar los principios de diseño de las principales estructuras de datos de los lenguajes de programación y sus implicaciones en el desarrollo de programas | A39 A40 |
B1 B3 |
C3 C6 C7 |
Comprender y dominar los principios de diseño de los lenguajes orientados a objetos y de las implicaciones que las elecciones de diseño tienen en el desarrollo de programas | A39 A40 |
B1 B3 |
C3 C6 C7 C8 |
Introducir el lambda-cálculo, tipado y no tipado, como núcleo fundamental de los lenguajes de programación. | A39 A40 |
B1 B3 |
C2 C6 C7 C8 |
Comprender los fundamentos formales de los sistemas de tipado y subtipado | A39 A40 |
B1 B3 |
C2 C4 C6 C7 C8 |
Manejar de forma práctica los conceptos de complejidad algorítmica y sus implicaciones en el diseño de lenguajes de programación | A39 A40 |
B1 B3 |
C3 C4 C6 C7 C8 |
|