|
Guía DocenteCurso Facultade de Informática |
| Grao en Enxeñaría Informática |
 Asignaturas |
| Deseño das Linguaxes de Programación |
| Resultados de aprendizaxe |
|
|
|
| Datos Identificativos | 2019/20 | |||||||||||||
| Asignatura | Deseño das Linguaxes de Programación | Código | 614G01065 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| Grao | 1º cuadrimestre |
Cuarto | Optativa | 6 | ||||||||||
|
||||||||||||||
| Resultados de aprendizaxe | Competencias do título | ||
| Introducir o lambda-cálculo, tipado e non tipado, como núcleo fundamental das linguaxes de programación. | A39 A40 |
B1 |
C2 C6 |
| Comprender os fundamentos formais dos sistemas de tipado e subtipado | A39 A40 |
B1 |
C2 C6 |
| Comprender e dominar os principios de deseño das linguaxes orientadas a obxectos a das implicacións que as eleccións de deseño teñen no desenvolvemento de programas | A39 A40 |
B1 |
C6 |
| Manexar os principios de dxseño das principales estruturas de control das linguaxes de programación a as súas implicacións no desenvolvemento de programas | A39 A40 |
B1 |
C6 |
| Manexar os principios de deseño das principaies estruturas de datos das linguaxes de programación e as súas implicacións no desenvolvemento de programas | A39 A40 |
B1 |
C6 |
|
